-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 24 Jul 2014 21:47:33 +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: source amd64 all Version: 2.02.19940316-23 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> 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-23) unstable; urgency=medium . * build against latest gcl Checksums-Sha1: c30845c55ba59058b4ee5f8655e8c9798cba505c 1635 hol88_2.02.19940316-23.dsc 83e3a9d733d53886d4e4b7f2664b473e0a59f379 130708 hol88_2.02.19940316-23.debian.tar.xz d1c5294fee3985093ec32b9a427fdb039f3bfb53 5945206 hol88_2.02.19940316-23_amd64.deb 2be0e6773970e7f204e53fd4cdea8c728d999566 1285028 hol88-library_2.02.19940316-23_amd64.deb bbadb2bb7b72fbf944b59908dac405bc00670d02 296548 hol88-source_2.02.19940316-23_all.deb 5e7e462dab6a358c238fc8d8c6421d4cce22cd57 225580 hol88-help_2.02.19940316-23_all.deb d4a292f4a8f68e970a1252046cbd97bb82665e1c 418434 hol88-library-source_2.02.19940316-23_all.deb 9cd7afd7650f48be7c05da09543eaa39cabf5d89 251806 hol88-library-help_2.02.19940316-23_all.deb 1df39843651c6840daebabb2c176b0d7be29fb61 732846 hol88-contrib-source_2.02.19940316-23_all.deb 1ce45c1ae9afe89a4249bbfb33f225e11ecd7bb4 24862 hol88-contrib-help_2.02.19940316-23_all.deb 0585fb32961eb130c7e64796dcf38732690222c7 1050616 hol88-doc_2.02.19940316-23_all.deb Checksums-Sha256: 41926aa73554b990fdab153f94cba1951f072647be6fca436f09f0a2614d6c9f 1635 hol88_2.02.19940316-23.dsc e6aa36fa9166af638368fe1ccf5e538f774394660b0cfdf9f15785449d7a85ab 130708 hol88_2.02.19940316-23.debian.tar.xz de2e902e0ab06cf959920a145282c142a606751a763c2e449d8904dd8023d38b 5945206 hol88_2.02.19940316-23_amd64.deb 1d3925eafca1c4ee84ee7cea51c03a99180d59fb089203046438b337b2f61108 1285028 hol88-library_2.02.19940316-23_amd64.deb c1c252deb73121a7713bd595966e16dec932b852b47d5e7c5b91296b308e80cb 296548 hol88-source_2.02.19940316-23_all.deb b4f65de0cc03b5e02e0eb28fdf19c92945aaa363c4f1b3d73a07b3843f57a946 225580 hol88-help_2.02.19940316-23_all.deb 6adc3f83bbe91992e04e1559733bb54b5352869ee2ec336e73af4b287999d733 418434 hol88-library-source_2.02.19940316-23_all.deb 770dafc5778a37444be8bf7856ecffd825df168962b00ea70af1ee029a87a250 251806 hol88-library-help_2.02.19940316-23_all.deb edb49521a3a6faec0d40501457b17520b3912af1d3a77a7585d127a7e96f5a16 732846 hol88-contrib-source_2.02.19940316-23_all.deb 2c2c1e130d6e556bc9af3e013e35728576967f0a86167625e470dc5660180e0e 24862 hol88-contrib-help_2.02.19940316-23_all.deb 5c6c7ec3699eaf7fdab59ef8135b48fc36c15a033f5175989153e6752ab9766d 1050616 hol88-doc_2.02.19940316-23_all.deb Files: 9fd96a6a48dbaf12235c41788fe0b093 5945206 math optional hol88_2.02.19940316-23_amd64.deb 2074f0097417ea9e59ed893c24e3e382 1285028 math optional hol88-library_2.02.19940316-23_amd64.deb 5a2f07ba7a5da3799bdbbb529a0d94b4 296548 math optional hol88-source_2.02.19940316-23_all.deb 77e151a6eb2595650c825c24d498683c 225580 math optional hol88-help_2.02.19940316-23_all.deb f53c57d3ec2cc6b49a0590a4f39b30d7 418434 math optional hol88-library-source_2.02.19940316-23_all.deb aa48705b0395eb233fd81fd6c693f6d9 251806 math optional hol88-library-help_2.02.19940316-23_all.deb 32d1276f68eba447670610fe1080a228 732846 math optional hol88-contrib-source_2.02.19940316-23_all.deb ffd9fe4782a8c6cb84669e2630b4240e 24862 math optional hol88-contrib-help_2.02.19940316-23_all.deb f95b9d0620c29036597c3d67eae549fb 1050616 doc optional hol88-doc_2.02.19940316-23_all.deb a5aa107d808d83cde4eb25f7683b8d83 1635 math optional hol88_2.02.19940316-23.dsc a601a285e6e076474fb70d70d1d392ff 130708 math optional hol88_2.02.19940316-23.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEUEARECAAYFAlPRg34ACgkQczG1wFfwRdyNkgCfaeAmgtl6iCKLcUWJxemOxC+j k+oAl2Fw87WtEiUxcIKCc4d4tlf6B2c= =iiFT -----END PGP SIGNATURE-----