-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 24 Aug 2017 10:59:05 +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 all amd64 Version: 2.02.19940316-34 Distribution: unstable Urgency: high 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 Closes: 871364 Changes: hol88 (2.02.19940316-34) unstable; urgency=high . * build-dep latest gcl * Bug fix: "FTBFS: Error: ERROR "The default dispatch macro signalled an error."", thanks to Lucas Nussbaum (Closes: #871364). Checksums-Sha1: 9faeaf14d589bdeaf86c817cd401c21b7a4450ef 2275 hol88_2.02.19940316-34.dsc 5108ab561a6731672f09916207156ee754072382 131272 hol88_2.02.19940316-34.debian.tar.xz 89391b9c584a0c47c358cdb796798dea51433517 24856 hol88-contrib-help_2.02.19940316-34_all.deb 6a8c86cb0b535fbacc357f49369365298206ec67 729902 hol88-contrib-source_2.02.19940316-34_all.deb dff7d169b81bdbbf17e9ad6116c8f19f7bac3da2 1055732 hol88-doc_2.02.19940316-34_all.deb 5e0100533d130cb6eb9a4737cd7d7efa8d1269e9 216772 hol88-help_2.02.19940316-34_all.deb 5dc5c4c881203f3302673427db7d2b41d23f2f73 238562 hol88-library-help_2.02.19940316-34_all.deb d3582fb3b6e98f654a8ce25ac744abee5fc869d5 419030 hol88-library-source_2.02.19940316-34_all.deb 39067b76a3f16d34dbaeee4652246066ae2c2944 3146478 hol88-library_2.02.19940316-34_amd64.deb da48ab62fa3c3b75d8a70496b950ce1ab47abbd8 295560 hol88-source_2.02.19940316-34_all.deb a14615d892833d8b64941adac1482dc66fca33bd 11133 hol88_2.02.19940316-34_amd64.buildinfo 2f48346503c8d77a03f812847b58349967aecb1f 6417214 hol88_2.02.19940316-34_amd64.deb Checksums-Sha256: eb6a453535d2c8d4347032960b1bb158e8d50b0814394c80e1266acd60118982 2275 hol88_2.02.19940316-34.dsc 1bbdfb8b6e7a0ff63b43092cf3ebbfec90d0e8a722c5bee65dc6d78bf3b4540e 131272 hol88_2.02.19940316-34.debian.tar.xz 8de27e7569cb8d226b545c744f34e5880b9ea258990d58e5b55a99ada3ae8910 24856 hol88-contrib-help_2.02.19940316-34_all.deb 5f379125d0baaf89d74cab25f40b738fc5bcebea1b14bceb9b9ddb86fde5553d 729902 hol88-contrib-source_2.02.19940316-34_all.deb 907ac8e9abf4c10d5f1ce5746b0f0a4da39cbd3f6b6942fb0d72665dc1943c4e 1055732 hol88-doc_2.02.19940316-34_all.deb 1e532755d06c8bf84a735a19c7af4960e8691f806a5319a71dafc1a5565d22b0 216772 hol88-help_2.02.19940316-34_all.deb 516a268884a03523e26189b57a8d9d0b1457911f1deb6709054df69cc3740474 238562 hol88-library-help_2.02.19940316-34_all.deb 493c3474d568bbac543694d1ec66f7d9debfbc483b23b6d2f52f20326c17da37 419030 hol88-library-source_2.02.19940316-34_all.deb aa2af7fbaf51db3b78b81d90e2267d6ef768bdb4c734c9808195285102f7e441 3146478 hol88-library_2.02.19940316-34_amd64.deb 9dfc92e22c7bdd601634d99978f3ca4ddbf2d5814a575d6a49dc521094236ac3 295560 hol88-source_2.02.19940316-34_all.deb 92026621f81550ee4f03a8c6d39c7ccd25034efeb0f2818d989fa63f40a0e2f5 11133 hol88_2.02.19940316-34_amd64.buildinfo ecb1767b57d646d5896a4d7e0ef3a83ad59cdeb846478bbe7c5ce3998cd45f30 6417214 hol88_2.02.19940316-34_amd64.deb Files: 8a01207fb5500afca432d57a9c5a566b 2275 math optional hol88_2.02.19940316-34.dsc 9c5039419cc88c8f0bfe18b083bf88c7 131272 math optional hol88_2.02.19940316-34.debian.tar.xz 1d1d46882eb6460ef4fb356c1fb0ddd6 24856 math optional hol88-contrib-help_2.02.19940316-34_all.deb ffb1bbf0ec7258602b00effbbcb5c8a4 729902 math optional hol88-contrib-source_2.02.19940316-34_all.deb 365f48496a95badac41dfa553b3f5627 1055732 doc optional hol88-doc_2.02.19940316-34_all.deb acbd50ca20de92fc38f7618ef77b620f 216772 math optional hol88-help_2.02.19940316-34_all.deb 5666d4fe2da951d3f28ac741319430ab 238562 math optional hol88-library-help_2.02.19940316-34_all.deb 22e8b353cecbd8ad007f1efa5c742d66 419030 math optional hol88-library-source_2.02.19940316-34_all.deb b1c54794c331ff326f7af60a1d04a068 3146478 math optional hol88-library_2.02.19940316-34_amd64.deb 937ba27cf7ef7f11a7e580f8ce717179 295560 math optional hol88-source_2.02.19940316-34_all.deb 807cb18c3b850eb8a95bdd011e16d6e7 11133 math optional hol88_2.02.19940316-34_amd64.buildinfo 76984f81d6c2d508de34ca83cdc3c2de 6417214 math optional hol88_2.02.19940316-34_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJZns9aAAoJELhFzlEPm3FN3ewP/RU73UQbdi46uIA/3kb1tEqk d1wLKWdbeDDBXCqnjJSeyPrki+s1qf7C/ieGQRmbroVkNA2oMHmCISPjt1NupCy5 2a3EnR+dcjRROB12vwzaOM9DQEGr+GBRIMNFHcvrU5H2H1rDbPRIFg7RezVogkKl juwZ63cwKx8tB/FAzGsmAlGP+8Z9AaO7mUVU3SMIm+64syMtMjnvTcr9IWEzJU4Z N6KC7QCfBAy4UpmysiSK6zN7kJClceW8D8h6lbORFOCgkr9Zt/kij6gA2GQ1BqAg zEXU2kNiYsUFPPTR4WzfrrZFJ9jrvhOSZeeNoUugYjU67/8WgUcAkzsjL4iaVuv5 VvZrf+RncSVf6wIuAbzaPx27tjJZKfNEoTSop9arJWkeGgH0TWmVyzJ8FUPjPubY j5DHke0Wz6f4HugY5hKRph3urpNHnFMgvaxbcwpNcd6IbMbxmqxYbfrUHRZoAj0R VuyyOzT26rk3Gu8/P2mP4GEU1JU1DlZh5FqKLylOd3HL/I4g5+e+Hti4swDuVx7D CUZFH5oEGNLSa+WPxQIGBSkYaGGbgoVQy3xodtA8rC4XY0xoKoPUlHyi7KyWFixV 7GFC66VYZDxdcUl6voKHkL93BfShsFW1G7uXCnH0wJiNX2LfEg0Ax3djMnF7gqLL fb06p7bxgrH6UYKA4KbF =5Ebb -----END PGP SIGNATURE-----