Accepted hol88 2.02.19940316-25 (source amd64 all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 19 Aug 2014 19:21:14 +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-25
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-25) unstable; urgency=medium
.
* build against latest gcl
Checksums-Sha1:
2eb5a851305db88bf4482cb63f627b6f55665082 1635 hol88_2.02.19940316-25.dsc
053bce625de9d37828a7b4c022cd63ab637df56f 130628 hol88_2.02.19940316-25.debian.tar.xz
7cb236b3844888c1333ca76313eeb192fc87b1a1 5959932 hol88_2.02.19940316-25_amd64.deb
a6e0318459c05a3570da6bd6f71f31ef683ef9f1 1293778 hol88-library_2.02.19940316-25_amd64.deb
f4e896cfa0593e6e7766c5afbad0aab3f57a4aee 296564 hol88-source_2.02.19940316-25_all.deb
f6c031c751e1fc677cb638ac7b8eb5df98f83845 225562 hol88-help_2.02.19940316-25_all.deb
67e80631816afbe69c29b3ca5d585bbf1113604a 418418 hol88-library-source_2.02.19940316-25_all.deb
d7876e69630753ae53052a87923487fe829297b3 251854 hol88-library-help_2.02.19940316-25_all.deb
6f9ac0cbdb58754a6758340f8e5f4ab0c8ab7ba7 732936 hol88-contrib-source_2.02.19940316-25_all.deb
fdb6624914a35b429f69ce10ab67dd9ed8322bc7 24902 hol88-contrib-help_2.02.19940316-25_all.deb
2c62a037af5447ea51ee744a6d8b0b0331e5e558 1053388 hol88-doc_2.02.19940316-25_all.deb
Checksums-Sha256:
03c7a28526409c152a3c17fe5d209738a01b28566b379ccb741a6c40751bd775 1635 hol88_2.02.19940316-25.dsc
d829e12acb5370dc4e2b1e445f021a078586e096a9fad1f2cd820d90f9f2d2a2 130628 hol88_2.02.19940316-25.debian.tar.xz
43c39705c426e32a7bcc723b2f33924fdccd2f005d8f318caf63743abfc5517a 5959932 hol88_2.02.19940316-25_amd64.deb
086b4b08f5da1f01916e5ebe013293e375c2e65241492f1446524872ebc55839 1293778 hol88-library_2.02.19940316-25_amd64.deb
9ab1216e31777c54dcc326f507d7928b0ef4c07df949a1993ed701e36310561b 296564 hol88-source_2.02.19940316-25_all.deb
af72cc133b74284ea9635eeed03096c59a1de2f5b1e79728956745cc023cb9aa 225562 hol88-help_2.02.19940316-25_all.deb
0de2505d8c401ef16e5fc3631c3389e6069f2e85478ef1b7ff744868b5117511 418418 hol88-library-source_2.02.19940316-25_all.deb
af48b50967ec763117aa488b40789667cb5c5d3bc406d0272a82cf5e6c947b64 251854 hol88-library-help_2.02.19940316-25_all.deb
8f0edd131280fb641c87a6d95e26c910b1dad52a2e5de5d21a70bec3bbd22eb4 732936 hol88-contrib-source_2.02.19940316-25_all.deb
0476aecda23bf687003e524218aeed2a993416f2f2a1db5b9da924f88482e4ca 24902 hol88-contrib-help_2.02.19940316-25_all.deb
b181c7181c6ab5eb0346c71d1b449b96036582aa563ed029a1ca6b8f58f98b90 1053388 hol88-doc_2.02.19940316-25_all.deb
Files:
a965efe8d37e5ec0d7a4752c5812b401 5959932 math optional hol88_2.02.19940316-25_amd64.deb
427f89d6d38e93073219cb2ffd366a36 1293778 math optional hol88-library_2.02.19940316-25_amd64.deb
0d96da332861ebab6bdcbf428e08bf54 296564 math optional hol88-source_2.02.19940316-25_all.deb
271f512f3a13205faa3ab7f9a81135e5 225562 math optional hol88-help_2.02.19940316-25_all.deb
69e4b9c3e6369f99e803570e14207e98 418418 math optional hol88-library-source_2.02.19940316-25_all.deb
7304ab9242977d9aa153a236f3382456 251854 math optional hol88-library-help_2.02.19940316-25_all.deb
18858b5abb9558cd2f611c82085f3030 732936 math optional hol88-contrib-source_2.02.19940316-25_all.deb
60f88bf5723afa25a810a0362be35a56 24902 math optional hol88-contrib-help_2.02.19940316-25_all.deb
568f4f70725cea372c6fea53ce8ce588 1053388 doc optional hol88-doc_2.02.19940316-25_all.deb
7843e161d1a53e2cbd56e0745554790e 1635 math optional hol88_2.02.19940316-25.dsc
41c556591d1118d7accd4c641101f55d 130628 math optional hol88_2.02.19940316-25.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlPzpSwACgkQczG1wFfwRdz9bQCgkTEw/lh2gNwTMBmm8znHipqF
ia8AoIDYcN4O47FsuP1ygmDaMs8jC/IY
=xSlG
-----END PGP SIGNATURE-----