-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 11 Oct 2010 21:47:36 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc Architecture: source all Version: 3.7-4 Distribution: unstable Urgency: low Maintainer: Debian QA Group <packages@qa.debian.org> Changed-By: Christian Perrier <bubulle@debian.org> Description: proofgeneral - generic interface for proof assistants - common package proofgeneral-coq - generic interface for proof assistants - coq support proofgeneral-doc - generic interface for proof assistants - documentation proofgeneral-minlog - generic interface for proof assistants - Minlog support proofgeneral-misc - generic interface for proof assistants - theorem provers support Closes: 554263 592274 Changes: proofgeneral (3.7-4) unstable; urgency=low . * QA upload * Use Debian QQA as maintainer. Closes: #554263 * Danish debconf translation update. Closes: #592274 Checksums-Sha1: 073d18bd02f5a8962dce0238bef80966f96ae28b 1742 proofgeneral_3.7-4.dsc fb702e7009a309d111e60e51403c1d972b203f8e 24613 proofgeneral_3.7-4.diff.gz abe3f15de4b1602f06642cf1ba4bf323e1e04326 482392 proofgeneral_3.7-4_all.deb dc2872f8441c563ec9e266a3e291bf65f66d1820 72482 proofgeneral-coq_3.7-4_all.deb b49dbaf92fa75b7890d6a53c2fb5a94b3c603a65 20122 proofgeneral-minlog_3.7-4_all.deb b581e1c0da22a628071eee8348114b11e8afb5f2 142188 proofgeneral-misc_3.7-4_all.deb dc2b1ecbcd9d7c12b25939e1d2f7f24d40609e6e 90200 proofgeneral-doc_3.7-4_all.deb Checksums-Sha256: f5c128a5d655d294f912d59a7791e380bd8257b2fa680cf7a5c4ffb4a0208c0f 1742 proofgeneral_3.7-4.dsc 02b389763914fca1ee2058ab9084512a1fa328ea3acacd656c36835df9d22943 24613 proofgeneral_3.7-4.diff.gz 92e9fee4f80cb69a67f322472970826b02c911a1875caeec05ecd55f0dbe6151 482392 proofgeneral_3.7-4_all.deb 3b7a081be4518887abcffe178efcc9dbc67463689057a783b7e0eda906115cf1 72482 proofgeneral-coq_3.7-4_all.deb ad0cb48348408781ce65e1fbd06a348fe1d3cdaa29c333b402249dcaba070dcd 20122 proofgeneral-minlog_3.7-4_all.deb ac412f9eaba8c1f18246723463fa4c75c2df820d41b29f5db917593b48008a81 142188 proofgeneral-misc_3.7-4_all.deb 203cc75e4b16878473fc32d7ccab4f8e90bbccc6403529e6a707c1da355d6737 90200 proofgeneral-doc_3.7-4_all.deb Files: de8affaf3c478625914ae5e5b63eb0f3 1742 science optional proofgeneral_3.7-4.dsc 0648fa3f0e88a89230a4ba91de44cbc3 24613 science optional proofgeneral_3.7-4.diff.gz 500111cc51f82258395c87fdb5fa85b0 482392 science optional proofgeneral_3.7-4_all.deb 6066746bbd4448501542e4f4b407155a 72482 science optional proofgeneral-coq_3.7-4_all.deb cf850ba83815a31efe36bd086b955b0e 20122 science optional proofgeneral-minlog_3.7-4_all.deb 5bab1b5d42583ffe9f198dc00e959dd9 142188 science optional proofgeneral-misc_3.7-4_all.deb 1ce32176e4d2d304e7d932f41109177c 90200 doc optional proofgeneral-doc_3.7-4_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIVAwUBTLNrb4cvcCxNbiWoAQL46BAAg0DiKjpvGNUWIPwpP7L/VjApJxm8yZHW H7rn/+famI+iEkffbPVRyGtK16NB0w8On6XJc54XPzjEmZbVPQX/qWsnBQSpxASD w4S1xihg7Cy5LaCf/yaElpc8c6HVqFu7FWVLM5ElvikKm5/e9Z67+j/epInsK7Vh lHIZ7V5AXOry3M5AU06uJ8awwd4ALpGq1k42DVsoYyACwzJhgC5TyGRu+3pzu/rj 3zBfNmm03KbtBVmrrFy1d7jcV1NgpoerzGY3aK8U5Zkt/m/0WzCAebQI1Fh8P3E7 akAkFaw4xzETkXB/XDHutKj+/FhzEQXdJGU5nPujjg8c1If7TS37ITYkcZPCzfGI f2EsxkbNyRWWAZYammTk1QNg2xn6WsMYDzs8poenIrFaYihrC5EUijYZS1ySqDO6 MDkwUyU8L4b6MmE9uZruJmE0vWfzRnO/2Jv03OnFF+XZR7hW23ofUG52hlH/BfAe cwjAS99kfO93naN4ycb7Z6zjxbGpdAt/Ydj5t8P273LJQmKhtNyogDbU64C1nBqV qI6DNSEX3H2/5kRdc558naOEKP2PaYZuR5XcJbcAPX/Q9ZBu8J8ThTogIvwe8RdP xlDbr+b6A6jrgYhDi9wFaY6W2GtxEDbncFO4D8Qe2TWq4TR2ALfbBPtkjGOyBh+g 5S5waqeFNSs= =bhVm -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.7-4_all.deb to main/p/proofgeneral/proofgeneral-coq_3.7-4_all.deb proofgeneral-doc_3.7-4_all.deb to main/p/proofgeneral/proofgeneral-doc_3.7-4_all.deb proofgeneral-minlog_3.7-4_all.deb to main/p/proofgeneral/proofgeneral-minlog_3.7-4_all.deb proofgeneral-misc_3.7-4_all.deb to main/p/proofgeneral/proofgeneral-misc_3.7-4_all.deb proofgeneral_3.7-4.diff.gz to main/p/proofgeneral/proofgeneral_3.7-4.diff.gz proofgeneral_3.7-4.dsc to main/p/proofgeneral/proofgeneral_3.7-4.dsc proofgeneral_3.7-4_all.deb to main/p/proofgeneral/proofgeneral_3.7-4_all.deb