Format: 1.8
Date: Wed, 11 Apr 2012 18:43:47 +0000
Source: hol88
Binary: hol88 hol88-source hol88-help hol88-library hol88-library-source hol88-library-help hol88-contrib-source hol88-contrib-help hol88-doc
Architecture: i386 all
Version: 2.02.19940316-15
Distribution: quantal
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@aatxe.buildd>
Changed-By: Camm Maguire <camm@debian.org>
Description: 
 hol88      - Higher Order Logic, system image
 hol88-contrib-help - Higher Order Logic, user contributed online help files
 hol88-contrib-source - Higher Order Logic, user contributed source
 hol88-doc  - Documentation for hol88
 hol88-help - Higher Order Logic, online help files
 hol88-library - Higher Order Logic, binary library modules
 hol88-library-help - Higher Order Logic, library online help files
 hol88-library-source - Higher Order Logic, library source files
 hol88-source - Higher Order Logic, source files
Changes: 
 hol88 (2.02.19940316-15) unstable; urgency=low
 .
   * lintian fixes
   * 3.0 quilt source format
Checksums-Sha1: 
 1344259ab07ebcb1aa28b5da7d6c6a43c17a6b45 8637626 hol88_2.02.19940316-15_i386.deb
 b4e95bf29615d388066061dffba88e40fac8be66 2049078 hol88-library_2.02.19940316-15_i386.deb
 23dd64c34625ab80e88d67311c74cf5121f54b8d 376582 hol88-source_2.02.19940316-15_all.deb
 912df98f640c573665736b917310787248bf086d 324380 hol88-help_2.02.19940316-15_all.deb
 28e05800e8c64fdf8036dd19487de99fa8d3d457 567366 hol88-library-source_2.02.19940316-15_all.deb
 9db5e3b09f7eeb812254e8d00387f91310b019f7 308362 hol88-library-help_2.02.19940316-15_all.deb
 43bad1176df2c8ee9ee7e7d7975d7cb499f00a81 1006996 hol88-contrib-source_2.02.19940316-15_all.deb
 d863aaa3da996315bab825c6c287412f88547e0a 26742 hol88-contrib-help_2.02.19940316-15_all.deb
 8d50d3cf137d735daeb84c10c582bec212ef9626 1049226 hol88-doc_2.02.19940316-15_all.deb
Checksums-Sha256: 
 d7b2efde82fea5f5a06f1d1ee1cfe1ea5db30e1adfb1596a37c0913b8fd79928 8637626 hol88_2.02.19940316-15_i386.deb
 1dd99cabec8977c958bd7d4af166bdf31a08d72611deeaf70dd9653dd7bd357c 2049078 hol88-library_2.02.19940316-15_i386.deb
 4b908990e3deaca220aa47e3cda1065a2b9603af22f377ddc40a0aea4af55f69 376582 hol88-source_2.02.19940316-15_all.deb
 a26ec455c540cfbeccf433b327f8ed24be056d55245eaed7ada2beb73db8f890 324380 hol88-help_2.02.19940316-15_all.deb
 b880fca3b6853fe461bf1289c9fa4435987424d51af611f27633bf2b568b5bca 567366 hol88-library-source_2.02.19940316-15_all.deb
 0c5fd2d8b0733ab552dbfe8bd23aded7f5adff057c49368a4045f105cd365305 308362 hol88-library-help_2.02.19940316-15_all.deb
 bc1d035a734fe7397501da2a35fb98df11f94fa3544ec748cfa4d135d4a2ea9f 1006996 hol88-contrib-source_2.02.19940316-15_all.deb
 501c0196d73eb4ee300d32217d7457557e84ad1c7336527e3d0e4ac42193b331 26742 hol88-contrib-help_2.02.19940316-15_all.deb
 f820600d9bd265e01c96056f60037292fd9d5b889ce796c07dd33091a9dd6307 1049226 hol88-doc_2.02.19940316-15_all.deb
Files: 
 37ad8fcda8352f9767a6de47d9f6fc63 8637626 math optional hol88_2.02.19940316-15_i386.deb
 edc4d7b6212236b62af458df8d082743 2049078 math optional hol88-library_2.02.19940316-15_i386.deb
 a7394f02722644da95fc8879176a781b 376582 math optional hol88-source_2.02.19940316-15_all.deb
 a8bf0a55e5e0515fee5c0be57a3b1e39 324380 math optional hol88-help_2.02.19940316-15_all.deb
 1dc382fd7ac005f60ac1b67fb2aa24ff 567366 math optional hol88-library-source_2.02.19940316-15_all.deb
 287822ffe3eab269c0f5cc5a331be0bb 308362 math optional hol88-library-help_2.02.19940316-15_all.deb
 0c5d221498513e571ed201d66e6ff8ff 1006996 math optional hol88-contrib-source_2.02.19940316-15_all.deb
 fe463694cc09ae0c34558a47c1a4075a 26742 math optional hol88-contrib-help_2.02.19940316-15_all.deb
 54da60456d47291b49bb6863cb5a8698 1049226 doc optional hol88-doc_2.02.19940316-15_all.deb