Accepted hol88 2.02.19940316-23 (source amd64 all)
-----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-----