-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 18 Mar 2008 21:11:22 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc Architecture: source all Version: 3.7-1 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-minlog - ProofGeneral support for Minlog proofgeneral-misc - ProofGeneral support for different theorem provers Closes: 352650 429830 434975 471530 Changes: proofgeneral (3.7-1) unstable; urgency=low . * New upstream release. Closes: #471530,#429830,#352650 * emacs22 is already preferred from 3.5-6 on. Closes: #434975 Files: a09f183c7f0b717a650a6ffa326a972e 671 science optional proofgeneral_3.7-1.dsc c922c2d591812ce417b72c13259ef4ad 1982146 science optional proofgeneral_3.7.orig.tar.gz 0ffa4fe815edeededb71e43b290fd64d 20854 science optional proofgeneral_3.7-1.diff.gz 015c4cfe9ebecf3a0d6d7e3cca657467 482978 science optional proofgeneral_3.7-1_all.deb e41ce2c884b8f34e906b948907bbd243 71438 science optional proofgeneral-coq_3.7-1_all.deb fba2988302a1f5ed578d224b7c9a1271 19288 science optional proofgeneral-minlog_3.7-1_all.deb d193a260e1f57843728d0f71a2eed3ac 141348 science optional proofgeneral-misc_3.7-1_all.deb 4cd186b7a7fd4980f8bc645e98c94c4d 89840 doc optional proofgeneral-doc_3.7-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH4FIRHUDhE+YrLEURAqFlAKC3CHWZzgS4QoME6TKlv/aHKcHVAgCg4TJC ET/WHfdAVaY6xvLQdcepRNE= =Qxh0 -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.7-1_all.deb proofgeneral-doc_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.7-1_all.deb proofgeneral-minlog_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral-minlog_3.7-1_all.deb proofgeneral-misc_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.7-1_all.deb proofgeneral_3.7-1.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.7-1.diff.gz proofgeneral_3.7-1.dsc to pool/main/p/proofgeneral/proofgeneral_3.7-1.dsc proofgeneral_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral_3.7-1_all.deb proofgeneral_3.7.orig.tar.gz to pool/main/p/proofgeneral/proofgeneral_3.7.orig.tar.gz
