-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 19 Sep 2009 07:47:14 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc Architecture: source all Version: 3.7-3.1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski <schimmi@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: 504034 510721 520539 546648 Changes: proofgeneral (3.7-3.1) unstable; urgency=low . * Non-maintainer upload. * Trivial lintian fixes: - Add ${misc:Depends} to binary packages dependencies so that debhelper-triggered dependencies are properly added at build time. - Bump debhelper compatibility to 7 - Replace calls to deprecated "dh_clean -k" by dh_prep - Have copyright file refer to the versioned GPL-2 license file - Drop calls to install-info to register info pages as this is now handled by triggers - As a consequence, drop the now empty proofgeneral.prerm script - No longer ignore errors in proofgeneral.postinst, proofgeneral.presinst and proofgeneral.config (use "set -e") - Add dependency on "dpkg (>= 1.15.4) | install-info" to properly ihandle info documents installation * Fix pending l10n issues. Debconf translations: - Swedish (Martin Bagge). Closes: #504034 - Japanese (Hideki Yamane (Debian-JP)). Closes: #510721 - Spanish (Fernando González de Requena). Closes: #520539 - Italian (Luca Monducci). Closes: #546648 Checksums-Sha1: cbf093eb37375aa3584c1b3ff3a1ad589c7119c4 1109 proofgeneral_3.7-3.1.dsc a54ef1f2cab4359c51750b6693909c06ada52d69 23726 proofgeneral_3.7-3.1.diff.gz a79277bf211e50a155cef7a5e21df01b0f63657c 482460 proofgeneral_3.7-3.1_all.deb 43d7bec4feee4b3a968379ed9aee1f657697df69 72356 proofgeneral-coq_3.7-3.1_all.deb ba73be6fd294fb2a5f51b8e5059786d9b8fa8965 20116 proofgeneral-minlog_3.7-3.1_all.deb 8a18b45f4926a5c6752d9676e9b2b8c8d1035158 141744 proofgeneral-misc_3.7-3.1_all.deb fc3eb68796114132ae6197ef3ee19c1105ad74df 90776 proofgeneral-doc_3.7-3.1_all.deb Checksums-Sha256: 243d65e2f60ff4ef48948212198c66ae88a3b6a3e1aae96a1cdfac147264849e 1109 proofgeneral_3.7-3.1.dsc 82bbaa1bc48c9b982b36256d746d9fd470c472d2ef58694384d8a39230ff8b7f 23726 proofgeneral_3.7-3.1.diff.gz 1291574d1d9c279c9391c11a37428f3e724d0cd9a29005425d4ef892565214b8 482460 proofgeneral_3.7-3.1_all.deb 804e325b01786208affe0e72113e319a51567ab5f286ee5937ebd7fe1ac1e6b2 72356 proofgeneral-coq_3.7-3.1_all.deb 1d6087c37f553b4855cd6b9253d57dbda7aaa9abfa080929de340a7b417de15b 20116 proofgeneral-minlog_3.7-3.1_all.deb 9ec73f96f55315e4268dae05ab1370c3141bee92c38460875cf88392633da915 141744 proofgeneral-misc_3.7-3.1_all.deb 57fa3f13308600ff4639232744cd846a59feaf4f6ad7f92e41b63a20a7dc15d3 90776 proofgeneral-doc_3.7-3.1_all.deb Files: cddba93feaf57bbb1a31358a8f4ccdcd 1109 science optional proofgeneral_3.7-3.1.dsc 99f4faa905d6b4abc2cf0bcf056a0410 23726 science optional proofgeneral_3.7-3.1.diff.gz 613486cb58febb8c7715cc913281e1c2 482460 science optional proofgeneral_3.7-3.1_all.deb 0527e42537c1cb4378f9dfaff00a1d5c 72356 science optional proofgeneral-coq_3.7-3.1_all.deb d70892c341bf9bae2f2690a3ccd93bf9 20116 science optional proofgeneral-minlog_3.7-3.1_all.deb c585df910aef6b9c8f8e8eaf45654b8f 141744 science optional proofgeneral-misc_3.7-3.1_all.deb 0d58904c78bdcfd540094e59599e7c80 90776 doc optional proofgeneral-doc_3.7-3.1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iD8DBQFKtRhR1OXtrMAUPS0RAhNzAJ4iV1KjJKzRxXmIKldJV+MSS+vTCwCeLFVz HtQFnsMywTSc1S8cMtW8eA8= =jY9Q -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.7-3.1_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.7-3.1_all.deb proofgeneral-doc_3.7-3.1_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.7-3.1_all.deb proofgeneral-minlog_3.7-3.1_all.deb to pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3.1_all.deb proofgeneral-misc_3.7-3.1_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.7-3.1_all.deb proofgeneral_3.7-3.1.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.7-3.1.diff.gz proofgeneral_3.7-3.1.dsc to pool/main/p/proofgeneral/proofgeneral_3.7-3.1.dsc proofgeneral_3.7-3.1_all.deb to pool/main/p/proofgeneral/proofgeneral_3.7-3.1_all.deb
