Accepted hol88 2.02.19940316-7 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 03 Dec 2007 09:18:22 -0500
Source: hol88
Binary: hol88-library-help hol88-doc hol88-contrib-help hol88-help hol88-library hol88-library-source hol88 hol88-source hol88-contrib-source
Architecture: source all i386
Version: 2.02.19940316-7
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
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: 448843
Changes:
hol88 (2.02.19940316-7) unstable; urgency=low
.
* Bug fix: "hol88: empty package on arm", thanks to Niko Tyni (Closes:
#448843). Rebuild against latest gcl
Files:
88ee4076e0f05edb81f228c396bf5a14 841 math optional hol88_2.02.19940316-7.dsc
383a5819fb5df69c57d54c1f09965796 19094 math optional hol88_2.02.19940316-7.diff.gz
cc9534c13ff04dd5c5a45b3362b1a4f6 9731022 math optional hol88_2.02.19940316-7_i386.deb
1c402c9a91c27f75c6a42c82bd2eace3 1209264 math optional hol88-library_2.02.19940316-7_i386.deb
c65edf7e80f497842879a71c02a481ca 274514 math optional hol88-source_2.02.19940316-7_all.deb
1829e8106e0e17c66153b530fe8e6257 288196 math optional hol88-help_2.02.19940316-7_all.deb
a67bc1b7228f83d151be67198d26e89b 563138 math optional hol88-library-source_2.02.19940316-7_all.deb
e201658e085184a0be1556183f6b8893 291508 math optional hol88-library-help_2.02.19940316-7_all.deb
31f80ecc921a1f4b277a2ede4a6f1aa9 976704 math optional hol88-contrib-source_2.02.19940316-7_all.deb
80f54779972cfcfd72392b9236c3d182 26400 math optional hol88-contrib-help_2.02.19940316-7_all.deb
8c4f8e544112c259d8bc677c1b89460b 1019632 math optional hol88-doc_2.02.19940316-7_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHVBHBczG1wFfwRdwRAuMVAKCfl66rBES7qOP/kqLbyCk1tLH8BgCguYoC
qNnzvZT0WxInYCC9FK7ZEt8=
=dNmG
-----END PGP SIGNATURE-----
Accepted:
hol88-contrib-help_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-7_all.deb
hol88-contrib-source_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-7_all.deb
hol88-doc_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-doc_2.02.19940316-7_all.deb
hol88-help_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-help_2.02.19940316-7_all.deb
hol88-library-help_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-library-help_2.02.19940316-7_all.deb
hol88-library-source_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-library-source_2.02.19940316-7_all.deb
hol88-library_2.02.19940316-7_i386.deb
to pool/main/h/hol88/hol88-library_2.02.19940316-7_i386.deb
hol88-source_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-source_2.02.19940316-7_all.deb
hol88_2.02.19940316-7.diff.gz
to pool/main/h/hol88/hol88_2.02.19940316-7.diff.gz
hol88_2.02.19940316-7.dsc
to pool/main/h/hol88/hol88_2.02.19940316-7.dsc
hol88_2.02.19940316-7_i386.deb
to pool/main/h/hol88/hol88_2.02.19940316-7_i386.deb