-----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]

Reply via email to