Accepted hol88 2.02.19940316-18 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 12 Oct 2013 14:23:29 +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-18
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-18) unstable; urgency=low
.
* build against latest gcl
Checksums-Sha1:
aee32b15914528e6427ee3b2ace931a0921ebee8 1574 hol88_2.02.19940316-18.dsc
d663758024b682fd98412aa488604cc11f60d42b 170114 hol88_2.02.19940316-18.debian.tar.gz
8f3dfc6b4dbeb81cfb5459246eb0237568acd399 6168206 hol88_2.02.19940316-18_amd64.deb
73952f2dd3f497199ff0a8299b5ce318cdf03d10 1311468 hol88-library_2.02.19940316-18_amd64.deb
481ea8f7184cc4613f805578a77e349159418827 296980 hol88-source_2.02.19940316-18_all.deb
5cdd4cb779700596e90dc232168d7bf27bb64074 221406 hol88-help_2.02.19940316-18_all.deb
2f2a5fc6d39679efefb08f7ababece766769e4af 419338 hol88-library-source_2.02.19940316-18_all.deb
bb390d3132ba6e9d55c9f793c2bdccf1ea9504f3 243348 hol88-library-help_2.02.19940316-18_all.deb
f6f54b6a92b3a81f0e1fcfcad76c0621c0d0296c 730232 hol88-contrib-source_2.02.19940316-18_all.deb
747c50f86aa0a0535c68cd4b3bfd67f3a508c7ec 24528 hol88-contrib-help_2.02.19940316-18_all.deb
ab9b32f8ef572ef019ed8db8d548554022808846 1052076 hol88-doc_2.02.19940316-18_all.deb
Checksums-Sha256:
002f461d01936f47dc22e17d06c1edd01c198093957026683c1db5f66ad20e61 1574 hol88_2.02.19940316-18.dsc
5df7f93a4d5a2ed827c250bc8e4811dbe3e53aaead787014bf208f79927179fe 170114 hol88_2.02.19940316-18.debian.tar.gz
4b8165178512218c57f9245eabe928551bb3186cadd0c3ce1850d4563f4fd9a7 6168206 hol88_2.02.19940316-18_amd64.deb
a563b4121c7937168b392d74964802b662b34e0024abf3c5c8f747c00a03e1de 1311468 hol88-library_2.02.19940316-18_amd64.deb
c8aac99b60790873ec04e6831d696c74e846d117300f887a3daa5876640d9fb9 296980 hol88-source_2.02.19940316-18_all.deb
20dd845d8526575a094b4e44b846c08806d8b6cc9d7175824da9a93ca29661a9 221406 hol88-help_2.02.19940316-18_all.deb
ba84a863efb083f10db6f18cad647e956c82cbc2f237eb470150839283642894 419338 hol88-library-source_2.02.19940316-18_all.deb
3e2fce9e6be1fb3053d6b6f89702ba0408d9ba508441ac095f9008547b251ecf 243348 hol88-library-help_2.02.19940316-18_all.deb
1af49a8c91eef1461388b39464129afe4b2a6ae51e353c88551571cd7953b5a5 730232 hol88-contrib-source_2.02.19940316-18_all.deb
51b5e8ef62f28273421a83601f7115d1f57a7bf5a16a14256135900f24493604 24528 hol88-contrib-help_2.02.19940316-18_all.deb
1b72befc1970558cfe21ea9e0a44255a24c5a29c109bf6ddee1eb65cce38afe5 1052076 hol88-doc_2.02.19940316-18_all.deb
Files:
bb42bf5041bca7b6813740c3730bcbc4 1574 math optional hol88_2.02.19940316-18.dsc
973e776d16f86ed2a48efa12e618694e 170114 math optional hol88_2.02.19940316-18.debian.tar.gz
23a880210bdd8ed5972841ac36db0b83 6168206 math optional hol88_2.02.19940316-18_amd64.deb
f41beb336635917a974b48a5a7d3a227 1311468 math optional hol88-library_2.02.19940316-18_amd64.deb
372b7f825ea1892a6198c1b98d5145bd 296980 math optional hol88-source_2.02.19940316-18_all.deb
d16a7510771ea1cd23af37212957f52e 221406 math optional hol88-help_2.02.19940316-18_all.deb
3787b6b64782564bdd0364865e433e8c 419338 math optional hol88-library-source_2.02.19940316-18_all.deb
8da87bf996473288299bd871797a4f3e 243348 math optional hol88-library-help_2.02.19940316-18_all.deb
4ba125cd8fe78cc5e575493712acd8fc 730232 math optional hol88-contrib-source_2.02.19940316-18_all.deb
15424cc077cafe9f36dedca476f1c30f 24528 math optional hol88-contrib-help_2.02.19940316-18_all.deb
2d9abe7e75eb120f7f387f1309f4416e 1052076 doc optional hol88-doc_2.02.19940316-18_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iEYEARECAAYFAlJZX0AACgkQczG1wFfwRdwtmACcC4K2lrejaSlcBvLePKnBXvP3
EfEAn2lzIYV8Zn0roN3tprYjTzRDbcop
=JUi+
-----END PGP SIGNATURE-----
Reply to: