Accepted hol88 2.02.19940316-21 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 16 Jul 2014 21:12:45 +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-21
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-21) unstable; urgency=medium
.
* build against latest gcl
Checksums-Sha1:
805b3b9aadc19c73c18a568ed8760b533a0e2633 1635 hol88_2.02.19940316-21.dsc
ae6a869e681200be02bf8a465761cc43184f169c 130624 hol88_2.02.19940316-21.debian.tar.xz
0a80c1eeeae187decbb89f191ba2f8b07369d599 5927452 hol88_2.02.19940316-21_amd64.deb
2c5f7096e92406c4ca3ad8343503b262b9dee73c 1297432 hol88-library_2.02.19940316-21_amd64.deb
0849bb1b9c70018aaeaeabaaa5c739501b1511db 296470 hol88-source_2.02.19940316-21_all.deb
35ddd935e8ad8c3941b214d6bac5ae42060f9bdc 225558 hol88-help_2.02.19940316-21_all.deb
144e9e5e7f587ca890d9a02cf6b137981fded5df 418342 hol88-library-source_2.02.19940316-21_all.deb
ad4d52d901c5c9a3cd933c83bf6122442ca13e2c 251750 hol88-library-help_2.02.19940316-21_all.deb
a38a17c916682f3fe154cffc557240eb30c9092e 732842 hol88-contrib-source_2.02.19940316-21_all.deb
1df193ce5ec379bb7c3de8ed3b1cdf33efadb56d 24828 hol88-contrib-help_2.02.19940316-21_all.deb
c6423fbde732db044b51ddaa541155bcbc56a44f 1050628 hol88-doc_2.02.19940316-21_all.deb
Checksums-Sha256:
4755d03290300de1eab3c24c9f62448fa17a4735573120d1f35da5370c0d94bb 1635 hol88_2.02.19940316-21.dsc
6bc63243b9f4a02cc4a5e2943537ca90ad414a897cb6a81769e4435e443c194e 130624 hol88_2.02.19940316-21.debian.tar.xz
e856a1ad3341fed9d6346a571c0cd5737c56aae3b2a7066b05b1b27d3e22fc14 5927452 hol88_2.02.19940316-21_amd64.deb
9dc938203426e74dc5dcb3b2941ea7a36b5e4c57d95a21d8d55561c1088654ee 1297432 hol88-library_2.02.19940316-21_amd64.deb
64c8ded74f8c1932d383b7f255f57ac965cf68d551555a2f831b2d1d3d188e79 296470 hol88-source_2.02.19940316-21_all.deb
4740d511ee1feed550481f01191b8331256160c69f769a892df60968526e8b87 225558 hol88-help_2.02.19940316-21_all.deb
132b396b6938597fa6a46dc800ae7b4bb6fed9299831ab83dd4cebb0c703e01b 418342 hol88-library-source_2.02.19940316-21_all.deb
c0c312f5c4fcb7bbe8114a48ec554c6cac1239d478a64a5ffc8dd9e8d4c20c65 251750 hol88-library-help_2.02.19940316-21_all.deb
78b9c28d561ad1c968eedf72276c5c29ae5d6750c85a8929f1f295f4dac59734 732842 hol88-contrib-source_2.02.19940316-21_all.deb
ca0b59b11f5eff3f6cccf4b9e5dc8f7cc0737ae6363c9ef4c2a7fde0e1795fb8 24828 hol88-contrib-help_2.02.19940316-21_all.deb
8ccb11b79b73399822cb703b2b461e57b2c6f7789eff2cb0604f8dfe5f7b13fa 1050628 hol88-doc_2.02.19940316-21_all.deb
Files:
2dd70ebfe75f66b4a19c69b3fac2642e 5927452 math optional hol88_2.02.19940316-21_amd64.deb
035c5e95a98747f417dea22e731800b7 1297432 math optional hol88-library_2.02.19940316-21_amd64.deb
775252c5f6adc740c82734e7787c40a5 296470 math optional hol88-source_2.02.19940316-21_all.deb
3daa3cfdf21c9194dc0085753c12741c 225558 math optional hol88-help_2.02.19940316-21_all.deb
bf21ca3535080d2fb9e700758d3048c7 418342 math optional hol88-library-source_2.02.19940316-21_all.deb
1f0065e372f460633416535b455a7619 251750 math optional hol88-library-help_2.02.19940316-21_all.deb
5af1104b42f90cf88351fa31fe98ef64 732842 math optional hol88-contrib-source_2.02.19940316-21_all.deb
54e72732b9eab07e40766f7fe02c24b3 24828 math optional hol88-contrib-help_2.02.19940316-21_all.deb
0a8d1f16f0da7db4ca0a032b47a04c9d 1050628 doc optional hol88-doc_2.02.19940316-21_all.deb
3d8ca5d9f3b57dd4ea1606529ee18e2c 1635 math optional hol88_2.02.19940316-21.dsc
2a04497b4ee2bcbea39ab0d006948239 130624 math optional hol88_2.02.19940316-21.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlPG7EMACgkQczG1wFfwRdysaQCaAhz23bRFUGIuDNniH285FyyB
5yYAnirZTia9cl9iueq1teRrqSDA4XQP
=5JpJ
-----END PGP SIGNATURE-----