-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 21 Aug 2014 18:47:39 +0000 Source: hol88 Binary: hol88 hol88-source hol88-help hol88-library hol88-library-source hol88-library-help hol88-contrib-source hol88-contrib-help hol88-doc Architecture: source amd64 all Version: 2.02.19940316-26 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> 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-26) unstable; urgency=medium . * build against latest gcl Checksums-Sha1: f8562ca047483e0dfa189ed3da3c43ef6b0a1d87 1635 hol88_2.02.19940316-26.dsc 3dbefe022f7bf6c7d08996b1cfc3c0e381ad9f9d 130680 hol88_2.02.19940316-26.debian.tar.xz b2d250d91ca482a9ec313ac12b95e864edde2858 5969680 hol88_2.02.19940316-26_amd64.deb fd995af7aa02d0083757da5f6e66f23654f7f3ce 1297918 hol88-library_2.02.19940316-26_amd64.deb 41225c546e441604e0f6aae00d43f74af9796f9e 296608 hol88-source_2.02.19940316-26_all.deb a64cb1268c17d4363dde6385729ed6aca3c2430b 225594 hol88-help_2.02.19940316-26_all.deb 28a53e8c222f35a57c6d301f2cfc122c9262d0ba 418408 hol88-library-source_2.02.19940316-26_all.deb 7e6f81789e52dd5b4ac67f1b2d4caf975b17f728 251812 hol88-library-help_2.02.19940316-26_all.deb 6361d32c3df372ce9f281a8f506c8c622eb939b4 733064 hol88-contrib-source_2.02.19940316-26_all.deb 460fd579b693929d2bf0ac43345c2d4bd47ff897 24918 hol88-contrib-help_2.02.19940316-26_all.deb 3c8741dd93a904bccc3bea4781e243ce0a8ce9bf 1052166 hol88-doc_2.02.19940316-26_all.deb Checksums-Sha256: 95bd760cf1952eed8046d611e15d0c25e1a868313a46884e64181ea4e4e8e0cc 1635 hol88_2.02.19940316-26.dsc 96a98c07e941a5461da99dcd1eca27a9955461b7ab65ce21518ff1fdb079fe7f 130680 hol88_2.02.19940316-26.debian.tar.xz 924492f3b64679943a8130a7bba53495f665289fb54db722ec775b10af642886 5969680 hol88_2.02.19940316-26_amd64.deb be1e51efc4d0ffa714b41493b542906b060bf27182c39728d5165a4d92c23c98 1297918 hol88-library_2.02.19940316-26_amd64.deb 68fa43633e3b2b0670cd8f93b13ad06daa53e1b19171696b61e06cc3bb3041bc 296608 hol88-source_2.02.19940316-26_all.deb 67ba9902a63e0b6161e3ff81764c13bad4fcb8bc65278e39af77599e1cae9378 225594 hol88-help_2.02.19940316-26_all.deb baa47bf0adae3f077f3ca47ab4385000f5ad839dda9c74d7c4f4b649db1bf2ab 418408 hol88-library-source_2.02.19940316-26_all.deb dc8686326ee038e2979368e5ec18aeed148ecc274f5a117623758049fd23435a 251812 hol88-library-help_2.02.19940316-26_all.deb 7b0544efcf55901b21c2955f1e20f3ac726bf8dd5c1e5588a2af9ed193a175fc 733064 hol88-contrib-source_2.02.19940316-26_all.deb bec690efc79963c7cbb2141f3eebe99e3afccbf4b269741e8d5ab4ea833b83bf 24918 hol88-contrib-help_2.02.19940316-26_all.deb 6b25e517e161bc1eea7016bdd1552276489d5cff603bec2ab52cf70173be8070 1052166 hol88-doc_2.02.19940316-26_all.deb Files: d5f115bb0adc7c788e647ed902b1f168 5969680 math optional hol88_2.02.19940316-26_amd64.deb 1afdf644756d237a5fb463639a651152 1297918 math optional hol88-library_2.02.19940316-26_amd64.deb a1e2eed662359493b8fb4af6a5eb2d59 296608 math optional hol88-source_2.02.19940316-26_all.deb e2da6d7d652dc2883bb447178826971a 225594 math optional hol88-help_2.02.19940316-26_all.deb c58eda4e68dc400aeeb015201e3953e8 418408 math optional hol88-library-source_2.02.19940316-26_all.deb ed6605722085eb448f3194cffc140001 251812 math optional hol88-library-help_2.02.19940316-26_all.deb f7afe3e695637bf1bd935a566cf39bd8 733064 math optional hol88-contrib-source_2.02.19940316-26_all.deb 9a8fb9e10e80d144d93230fa4de1c929 24918 math optional hol88-contrib-help_2.02.19940316-26_all.deb a4ed40fd9aa6529efc9b381df6d08724 1052166 doc optional hol88-doc_2.02.19940316-26_all.deb 791eb3f3dae2bc45db084937d1b182b4 1635 math optional hol88_2.02.19940316-26.dsc b70c317cf5cb310d6a881cccfd962ce5 130680 math optional hol88_2.02.19940316-26.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlP2QEwACgkQczG1wFfwRdxh0wCdFESwcTD4fZEmg6rCh2ZiUG08 FF4AnjdsqKCP0qZBX1SwZJJj6xbh7FXy =+13x -----END PGP SIGNATURE-----
