Back to hol88 PTS page

Accepted hol88 2.02.19940316-34 (source all amd64) into unstable



-----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 &quot;The default dispatch macro
     signalled an error.&quot;", 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-----