-----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-----