-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sat, 2 Dec 2006 17:58:39 -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-3 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: 401321 Changes: hol88 (2.02.19940316-3) unstable; urgency=low . * Fix native-reloc target, Closes: #401321 Files: c79084f26293b587cd679b3b4069636e 743 math optional hol88_2.02.19940316-3.dsc 89c79a17c22e90353a3ed8b65c922dbc 18097 math optional hol88_2.02.19940316-3.diff.gz 04a6ef3ec173cc7cb113e16065dc5274 11397506 math optional hol88_2.02.19940316-3_i386.deb d46d922306c73c946f5e18ca211cce43 1231206 math optional hol88-library_2.02.19940316-3_i386.deb 522cf20d99cd7bcd96c7db1a41bce13e 1238780 math optional hol88-source_2.02.19940316-3_all.deb d3d1b13608ac5024a1a2188be86020d9 287758 math optional hol88-help_2.02.19940316-3_all.deb c651f16dc18e6f5a51c7f7039c93667e 562672 math optional hol88-library-source_2.02.19940316-3_all.deb ecfb90e1cc6a6d1bd4a1560751ff8f05 291112 math optional hol88-library-help_2.02.19940316-3_all.deb df3da366d8a9ffb2a96bc823302edd65 976362 math optional hol88-contrib-source_2.02.19940316-3_all.deb d09d32df0e9cb73f53c54575326cefdf 25928 math optional hol88-contrib-help_2.02.19940316-3_all.deb daa542d7ce8527b25d5be95915f2898d 1016066 math optional hol88-doc_2.02.19940316-3_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFch76czG1wFfwRdwRAnsQAKCQP54MedRy4BsHNafPiM1KUc1uTQCfb8xg p4gL0ZTcJy0TuaXyzoSIBNg= =+FRw -----END PGP SIGNATURE----- Accepted: hol88-contrib-help_2.02.19940316-3_all.deb to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-3_all.deb hol88-contrib-source_2.02.19940316-3_all.deb to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-3_all.deb hol88-doc_2.02.19940316-3_all.deb to pool/main/h/hol88/hol88-doc_2.02.19940316-3_all.deb hol88-help_2.02.19940316-3_all.deb to pool/main/h/hol88/hol88-help_2.02.19940316-3_all.deb hol88-library-help_2.02.19940316-3_all.deb to pool/main/h/hol88/hol88-library-help_2.02.19940316-3_all.deb hol88-library-source_2.02.19940316-3_all.deb to pool/main/h/hol88/hol88-library-source_2.02.19940316-3_all.deb hol88-library_2.02.19940316-3_i386.deb to pool/main/h/hol88/hol88-library_2.02.19940316-3_i386.deb hol88-source_2.02.19940316-3_all.deb to pool/main/h/hol88/hol88-source_2.02.19940316-3_all.deb hol88_2.02.19940316-3.diff.gz to pool/main/h/hol88/hol88_2.02.19940316-3.diff.gz hol88_2.02.19940316-3.dsc to pool/main/h/hol88/hol88_2.02.19940316-3.dsc hol88_2.02.19940316-3_i386.deb to pool/main/h/hol88/hol88_2.02.19940316-3_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]