Accepted hol88 2.02.19940316-20 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 02 Jul 2014 20:34:24 +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-20
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-20) unstable; urgency=low
.
* build against latest gcl
Checksums-Sha1:
04cac0b49b6e84b6b961409be996b9d9b0011761 1634 hol88_2.02.19940316-20.dsc
1f5e1e16822f98977cea7e4a18972e278d9c9a7a 130600 hol88_2.02.19940316-20.debian.tar.xz
b8f8ce29211ed9cbbcc692a320c671df925b38d8 5932630 hol88_2.02.19940316-20_amd64.deb
9c6deed65aff833fc1bf5c5ed42d98a7e114aa54 1290040 hol88-library_2.02.19940316-20_amd64.deb
2498c99dca0c953386d16ed7d7e75c355988d50f 296522 hol88-source_2.02.19940316-20_all.deb
f2710761d201372a3886477033e051352ddd35f9 225506 hol88-help_2.02.19940316-20_all.deb
c99dea5f6adef0cdabefc3a6265bac876e608dae 418362 hol88-library-source_2.02.19940316-20_all.deb
af751a21988fbe4f3d48a25d704e33a681e4c502 251750 hol88-library-help_2.02.19940316-20_all.deb
96e70823e94fb4e74de69b67fb8b3cadff13bde0 732820 hol88-contrib-source_2.02.19940316-20_all.deb
c4dbde48e4abc87595c2f6cd1cdf2e4209ccd4ca 24828 hol88-contrib-help_2.02.19940316-20_all.deb
e7ce5d6a33693a4ee045b2d0ac5ed27397f436df 1052154 hol88-doc_2.02.19940316-20_all.deb
Checksums-Sha256:
3b88b07f9c51100d70164e26e52d7ca7b9e4ad56b5ad8a9b50d94f85d9c2a87b 1634 hol88_2.02.19940316-20.dsc
c0cc2658ee23936b0521198d28a67cb443efa6a6de66aebd214bde67c371f7d0 130600 hol88_2.02.19940316-20.debian.tar.xz
64f9981a2b2d1b260179adacf5f2b8ced95fc9a2fb451d749c7469d7a774c67a 5932630 hol88_2.02.19940316-20_amd64.deb
0901f9b2039ecbf0148b72461254e8649f913416e905c96bf12ac8c42bd3c2e7 1290040 hol88-library_2.02.19940316-20_amd64.deb
6a8317bb7159ea7cf26d6a6516f9c304c7c04d18e21da242d18ca2de2d40777d 296522 hol88-source_2.02.19940316-20_all.deb
5aee4314f884d9e8db110dcdbac408533eb8f94fbbad36f40cf006c63018d36c 225506 hol88-help_2.02.19940316-20_all.deb
091eaae6f4d6fa36eb720f71e3c3e0af1e10e2daaa6bb62e6e5969bfb7a810ed 418362 hol88-library-source_2.02.19940316-20_all.deb
93a8541f372c2b1eebcd7404ee628d1c9bc3d160b771fe38140b2a853656dcc8 251750 hol88-library-help_2.02.19940316-20_all.deb
a6cc9d979f3cc78a967385b9fb08637e3a01e14043048119841e2aee2ee16d37 732820 hol88-contrib-source_2.02.19940316-20_all.deb
bdf6b529793f8793e99144f47d681dc2a955d55c71fa301c3059aa18a7a2e3d5 24828 hol88-contrib-help_2.02.19940316-20_all.deb
0dcd25ad55643aa479446e93c03ac3d09431386db7b3e4ac212e357457970916 1052154 hol88-doc_2.02.19940316-20_all.deb
Files:
4cdd676348b3eb208fee4ff65edb92da 5932630 math optional hol88_2.02.19940316-20_amd64.deb
ee0e9f7588d53ea2fa6b4109bdbc6d57 1290040 math optional hol88-library_2.02.19940316-20_amd64.deb
bd93ecb026863f7c0460282c06d459eb 296522 math optional hol88-source_2.02.19940316-20_all.deb
50ca21ab0f4f7a67e8f63fea6f2b33c7 225506 math optional hol88-help_2.02.19940316-20_all.deb
dac49d5f6390c9123483a04888557d69 418362 math optional hol88-library-source_2.02.19940316-20_all.deb
aac55a9860a4b3b6bde0e0bcf5a0f318 251750 math optional hol88-library-help_2.02.19940316-20_all.deb
488aaf74e44e8912802ea4e1f88060ae 732820 math optional hol88-contrib-source_2.02.19940316-20_all.deb
acc1b5af534b80ff530cd4b7fa34754e 24828 math optional hol88-contrib-help_2.02.19940316-20_all.deb
4a1ca5b3e70726a13c7501d27956e6d3 1052154 doc optional hol88-doc_2.02.19940316-20_all.deb
34761568a440869fef8c145e2b2e71fb 1634 math optional hol88_2.02.19940316-20.dsc
293d9923b1b77bcacbb94d43235a5456 130600 math optional hol88_2.02.19940316-20.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlO0qGcACgkQczG1wFfwRdzkgwCfdWHemi7tg2acxR+yAGIAUTBu
Q3gAn1AaSX40WGSB7XGmKP4iOxxuVvfN
=2O9k
-----END PGP SIGNATURE-----