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: all i386_translations
Version: 3.7-3.1
Distribution: lucid
Urgency: low
Maintainer: Ubuntu/i386 Build Daemon <buildd@rothera.buildd>
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: 
 abb9dc9fd777c964949d13bfe9ac8b6ea1ad1a7b 484644 proofgeneral_3.7-3.1_all.deb
 3ed065fe45468416ea811a11113d784254049b6b 72300 proofgeneral-coq_3.7-3.1_all.deb
 5315b30346675b4529ad7857046a7dfbb1e47353 20134 proofgeneral-minlog_3.7-3.1_all.deb
 40b1d36a1bd0e96a707e2604bd6254ff997a17f4 142114 proofgeneral-misc_3.7-3.1_all.deb
 93b2508b99015667e2bb584fdd61ddfd6e561b7b 90406 proofgeneral-doc_3.7-3.1_all.deb
 e5686ddfb106fff7b50ba78e732534def24a33d9 6807 proofgeneral_3.7-3.1_i386_translations.tar.gz
Checksums-Sha256: 
 a86198eb7b67900aed0615d8f9eddb67f4ccf241456c96eccce1684ba9a2f1ab 484644 proofgeneral_3.7-3.1_all.deb
 2a89858190780dcb9c7897ab978d3ea7acc6cad62932a61886b7c02821077e13 72300 proofgeneral-coq_3.7-3.1_all.deb
 63d2b999c39dec946580454636df8b3e20cf566fd30df052bfdb5ebcda9a5e10 20134 proofgeneral-minlog_3.7-3.1_all.deb
 f263ef96a71956c0c3e8a80ef102d5c70e6154f88c63597a99b6c2bc91acbc90 142114 proofgeneral-misc_3.7-3.1_all.deb
 5fb53bc38820767be06dae71e4f29ad929592304cb5c5684a98a7a5af83350b7 90406 proofgeneral-doc_3.7-3.1_all.deb
 6a8a6a31d961aac864e9c87251678484bd580f2041410a4265bede403130edc2 6807 proofgeneral_3.7-3.1_i386_translations.tar.gz
Files: 
 5cf8897255688c2a5ed0336ff5530f64 484644 science optional proofgeneral_3.7-3.1_all.deb
 ae312046fc44d2799e834b5096631035 72300 science optional proofgeneral-coq_3.7-3.1_all.deb
 3ef8b6f8556694ae8d5277e6b81690e0 20134 science optional proofgeneral-minlog_3.7-3.1_all.deb
 1c6c3d5770cc566bf64717e8a3d9e47e 142114 science optional proofgeneral-misc_3.7-3.1_all.deb
 ee50ac72fc024a7f68d91c801030e108 90406 doc optional proofgeneral-doc_3.7-3.1_all.deb
 9c30ee653bc2dc64612d356f0da95b77 6807 raw-translations - proofgeneral_3.7-3.1_i386_translations.tar.gz