-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 21 Oct 2010 19:59:51 +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 i386 all Version: 2.02.19940316-12 Distribution: unstable Urgency: low 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-12) unstable; urgency=low . * remove stray raw_*_map files Checksums-Sha1: aa488e4b87ea581021e31551cf0f5a52d9b50047 1242 hol88_2.02.19940316-12.dsc 80d04cd4542e7c6daba7e67d8d08a74474bd415d 118576 hol88_2.02.19940316-12.diff.gz 30f24ea5570e7050419ec6045c89285ee7ef610e 12048334 hol88_2.02.19940316-12_i386.deb aa533c3f2834f70ae09f838cf96b25c06ffd90cb 4687114 hol88-library_2.02.19940316-12_i386.deb 4ab1fc75bc9002d75ce5741ede7751b31dcebdfd 377216 hol88-source_2.02.19940316-12_all.deb 9c58910886e8ab62e0ef77f220991f5a51c3810b 322814 hol88-help_2.02.19940316-12_all.deb ea3b5b8df7013ac6092bb7dede3be4519b61f1af 566892 hol88-library-source_2.02.19940316-12_all.deb 64beec53a03e5dad9794ca63b9aef024924d9c99 311030 hol88-library-help_2.02.19940316-12_all.deb 94daa5200197981db24482fbe678bf8c78654ed9 1009438 hol88-contrib-source_2.02.19940316-12_all.deb e760bb57e1f32da1728dc44c10e941f717d9d8fe 26992 hol88-contrib-help_2.02.19940316-12_all.deb d6a734db6dd2cd19f61da13b88e48da1b9eb58b1 1056200 hol88-doc_2.02.19940316-12_all.deb Checksums-Sha256: 073cf77a7cccb9d8a5679df06461525f4fa3cb34284965d829f519b996a1cbfd 1242 hol88_2.02.19940316-12.dsc e67b7d4da7237aff7e72c7bf7c3db9388b2ea866b2a16d668ae3b7b033f01ac8 118576 hol88_2.02.19940316-12.diff.gz 55eff6e284018501e809173a5036f7c98258c0762a4f031d4f9e4dcf54aa5694 12048334 hol88_2.02.19940316-12_i386.deb bf71ff17108baf779c93edf603e5345d1558a60523646be9aa66d3ff7b1240da 4687114 hol88-library_2.02.19940316-12_i386.deb 5685d05ffd115e99d7e5fbf076cd25f32b42b3f4b58d968f8b9a57a9775ce9a6 377216 hol88-source_2.02.19940316-12_all.deb c29ddb273cfbbaf8aef0c01d9cc4844951a71b660ff631dab67418a90cdc68b8 322814 hol88-help_2.02.19940316-12_all.deb 0e85a2d5ab84071719ef8ba39e40d097e797d8051cb41b79e4e0a2876664a646 566892 hol88-library-source_2.02.19940316-12_all.deb 5698b0560322bc09510ff9a541b43a745497bc4f98b7c24dc6b4168b13943048 311030 hol88-library-help_2.02.19940316-12_all.deb 23eb214e052704fa8f8f1f24b5fc00bdb40c312bc4c0ed4a9c3d499501a2af60 1009438 hol88-contrib-source_2.02.19940316-12_all.deb 512f3e4394545a6a298dc5bf0b145e73d846c93d53fe6f4f901916d5ed6aeb56 26992 hol88-contrib-help_2.02.19940316-12_all.deb 69276f1c336b0a34f6c287e13bcfbb82db0ac3930f5241d7e7de103912e755c4 1056200 hol88-doc_2.02.19940316-12_all.deb Files: 766230ac6b611f8561db5f7f5e727e63 1242 math optional hol88_2.02.19940316-12.dsc d4d25f00640792bd458b103104c0e3d0 118576 math optional hol88_2.02.19940316-12.diff.gz 9f130702b93f931d59523573f31d29eb 12048334 math optional hol88_2.02.19940316-12_i386.deb 37966832f52acf744badaca5c5a05f63 4687114 math optional hol88-library_2.02.19940316-12_i386.deb 3a3b1253d6ea5b1d0bd84fe5fa642c78 377216 math optional hol88-source_2.02.19940316-12_all.deb 03bcd65968df3739e27fe6c50b78ab35 322814 math optional hol88-help_2.02.19940316-12_all.deb 136032f665c16adccd7bdfd52c61033f 566892 math optional hol88-library-source_2.02.19940316-12_all.deb b7547ac2993fa4654dd1bf041cf5e534 311030 math optional hol88-library-help_2.02.19940316-12_all.deb f510729876b76231b9dc613384dc5536 1009438 math optional hol88-contrib-source_2.02.19940316-12_all.deb 723f6768bd17aabd139b3c2abbd2d0aa 26992 math optional hol88-contrib-help_2.02.19940316-12_all.deb 221e74a64334cde19b5f258881d480a8 1056200 math optional hol88-doc_2.02.19940316-12_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkzAnesACgkQczG1wFfwRdxVTwCguNASqwPzd6b2uRgtlKXGjATC BaUAn0PFk7/4rOm8zqmPCkxCSxiHOX8X =sgF3 -----END PGP SIGNATURE----- Accepted: hol88-contrib-help_2.02.19940316-12_all.deb to main/h/hol88/hol88-contrib-help_2.02.19940316-12_all.deb hol88-contrib-source_2.02.19940316-12_all.deb to main/h/hol88/hol88-contrib-source_2.02.19940316-12_all.deb hol88-doc_2.02.19940316-12_all.deb to main/h/hol88/hol88-doc_2.02.19940316-12_all.deb hol88-help_2.02.19940316-12_all.deb to main/h/hol88/hol88-help_2.02.19940316-12_all.deb hol88-library-help_2.02.19940316-12_all.deb to main/h/hol88/hol88-library-help_2.02.19940316-12_all.deb hol88-library-source_2.02.19940316-12_all.deb to main/h/hol88/hol88-library-source_2.02.19940316-12_all.deb hol88-library_2.02.19940316-12_i386.deb to main/h/hol88/hol88-library_2.02.19940316-12_i386.deb hol88-source_2.02.19940316-12_all.deb to main/h/hol88/hol88-source_2.02.19940316-12_all.deb hol88_2.02.19940316-12.diff.gz to main/h/hol88/hol88_2.02.19940316-12.diff.gz hol88_2.02.19940316-12.dsc to main/h/hol88/hol88_2.02.19940316-12.dsc hol88_2.02.19940316-12_i386.deb to main/h/hol88/hol88_2.02.19940316-12_i386.deb