[ubuntu/yakkety-proposed] hol88 2.02.19940316-31build2 (Accepted)

[Graham Inggs]

hol88 (2.02.19940316-31build2) yakkety; urgency=medium

  * Rebuild and gcl and readline

Date: Mon, 26 Sep 2016 17:36:33 +0200
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Camm Maguire <camm at debian.org>
https://launchpad.net/ubuntu/+source/hol88/2.02.19940316-31build2
-------------- next part --------------
Format: 1.8
Date: Mon, 26 Sep 2016 17:36:33 +0200
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: source
Version: 2.02.19940316-31build2
Distribution: yakkety
Urgency: medium
Maintainer: Camm Maguire <camm at debian.org>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
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-31build2) yakkety; urgency=medium
 .
   * Rebuild and gcl and readline
Checksums-Sha1:
 fe548e9004031d7f37096e1f8d4b2a3e05761068 2299 hol88_2.02.19940316-31build2.dsc
 dc39e5a1af08fc5896c1addd3bca69c63d505915 130852 hol88_2.02.19940316-31build2.debian.tar.xz
Checksums-Sha256:
 8005c83913d65bb14080f829e52e56e8916a1528cbcc4ae6e760340e5092a867 2299 hol88_2.02.19940316-31build2.dsc
 629015c0b89b0475131dc4d6dd9b74519354ebbc1f1c2980f7e0c9a40fb1eaf4 130852 hol88_2.02.19940316-31build2.debian.tar.xz
Files:
 499c44a8b21aa3aa3f5f911924a19bdc 2299 math optional hol88_2.02.19940316-31build2.dsc
 7c88144aba0a76afeb2abac02e3f1961 130852 math optional hol88_2.02.19940316-31build2.debian.tar.xz