-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 18 Oct 2006 13:36:15 -0400 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-1 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 Changes: hol88 (2.02.19940316-1) unstable; urgency=low . * Initial release Files: ac0f12c938d4dae66b0a19c081bf7725 743 math optional hol88_2.02.19940316-1.dsc 9cfba3cb495e7261e438f6a9324208e1 10241007 math optional hol88_2.02.19940316.orig.tar.gz 4b035368b9347b32b8984e987ac8b175 15690 math optional hol88_2.02.19940316-1.diff.gz e0383a00a303b5863067038b00b2efed 12038698 math optional hol88_2.02.19940316-1_i386.deb f84303ba6c171b17f1e1d3b1d1fc3d01 1230966 math optional hol88-library_2.02.19940316-1_i386.deb 14cc055df3e54dbef3242f060b410637 1238352 math optional hol88-source_2.02.19940316-1_all.deb 74fa5a4b6cedb14fd99459bfd22da29c 287418 math optional hol88-help_2.02.19940316-1_all.deb 42dd8de4cbb26eb140eb1a47f1ec88f5 562358 math optional hol88-library-source_2.02.19940316-1_all.deb 9496b974a806de3b5d5ba82cd0f45e20 290788 math optional hol88-library-help_2.02.19940316-1_all.deb 70b09034d5cb5ad7dd6260ca7530867e 976110 math optional hol88-contrib-source_2.02.19940316-1_all.deb 1dd26b1fe61d1efeeb9e7aa8d8de9be6 25578 math optional hol88-contrib-help_2.02.19940316-1_all.deb 62db7806e94d13f3d6ecc387cbf6275a 1015770 math optional hol88-doc_2.02.19940316-1_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFPSh/czG1wFfwRdwRAjgyAJ4kQh/752F6R7ENvcTrWIjDRHwoQwCgunYe IxJEseA9eabB6J4T24U+o7k= =WjEk -----END PGP SIGNATURE----- Accepted: hol88-contrib-help_2.02.19940316-1_all.deb to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-1_all.deb hol88-contrib-source_2.02.19940316-1_all.deb to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-1_all.deb hol88-doc_2.02.19940316-1_all.deb to pool/main/h/hol88/hol88-doc_2.02.19940316-1_all.deb hol88-help_2.02.19940316-1_all.deb to pool/main/h/hol88/hol88-help_2.02.19940316-1_all.deb hol88-library-help_2.02.19940316-1_all.deb to pool/main/h/hol88/hol88-library-help_2.02.19940316-1_all.deb hol88-library-source_2.02.19940316-1_all.deb to pool/main/h/hol88/hol88-library-source_2.02.19940316-1_all.deb hol88-library_2.02.19940316-1_i386.deb to pool/main/h/hol88/hol88-library_2.02.19940316-1_i386.deb hol88-source_2.02.19940316-1_all.deb to pool/main/h/hol88/hol88-source_2.02.19940316-1_all.deb hol88_2.02.19940316-1.diff.gz to pool/main/h/hol88/hol88_2.02.19940316-1.diff.gz hol88_2.02.19940316-1.dsc to pool/main/h/hol88/hol88_2.02.19940316-1.dsc hol88_2.02.19940316-1_i386.deb to pool/main/h/hol88/hol88_2.02.19940316-1_i386.deb hol88_2.02.19940316.orig.tar.gz to pool/main/h/hol88/hol88_2.02.19940316.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
