-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Mon, 30 Sep 2002 21:43:08 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.4-12
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <[EMAIL PROTECTED]>
Changed-By: Stefan Schimanski <[EMAIL PROTECTED]>
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-12) unstable; urgency=low
 .
   * Added note about remove behaviour to startup files.
   * Symlink the xemacs21 startup file to the emacs21 startup file as
     they are the same anyway.
Files: 
 b4acfbfeeb7b1e036b19ef407f92ff28 640 editors optional proofgeneral_3.4-12.dsc
 277917f49c31f9f7ede6d2b3ef14cb6b 6458 editors optional proofgeneral_3.4-12.diff.gz
 71ac0e6749642ecd010515e120181790 405656 editors optional proofgeneral_3.4-12_all.deb
 6aeb19604d3f14b96ec4af5d0198e5d8 22744 editors optional 
proofgeneral-coq_3.4-12_all.deb
 d20b8af8c2858765227a8595fbc956f2 121892 editors optional 
proofgeneral-misc_3.4-12_all.deb
 90332911e9caabdb2597e969e0cb386f 111012 editors optional 
proofgeneral-doc_3.4-12_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.0 (GNU/Linux)

iD8DBQE9oyg9tzWmSeC6BMERAk7uAKDsDXTkuK5aIA1ieGBYDgZhDZ7FIwCfYG1J
EUp3ZywN4z+AZbSbn19f3mE=
=5oqt
-----END PGP SIGNATURE-----


Accepted:
proofgeneral-coq_3.4-12_all.deb
  to pool/main/p/proofgeneral/proofgeneral-coq_3.4-12_all.deb
proofgeneral-doc_3.4-12_all.deb
  to pool/main/p/proofgeneral/proofgeneral-doc_3.4-12_all.deb
proofgeneral-misc_3.4-12_all.deb
  to pool/main/p/proofgeneral/proofgeneral-misc_3.4-12_all.deb
proofgeneral_3.4-12.diff.gz
  to pool/main/p/proofgeneral/proofgeneral_3.4-12.diff.gz
proofgeneral_3.4-12.dsc
  to pool/main/p/proofgeneral/proofgeneral_3.4-12.dsc
proofgeneral_3.4-12_all.deb
  to pool/main/p/proofgeneral/proofgeneral_3.4-12_all.deb


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to