-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 05 Nov 2010 16:09:55 +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-13 Distribution: unstable Urgency: low Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Maguire <c...@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-13) unstable; urgency=low . * build depend on latest gcl Checksums-Sha1: 2f4b0dbe2e2e39aeb86037ec7d55d4c48b84505b 1242 hol88_2.02.19940316-13.dsc 474b660b2b694fb20d54e18c9b6e77177aa11097 118556 hol88_2.02.19940316-13.diff.gz 5fcdc22d6d36f16899a60c3a40cf69097ed58081 12059526 hol88_2.02.19940316-13_i386.deb a3c69c2e2a660181309d192d06422b00a671cdc4 4687024 hol88-library_2.02.19940316-13_i386.deb 17f71984ec9991acf6abac1d207c9acf443c8b6c 377224 hol88-source_2.02.19940316-13_all.deb c62130b3feb449608f00df978a39c5b23c480623 322842 hol88-help_2.02.19940316-13_all.deb 5b24a113a9f34cb29ee252cc85693b72be9b3b91 566936 hol88-library-source_2.02.19940316-13_all.deb e2f5f34a8bdd51b82cd9911b929945537f709c50 311062 hol88-library-help_2.02.19940316-13_all.deb d61407318e8df20e64519528711b07a9952d3f65 1009418 hol88-contrib-source_2.02.19940316-13_all.deb 05a73744caf507825b334c88a11ba6cf02662218 27018 hol88-contrib-help_2.02.19940316-13_all.deb e107c7c721c16b5376011282994f61f0e300b347 1055440 hol88-doc_2.02.19940316-13_all.deb Checksums-Sha256: 12e1460d2cdfa3e4811de1799627dac0b2a713da266daf4abb5f65c2dffd50ae 1242 hol88_2.02.19940316-13.dsc 7d60ea98039c2cdf655889644991344903f540752b43bbf8bfccfdc59a07b103 118556 hol88_2.02.19940316-13.diff.gz b7d3e3f2a6f65fd94c5677f8e4d14b177318b5ca2bc5bd6c9d92fc7cd7dd2906 12059526 hol88_2.02.19940316-13_i386.deb 94f9ea897cbde31a77f02b154b74c8182711c99df7370acf4ae2bf3c310be49a 4687024 hol88-library_2.02.19940316-13_i386.deb 4ad45ccf2faba79a6fa44f17d29c7353fe483c5cc826cfca666e0eb29475558d 377224 hol88-source_2.02.19940316-13_all.deb 03b4ca24c9c60b6138f098e658d2fe73554301e17126390dcfb800b86ab45cdb 322842 hol88-help_2.02.19940316-13_all.deb d8092fae590205b959942aa961e5724123dd714fb759bdbab1ff060153f014ce 566936 hol88-library-source_2.02.19940316-13_all.deb 10127507966882c7729d5f9ebeb914704a8d4e18d99350831d756d2694dc5eaa 311062 hol88-library-help_2.02.19940316-13_all.deb 7f5b3bdef6fcb2d82ae5b6a3b1bfbf0b4e98e9a59c95f4f5a2d039c4df132f44 1009418 hol88-contrib-source_2.02.19940316-13_all.deb a09f58f63384c260b4702370f4881c17e4bbc9ae27bd4aecbaa1d2c080b51795 27018 hol88-contrib-help_2.02.19940316-13_all.deb 829cc2f73b2b1ce61edcb1478cb5d0896cd43824d825ba51ce2e99c756eea5c5 1055440 hol88-doc_2.02.19940316-13_all.deb Files: 53158b7f68d7aa20d584e893bb28b4c1 1242 math optional hol88_2.02.19940316-13.dsc 5403279510cbfefa840e0299cc04bb4a 118556 math optional hol88_2.02.19940316-13.diff.gz 8c7fc70c01fbfd89c8fe9c32360a88ab 12059526 math optional hol88_2.02.19940316-13_i386.deb 675b78b57793a3bd8bbb12c92caab71a 4687024 math optional hol88-library_2.02.19940316-13_i386.deb 140a9da834ea418883130ca93a8578b8 377224 math optional hol88-source_2.02.19940316-13_all.deb ebc0efdfaf0fcbb64da2107698a13202 322842 math optional hol88-help_2.02.19940316-13_all.deb b65cb68bbbe6596a69db1b6511cea979 566936 math optional hol88-library-source_2.02.19940316-13_all.deb 2e7acb546365805defb84580c32236a6 311062 math optional hol88-library-help_2.02.19940316-13_all.deb 1e29f7ff5a98c6394f24d3a25bc9971b 1009418 math optional hol88-contrib-source_2.02.19940316-13_all.deb 4dc9b13729c8958f01f1e9adaff3c885 27018 math optional hol88-contrib-help_2.02.19940316-13_all.deb 41db8bb54ec83f5fe0b72d67e4ba6503 1055440 math optional hol88-doc_2.02.19940316-13_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkzULl4ACgkQczG1wFfwRdxi2gCeJvCTWQL5kNisKjaCTsgmA62I AjwAnjT4CluART+0hY6S2NhrdvTS82Wu =GPYo -----END PGP SIGNATURE----- Accepted: hol88-contrib-help_2.02.19940316-13_all.deb to main/h/hol88/hol88-contrib-help_2.02.19940316-13_all.deb hol88-contrib-source_2.02.19940316-13_all.deb to main/h/hol88/hol88-contrib-source_2.02.19940316-13_all.deb hol88-doc_2.02.19940316-13_all.deb to main/h/hol88/hol88-doc_2.02.19940316-13_all.deb hol88-help_2.02.19940316-13_all.deb to main/h/hol88/hol88-help_2.02.19940316-13_all.deb hol88-library-help_2.02.19940316-13_all.deb to main/h/hol88/hol88-library-help_2.02.19940316-13_all.deb hol88-library-source_2.02.19940316-13_all.deb to main/h/hol88/hol88-library-source_2.02.19940316-13_all.deb hol88-library_2.02.19940316-13_i386.deb to main/h/hol88/hol88-library_2.02.19940316-13_i386.deb hol88-source_2.02.19940316-13_all.deb to main/h/hol88/hol88-source_2.02.19940316-13_all.deb hol88_2.02.19940316-13.diff.gz to main/h/hol88/hol88_2.02.19940316-13.diff.gz hol88_2.02.19940316-13.dsc to main/h/hol88/hol88_2.02.19940316-13.dsc hol88_2.02.19940316-13_i386.deb to main/h/hol88/hol88_2.02.19940316-13_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1peq9r-0001dv...@franck.debian.org