-----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 <[EMAIL PROTECTED]>
Changed-By: Stefan Schimanski <[EMAIL PROTECTED]>
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


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to