Accepted proofgeneral 3.4-13 (all source)

[Stefan Schimanski <schimmi@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Mon, 25 Aug 2003 13:00:21 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.4-13
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@kde.org>
Changed-By: Stefan Schimanski <schimmi@debian.org>
Description: 
 proofgeneral - A generic interface for proof assistants
 proofgeneral-coq - ProofGeneral support for coq
 proofgeneral-doc - Documentation for ProofGeneral in html format
 proofgeneral-misc - ProofGeneral support for different theoreom provers
Closes: 207106
Changes: 
 proofgeneral (3.4-13) unstable; urgency=low
 .
   * Changed debhelper dependency to 4.1.16.
   * Prepared for translations (thanks to Michel Grentzinger, closes: #207106).
   * Increased policy standard.
   * Fixed icon colors.
Files: 
 95fb7c80d08fc7cdbf17c68cd59191c6 641 editors optional proofgeneral_3.4-13.dsc
 e06cecf2f757e20b2e033893a1d40f53 7111 editors optional proofgeneral_3.4-13.diff.gz
 45df78a09b8489245442b4b1bd88b2f3 405790 editors optional proofgeneral_3.4-13_all.deb
 c667e0895e8b56b94c7aaba072feece5 22790 editors optional proofgeneral-coq_3.4-13_all.deb
 94f83e138af4b81d9b4b0cea01070f20 122028 editors optional proofgeneral-misc_3.4-13_all.deb
 064713d4e9543b50844c1c51be16f876 111172 editors optional proofgeneral-doc_3.4-13_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.2 (GNU/Linux)

iD8DBQE/SfmGHUDhE+YrLEURAk3pAKC9q/r51v16Gcq8ltWS008HEGj3AgCeKEvR
emMz5CPkMQbrCvyTJt0vlGs=
=l2LO
-----END PGP SIGNATURE-----


Accepted:
proofgeneral-coq_3.4-13_all.deb
  to pool/main/p/proofgeneral/proofgeneral-coq_3.4-13_all.deb
proofgeneral-doc_3.4-13_all.deb
  to pool/main/p/proofgeneral/proofgeneral-doc_3.4-13_all.deb
proofgeneral-misc_3.4-13_all.deb
  to pool/main/p/proofgeneral/proofgeneral-misc_3.4-13_all.deb
proofgeneral_3.4-13.diff.gz
  to pool/main/p/proofgeneral/proofgeneral_3.4-13.diff.gz
proofgeneral_3.4-13.dsc
  to pool/main/p/proofgeneral/proofgeneral_3.4-13.dsc
proofgeneral_3.4-13_all.deb
  to pool/main/p/proofgeneral/proofgeneral_3.4-13_all.deb