Accepted proofgeneral 3.7-3.1 (source all)
-----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
Reply to: