Accepted proofgeneral 3.5-3 (all source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 20 Aug 2004 14:38:30 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.5-3
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@debian.org>
Changed-By: Stefan Schimanski <schimmi@debian.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 theorem provers
Changes:
proofgeneral (3.5-3) unstable; urgency=low
.
* Updated maintainer email address.
Files:
aa2714671d10a5011f37e1b38a1a071c 645 editors optional proofgeneral_3.5-3.dsc
e40417d1ff49db4ee41494e79ccc1c62 8207 editors optional proofgeneral_3.5-3.diff.gz
1dead839b11e8db42d8c7f0da885384b 417866 editors optional proofgeneral_3.5-3_all.deb
97ed70419caf966181e52c7adae03fc3 44040 editors optional proofgeneral-coq_3.5-3_all.deb
fa71bdcbaba1004240e89f1c23234ccf 149776 editors optional proofgeneral-misc_3.5-3_all.deb
82f3f21a094bf4bfc99be083f2f4abe5 120940 editors optional proofgeneral-doc_3.5-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFBJfE9HUDhE+YrLEURApFOAKDnWMYxNOLAja5TlMWSV7tIo7b2sACdHhQx
h6LIl4br6ze+fGGacMFfIQ4=
=6dMo
-----END PGP SIGNATURE-----
Accepted:
proofgeneral-coq_3.5-3_all.deb
to pool/main/p/proofgeneral/proofgeneral-coq_3.5-3_all.deb
proofgeneral-doc_3.5-3_all.deb
to pool/main/p/proofgeneral/proofgeneral-doc_3.5-3_all.deb
proofgeneral-misc_3.5-3_all.deb
to pool/main/p/proofgeneral/proofgeneral-misc_3.5-3_all.deb
proofgeneral_3.5-3.diff.gz
to pool/main/p/proofgeneral/proofgeneral_3.5-3.diff.gz
proofgeneral_3.5-3.dsc
to pool/main/p/proofgeneral/proofgeneral_3.5-3.dsc
proofgeneral_3.5-3_all.deb
to pool/main/p/proofgeneral/proofgeneral_3.5-3_all.deb
Reply to: