Accepted proofgeneral 3.7-2 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 19 Mar 2008 19:25:44 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc
Architecture: source all
Version: 3.7-2
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@debian.org>
Changed-By: Stefan Schimanski <schimmi@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: 450681 451163 451170 451280 451761 451832 452809 452951 453317 453650
Changes:
proofgeneral (3.7-2) unstable; urgency=low
.
* Debconf templates and debian/control reviewed by the debian-l10n-
english team as part of the Smith review project. Closes: #450681
* [Debconf translation updates]
- Galician. Closes: #451163
- Portuguese. Closes: #451170
- Finnish. Closes: #451280
- German. Closes: #451761
- Czech. Closes: #451832
- French. Closes: #452809
- Dutch. Closes: #452951
- Russian. Closes: #453317
- Vietnamese. Closes: #453650
* [Lintian] Insert correct copyright in debian/copyright
Files:
5e954db7137bfd2774a5aecc9e5704f9 714 science optional proofgeneral_3.7-2.dsc
64466af5b3c4db0408b0f4cddeb1b8d3 21003 science optional proofgeneral_3.7-2.diff.gz
2d0579f754cf65e961b84171a0fc4c2f 483226 science optional proofgeneral_3.7-2_all.deb
163338c7994c484a9c32e80206b96576 71690 science optional proofgeneral-coq_3.7-2_all.deb
43bfa692d88f63c4e2a41cca74670f39 19558 science optional proofgeneral-minlog_3.7-2_all.deb
8826c8ccf491b7b3f4819f946348a161 141548 science optional proofgeneral-misc_3.7-2_all.deb
75798d52518f07cb05494a1d8c371fd3 90056 doc optional proofgeneral-doc_3.7-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFH4WCnHUDhE+YrLEURAr6mAJ9sb0Fgy+fiXJO7RKbGfvXYTNE5AACgij9X
Sv2UNOpTXFEBos95Pan+Rag=
=8YlP
-----END PGP SIGNATURE-----
Accepted:
proofgeneral-coq_3.7-2_all.deb
to pool/main/p/proofgeneral/proofgeneral-coq_3.7-2_all.deb
proofgeneral-doc_3.7-2_all.deb
to pool/main/p/proofgeneral/proofgeneral-doc_3.7-2_all.deb
proofgeneral-minlog_3.7-2_all.deb
to pool/main/p/proofgeneral/proofgeneral-minlog_3.7-2_all.deb
proofgeneral-misc_3.7-2_all.deb
to pool/main/p/proofgeneral/proofgeneral-misc_3.7-2_all.deb
proofgeneral_3.7-2.diff.gz
to pool/main/p/proofgeneral/proofgeneral_3.7-2.diff.gz
proofgeneral_3.7-2.dsc
to pool/main/p/proofgeneral/proofgeneral_3.7-2.dsc
proofgeneral_3.7-2_all.deb
to pool/main/p/proofgeneral/proofgeneral_3.7-2_all.deb
Reply to: