-----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 <[EMAIL PROTECTED]> Changed-By: Camm Maguire <[EMAIL PROTECTED]> 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]