Format: 1.8
Date: Wed, 07 Oct 2015 21:39:55 +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: arm64
Version: 2.02.19940316-31
Distribution: xenial-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@twombly.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-31) unstable; urgency=medium
 .
   * build against latest gcl
Checksums-Sha1:
 0085ece7d9846e856369bcaa03e9b6b17eafee86 3066060 hol88-library_2.02.19940316-31_arm64.deb
 8b7faa3cf1763955d2734d7fb07f706215d375df 5257318 hol88_2.02.19940316-31_arm64.deb
Checksums-Sha256:
 daffadc05dbc85bee495c79e93f718a893b00028d2fff998e41f419644bf19dc 3066060 hol88-library_2.02.19940316-31_arm64.deb
 46705b25f9fe7349b69da6d0cfe48ee32cfb91cb0074a00b8da974fb60f9acd7 5257318 hol88_2.02.19940316-31_arm64.deb
Files:
 63125ff449849551e776c68f3fc32432 3066060 math optional hol88-library_2.02.19940316-31_arm64.deb
 4643d9d1b4e0b0fa92da6f6795e95dca 5257318 math optional hol88_2.02.19940316-31_arm64.deb