Format: 1.8
Date: Sat, 15 Feb 2014 19:57:15 +0900
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: all
Version: 4.3~pre130510-1.1
Distribution: trusty-proposed
Urgency: medium
Maintainer: Ubuntu/amd64 Build Daemon <buildd@akateko.buildd>
Changed-By: Hideki Yamane <henrich@debian.org>
Description: 
 proofgeneral - generic frontend for proof assistants
 proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 738392
Changes: 
 proofgeneral (4.3~pre130510-1.1) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * debian/control
     - add "Build-Depends: texlive-fonts-recommended" to fix FTBFS
      (Closes: #738392)
     - remove unnecessary "Build-Depends: texi2html" due to transtion
       (see https://wiki.debian.org/Texi2htmlTransition)
   * debian/patches
     - add transition_to_makeinfo.patch to use makeinfo, instead of texi2html
   * also update debian/proofgeneral-doc.doc-base to deal with changes with
     above
Checksums-Sha1: 
 89829f024ff214f03110074ebbcd14fdc001b349 361556 proofgeneral_4.3~pre130510-1.1_all.deb
 fbc8c05e590c1cbf2a77a7fb6de8387494bcf984 657740 proofgeneral-doc_4.3~pre130510-1.1_all.deb
Checksums-Sha256: 
 0b32cbc02ee008b6b49c47225648e3976582cbb603472de110ea194be8a02078 361556 proofgeneral_4.3~pre130510-1.1_all.deb
 d8ebf7d93d8f478832721c685a5635b9c948f5e1ec6f5ba07d07cc1fcc987b2e 657740 proofgeneral-doc_4.3~pre130510-1.1_all.deb
Files: 
 1e4f2769125590eae61891b0a6af600a 361556 editors optional proofgeneral_4.3~pre130510-1.1_all.deb
 a90646e0cc2aae30ac7fc4aad5e39fb0 657740 doc optional proofgeneral-doc_4.3~pre130510-1.1_all.deb