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: armhf Version: 2.02.19940316-19 Distribution: trusty-proposed Urgency: low Maintainer: Ubuntu/armhf Build Daemon Changed-By: Camm Maguire 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: c91ae6094fb4656ae952f8b4c0e998caf4c86209 4713382 hol88_2.02.19940316-19_armhf.deb d46881c9631419cb4dd10bf68df254d8aa1cc634 3091180 hol88-library_2.02.19940316-19_armhf.deb Checksums-Sha256: b325a613f5c9a42aa02efbba98398b485cca54e7768dda5db8a8b0b72d0b1097 4713382 hol88_2.02.19940316-19_armhf.deb 60d57ccf5e4367e926cf745e98126906e714d0b72944c686b15edf90f7dd0ec2 3091180 hol88-library_2.02.19940316-19_armhf.deb Files: 296217cd72d6e2c1e583e067accfd033 4713382 math optional hol88_2.02.19940316-19_armhf.deb 14e9376af5db252fd4d4a33c860d6c31 3091180 math optional hol88-library_2.02.19940316-19_armhf.deb