-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 26 Sep 2002 02:18:52 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-10 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski <schimmi@kde.org> Changed-By: Stefan Schimanski <schimmi@kde.org> Description: proofgeneral - A generic interface for proof assistants proofgeneral-coq - ProofGeneral support for coq proofgeneral-doc - Documentation for ProofGeneral in html format proofgeneral-misc - ProofGeneral support for different theoreom provers Changes: proofgeneral (3.4-10) unstable; urgency=low . * Install startup file 50proofgeneral only for support flavors, not into a general place (closes: Bug #162354). * Fix the 50proofgeneral startup file to use the correct path. * Documented the EMACS variable in the proofgeneral manual page. Files: a61a7cfcc8854645af79c1ce716b1c0c 640 editors optional proofgeneral_3.4-10.dsc de101616bfc984e8728ab50c440aeb90 5469 editors optional proofgeneral_3.4-10.diff.gz 52e2623614609b7d1d5bb95141563e32 404606 editors optional proofgeneral_3.4-10_all.deb f20ce436f8b9ac34483c6afb96e3ed20 22572 editors optional proofgeneral-coq_3.4-10_all.deb e90cae603479e72ec272416cbcc84240 121672 editors optional proofgeneral-misc_3.4-10_all.deb 25f0fda49e3d515c4f3f45e0bb5ff365 110832 editors optional proofgeneral-doc_3.4-10_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.0 (GNU/Linux) iD8DBQE9kqj0tzWmSeC6BMERAkTvAJ9C+uD5kntWdWXWNFnMT6mHEHX36QCg8YXx aZYJrRNSWxakoZcm3KmCTLA= =oyZq -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.4-10_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-10_all.deb proofgeneral-doc_3.4-10_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-10_all.deb proofgeneral-misc_3.4-10_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-10_all.deb proofgeneral_3.4-10.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-10.diff.gz proofgeneral_3.4-10.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-10.dsc proofgeneral_3.4-10_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-10_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org