-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 4 Dec 2006 10:39:08 -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-5 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-5) unstable; urgency=low . * Fix patch mechanism for non native relocs Files: f116d42f5b8f0cc17bf044bcb0a3df36 834 math optional hol88_2.02.19940316-5.dsc e8023179794d90511e0e205123414124 18183 math optional hol88_2.02.19940316-5.diff.gz b5b000fa9e9b9b53cf37440936762825 11406796 math optional hol88_2.02.19940316-5_i386.deb ca1e9cd28e5cde82e7d9acc00381e00b 1231594 math optional hol88-library_2.02.19940316-5_i386.deb 308596d726e502aba551bd40ad7158ce 1238826 math optional hol88-source_2.02.19940316-5_all.deb ee95ab61ba919813e0e2a1e78dfed991 287850 math optional hol88-help_2.02.19940316-5_all.deb 7e9fd3848a489a4b7f9d1e2910f210f0 562764 math optional hol88-library-source_2.02.19940316-5_all.deb 38fd29904b38e62392209c1d4b6d9011 291204 math optional hol88-library-help_2.02.19940316-5_all.deb 377b9496aed710fd2dd12bdf56dc360b 976454 math optional hol88-contrib-source_2.02.19940316-5_all.deb 527627adccae1ff3b1206e5cd9e8c64c 26028 math optional hol88-contrib-help_2.02.19940316-5_all.deb af49a88e0693ca1d3606de9329ce6e15 1016126 math optional hol88-doc_2.02.19940316-5_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFdEjaczG1wFfwRdwRAniRAKCtww4A+/9lqRugUsfRRzvzaN2rJwCghR0y 3Gq2WPKXsM3QUB4YgP6AizY= =u1gp -----END PGP SIGNATURE----- Accepted: hol88-contrib-help_2.02.19940316-5_all.deb to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-5_all.deb hol88-contrib-source_2.02.19940316-5_all.deb to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-5_all.deb hol88-doc_2.02.19940316-5_all.deb to pool/main/h/hol88/hol88-doc_2.02.19940316-5_all.deb hol88-help_2.02.19940316-5_all.deb to pool/main/h/hol88/hol88-help_2.02.19940316-5_all.deb hol88-library-help_2.02.19940316-5_all.deb to pool/main/h/hol88/hol88-library-help_2.02.19940316-5_all.deb hol88-library-source_2.02.19940316-5_all.deb to pool/main/h/hol88/hol88-library-source_2.02.19940316-5_all.deb hol88-library_2.02.19940316-5_i386.deb to pool/main/h/hol88/hol88-library_2.02.19940316-5_i386.deb hol88-source_2.02.19940316-5_all.deb to pool/main/h/hol88/hol88-source_2.02.19940316-5_all.deb hol88_2.02.19940316-5.diff.gz to pool/main/h/hol88/hol88_2.02.19940316-5.diff.gz hol88_2.02.19940316-5.dsc to pool/main/h/hol88/hol88_2.02.19940316-5.dsc hol88_2.02.19940316-5_i386.deb to pool/main/h/hol88/hol88_2.02.19940316-5_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]