Format: 1.8 Date: Tue, 15 Jan 2019 10:25:54 +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 Version: 2.02.19940316-35build1 Distribution: disco-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Matthias Klose 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-35build1) disco; urgency=medium . * No-change rebuild for readline soname change. Checksums-Sha1: e01f00fb43b68c28fe90f5ffd8d57925d9a84612 3605008 hol88-library_2.02.19940316-35build1_i386.deb 55a4ab2bdb7ceecd4bf2e14c34eb912f0cb02d51 11559 hol88_2.02.19940316-35build1_i386.buildinfo 7798a0d9eb65fa37801cb1daafa35cc279512f80 5804712 hol88_2.02.19940316-35build1_i386.deb Checksums-Sha256: 8df62b6c313e0a25e82c152460a9f3544f708e38f77431a5b5da1ee4969cd87a 3605008 hol88-library_2.02.19940316-35build1_i386.deb 42e88d8763ad8c2332b285208078033c3e7a4cb167a55fd1796b16f5485b0d59 11559 hol88_2.02.19940316-35build1_i386.buildinfo 7b3e50d65204b706ebe90ab93e3e33502f1020bc22b85e3942ddbe7aae714ade 5804712 hol88_2.02.19940316-35build1_i386.deb Files: 918c436b2f277a3bfa60a01033b1f798 3605008 math optional hol88-library_2.02.19940316-35build1_i386.deb 9a1e2aee532c93bf8ee9dd534dc01d1d 11559 math optional hol88_2.02.19940316-35build1_i386.buildinfo c4f7c8e45c6e331e192ffd37bec6b15d 5804712 math optional hol88_2.02.19940316-35build1_i386.deb