Accepted hol88 2.02.19940316-16 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 07 Aug 2013 21:26:12 +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-16
Distribution: unstable
Urgency: low
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-16) unstable; urgency=low
.
* build against latest gcl
Checksums-Sha1:
b13263e61edc9c3fa4a4e42b3044d7e4d0a82f36 1580 hol88_2.02.19940316-16.dsc
721190f4f17db8910796c5b05c1b6381dde1015c 170331 hol88_2.02.19940316-16.debian.tar.gz
b397bda3816afd9a9bf6b0950ffaecf639249865 5936262 hol88_2.02.19940316-16_amd64.deb
8899306879460a9b557598b9b65f90091a4c84dd 1241510 hol88-library_2.02.19940316-16_amd64.deb
ae25ce039467a8ee30ca576be3e6e29d700cf7f1 296972 hol88-source_2.02.19940316-16_all.deb
d83428b972a271624fe31bce61fc85418d69d83d 221318 hol88-help_2.02.19940316-16_all.deb
2fec350a1ad38d8a4ef68abc60606d2614d93482 419294 hol88-library-source_2.02.19940316-16_all.deb
3d9d7aed2b85332166eaa962626a69bbd22ee393 243430 hol88-library-help_2.02.19940316-16_all.deb
e5c4d350307b18fa5e7065a6ecda0d1202d411c1 730110 hol88-contrib-source_2.02.19940316-16_all.deb
a8e7ef4fbca68ff464de8602810ae2c84968de8e 24488 hol88-contrib-help_2.02.19940316-16_all.deb
e76fb361dd6cd5713478efa95b3057bf5c91d372 1050524 hol88-doc_2.02.19940316-16_all.deb
Checksums-Sha256:
f0c34e0cee0d82e55e4ec4508f1f8bca605ebeb65475077f539b7a780f188f5e 1580 hol88_2.02.19940316-16.dsc
d626486227f3240893f3fca4201ca0629e0c709956359b0dcbb779f077e4700a 170331 hol88_2.02.19940316-16.debian.tar.gz
a60928008c3cf8ad9699f9f56b9af4ab56643ecaf24794248cc0f9d814da40c4 5936262 hol88_2.02.19940316-16_amd64.deb
18901c8c09fe38bb9f0eb573fdd8a05bcb458c13d0153cca1fec49a8d65e5e25 1241510 hol88-library_2.02.19940316-16_amd64.deb
113b2a35520cb9bce462b61a782febf16ba4bce65373a492b7e50a224fbccff1 296972 hol88-source_2.02.19940316-16_all.deb
35337d74a6ac06c3ceecb48b14a11256da085996adc4b770387e1d64b42e6a4c 221318 hol88-help_2.02.19940316-16_all.deb
8b71326cd8c7e210304db16827202cde559f47a843eeff8def5579c8aeda4681 419294 hol88-library-source_2.02.19940316-16_all.deb
b82432fb8b4ea06e18d335865ee26586b45cf1873bbc53011ba35a0c93c78d90 243430 hol88-library-help_2.02.19940316-16_all.deb
60e6ffdab7531ec31a9477d05f25ecf8b0646a3982a5a27d3d2875cb5a6442f9 730110 hol88-contrib-source_2.02.19940316-16_all.deb
ce8d934eff99c6ccf9fc75e074a4bdcd1d3a5aa35c74f78266694b0cdde2b272 24488 hol88-contrib-help_2.02.19940316-16_all.deb
0bc62ffe92f8accb75d461ad18364b0b087d4a9d63ae3eff0f7ca321159e3b96 1050524 hol88-doc_2.02.19940316-16_all.deb
Files:
265820818ed02a6737577fcb8e8c19df 1580 math optional hol88_2.02.19940316-16.dsc
9ec547f3252676967111d9e577f19b39 170331 math optional hol88_2.02.19940316-16.debian.tar.gz
43b917a834c466157f7ece11cda5723d 5936262 math optional hol88_2.02.19940316-16_amd64.deb
aca7c077efcb25cfabd9545650fee398 1241510 math optional hol88-library_2.02.19940316-16_amd64.deb
befc5626265a32cddad48fc95eea60f3 296972 math optional hol88-source_2.02.19940316-16_all.deb
df65d500e906629ebe0472ce19149aca 221318 math optional hol88-help_2.02.19940316-16_all.deb
a9bd59909f0bb4e456be88f1ac863982 419294 math optional hol88-library-source_2.02.19940316-16_all.deb
6cb0ae552319f6e0164dd053422fcf74 243430 math optional hol88-library-help_2.02.19940316-16_all.deb
94059cd597f5589823174308cd193848 730110 math optional hol88-contrib-source_2.02.19940316-16_all.deb
19a24ea3e88a0baaf745d3cb48344a69 24488 math optional hol88-contrib-help_2.02.19940316-16_all.deb
4d64e428faf6c753ae481ade742d70b2 1050524 doc optional hol88-doc_2.02.19940316-16_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iEYEARECAAYFAlICvPUACgkQczG1wFfwRdwAQQCeIDFBRdOwapMCpYbXniRSuuHv
X3cAn1XDEPEvVdHymDXgl3LukTj4oAOf
=M7F6
-----END PGP SIGNATURE-----