Format: 1.8
Date: Sat, 16 Nov 2013 18:01:29 +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-19
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@tipua.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-19) unstable; urgency=low
 .
   * build against latest gcl
Checksums-Sha1: 
 64b15db2569a88cb98b09e342877a1f697a05477 4875068 hol88_2.02.19940316-19_i386.deb
 b963784b21c9c1783d4fa12791952c2876bf663f 1203314 hol88-library_2.02.19940316-19_i386.deb
 7f40c0a70b3a676a7449a92a0f18982e3f6f1e09 295522 hol88-source_2.02.19940316-19_all.deb
 9d0b182e4cb456b1f1730db744904d56fa96260b 220470 hol88-help_2.02.19940316-19_all.deb
 6009637fcaed8328ecfc81b320a62fa64684878e 418064 hol88-library-source_2.02.19940316-19_all.deb
 772f47f55f216ad4c78c890b0c3219abefbf711f 242758 hol88-library-help_2.02.19940316-19_all.deb
 476192501c3e65ef4b5f84929da5f303a5988d9a 730716 hol88-contrib-source_2.02.19940316-19_all.deb
 b1e0e149b0091325fcf11bc259cb60c185ff5414 23784 hol88-contrib-help_2.02.19940316-19_all.deb
 22fe848c931707b6239906057eb486e525a6405e 1052424 hol88-doc_2.02.19940316-19_all.deb
Checksums-Sha256: 
 58c7fb15500126f74a7a5ddfa6245624be0624477b1f84216e01a28a3d35d68b 4875068 hol88_2.02.19940316-19_i386.deb
 8ddf9dd5c4cc02990d7e2e585f36f80edfcd300d0360476f526067b95675b048 1203314 hol88-library_2.02.19940316-19_i386.deb
 19f32b0811b3c932b36e4fee599945357eac998a50f97dc410c1178a92c5bb84 295522 hol88-source_2.02.19940316-19_all.deb
 6c8555e7f3e6fcf6d0736abd2aecf04b06c6b943ab4e028abd611eeafa404b76 220470 hol88-help_2.02.19940316-19_all.deb
 e97346d4093b9b8c884b92ff56eb6a61be2aac7c111374e35001718190430d37 418064 hol88-library-source_2.02.19940316-19_all.deb
 9d5d930bde7bdda48add161ddff46aca15d34682c10057217472ee33ddd04b69 242758 hol88-library-help_2.02.19940316-19_all.deb
 c408291ec8ccfa0a1e2298b3662e44931193aafb908e768299e3cce1772df0a0 730716 hol88-contrib-source_2.02.19940316-19_all.deb
 c242737bae2fbd12daf9b24cd532e0bfe626807e80baccc810e1b2cf3b2d4a4f 23784 hol88-contrib-help_2.02.19940316-19_all.deb
 a72b9c3e32694955732b1d364694c6a9a9a94f9fdf474586516e217b1afa7d85 1052424 hol88-doc_2.02.19940316-19_all.deb
Files: 
 cae19c9c6c8671d4b9ee8d801ca1410c 4875068 math optional hol88_2.02.19940316-19_i386.deb
 971bef4b77797f5ce032c937eee9e21b 1203314 math optional hol88-library_2.02.19940316-19_i386.deb
 11ebc215776ebafb5b396bb667757354 295522 math optional hol88-source_2.02.19940316-19_all.deb
 ebc23263099a1ad96549815723351fed 220470 math optional hol88-help_2.02.19940316-19_all.deb
 e83e1955bc7e5db1b694a6d1fba01b45 418064 math optional hol88-library-source_2.02.19940316-19_all.deb
 021c1d750f45859b2b8ba1fc8e416c43 242758 math optional hol88-library-help_2.02.19940316-19_all.deb
 0964c9d7b9fe745216ed28501d0e59b4 730716 math optional hol88-contrib-source_2.02.19940316-19_all.deb
 98be2b6d4398d97530ba0c491c456d01 23784 math optional hol88-contrib-help_2.02.19940316-19_all.deb
 cccaa9f273faac57a63089cd5645e57f 1052424 doc optional hol88-doc_2.02.19940316-19_all.deb