-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sat, 30 Aug 2003 13:46:20 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.4-14
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
Closes: 207869
Changes:
proofgeneral (3.4-14) unstable; urgency=low
.
* Added french translation for the debconf templates (thanks to Michel
Grentzinger, closes: #207869).
Files:
4c65763b9bed6f4c3444642f52511e1a 641 editors optional proofgeneral_3.4-14.dsc
08dd5db3b1f8ad545a0d03515f4c229c 7571 editors optional proofgeneral_3.4-14.diff.gz
9b09501437c4e19375d446a5db5b3b3c 406172 editors optional proofgeneral_3.4-14_all.deb
c822058e57edbf077374af5308bfb1c1 22852 editors optional
proofgeneral-coq_3.4-14_all.deb
7c0cb3a3376375599e4ac19e039828dc 122074 editors optional
proofgeneral-misc_3.4-14_all.deb
7f7185c4a25ce0a359391eb26c331670 111230 editors optional
proofgeneral-doc_3.4-14_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.2 (GNU/Linux)
iD8DBQE/UI7THUDhE+YrLEURAp1tAJ9qy9Sr9XsYcuBqKkXnxxRt1ALQlQCeJq7G
f06qKffW/SVmVqyo9nVcz5c=
=u2qt
-----END PGP SIGNATURE-----
Accepted:
proofgeneral-coq_3.4-14_all.deb
to pool/main/p/proofgeneral/proofgeneral-coq_3.4-14_all.deb
proofgeneral-doc_3.4-14_all.deb
to pool/main/p/proofgeneral/proofgeneral-doc_3.4-14_all.deb
proofgeneral-misc_3.4-14_all.deb
to pool/main/p/proofgeneral/proofgeneral-misc_3.4-14_all.deb
proofgeneral_3.4-14.diff.gz
to pool/main/p/proofgeneral/proofgeneral_3.4-14.diff.gz
proofgeneral_3.4-14.dsc
to pool/main/p/proofgeneral/proofgeneral_3.4-14.dsc
proofgeneral_3.4-14_all.deb
to pool/main/p/proofgeneral/proofgeneral_3.4-14_all.deb
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
