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: s390x 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: 9bf78c21a85bb45e448f5790ead2f42adbb4ce92 3705376 hol88-library_2.02.19940316-35build1_s390x.deb f11c2e2574ad0813dc345e2eb0ecd95b407157e8 11423 hol88_2.02.19940316-35build1_s390x.buildinfo f947d527e835e4ecd37892147c9bd6700dbc4657 6650012 hol88_2.02.19940316-35build1_s390x.deb Checksums-Sha256: 0a8ed37edadd48028f16fd1b591a3cec4f32153f30a0fb0a29ce5a2d1f0d0679 3705376 hol88-library_2.02.19940316-35build1_s390x.deb 13213fc8119fa45837c93f481fb847d274f71895beb43be5f07b24eac076c32a 11423 hol88_2.02.19940316-35build1_s390x.buildinfo 3984d47e6460c8f9963de5fac767ebef8587dec5cc47af37fd07ed16e92da006 6650012 hol88_2.02.19940316-35build1_s390x.deb Files: e393ba8054faa74434454dd5916713c9 3705376 math optional hol88-library_2.02.19940316-35build1_s390x.deb d1c3df867fcabef8fcd3daa9bb92f53c 11423 math optional hol88_2.02.19940316-35build1_s390x.buildinfo 164c75fbffc209736468613425c2e591 6650012 math optional hol88_2.02.19940316-35build1_s390x.deb