-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 03 Jan 2010 20:48:22 +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-9 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 Closes: 508908 553782 Changes: hol88 (2.02.19940316-9) unstable; urgency=low . * Bug fix: "replacing libreadline5-dev build dependency with libreadline-dev", thanks to Matthias Klose (Closes: #553782). * Bug fix: "hol88 crashes with segfault", thanks to Benedikt Ahrens (Closes: #508908). Checksums-Sha1: e8b5f1b2630f9fc065925c8b1e32b1cbc02c050f 1235 hol88_2.02.19940316-9.dsc 5d57bc8473e76730b1a15e9871bc5008da4eb9ad 29219 hol88_2.02.19940316-9.diff.gz 328592e05ab0a6436ec81a027e6771aba7451531 9804510 hol88_2.02.19940316-9_i386.deb de5335104900d1b21991a74a5be18ee1d9e7c631 4693496 hol88-library_2.02.19940316-9_i386.deb 754f052ded4ca8c9d1cf84ff4b0e79f553d3733f 376918 hol88-source_2.02.19940316-9_all.deb 06f7801230b4baffcfcfb4a4d584426e0b9694cc 323452 hol88-help_2.02.19940316-9_all.deb a6cdde9f4cc0f7d126b3d0fbb95baa1adae91408 566630 hol88-library-source_2.02.19940316-9_all.deb af1c00fcd1111d42ad9012c59c2e9278ba42661c 311668 hol88-library-help_2.02.19940316-9_all.deb c617ff530b7d2552620b1db3f3dfab7415249fbb 1009326 hol88-contrib-source_2.02.19940316-9_all.deb ccd6a114189cfa2ac6c5cd1cfd7678a3a56346b3 26716 hol88-contrib-help_2.02.19940316-9_all.deb 4751be94acf054ffd8f801e3fa4cd41129f14322 1019742 hol88-doc_2.02.19940316-9_all.deb Checksums-Sha256: e2e509bf1c05d82987f62b805caa37fa110d0b8661499f19aef1742cc417fce7 1235 hol88_2.02.19940316-9.dsc 7bb800831442a10cb01036495e5fb64c3f5471bd97d1dd1ba554e837e4439ea1 29219 hol88_2.02.19940316-9.diff.gz 08f12311dfb535fcbfa0b1fa4e9f272fb28bde576043904a609f373eb1c1a0c9 9804510 hol88_2.02.19940316-9_i386.deb b8feb6e8c348ef2e32b0362367af15e44bc788e8adcacf735017aa5f5c2fb810 4693496 hol88-library_2.02.19940316-9_i386.deb 8ffb89ba8fedf0d66c7a64ac491fce3fe7ccda6907b37c32cbe9adf425631dd5 376918 hol88-source_2.02.19940316-9_all.deb 981bf8c8f650e25f131e1caaffc90463e7668ecd690be7ad714b9948e44cfcf8 323452 hol88-help_2.02.19940316-9_all.deb d8e06f736b8f54116fba319bae0685da964d9df2831c46d8eb50fef42affd842 566630 hol88-library-source_2.02.19940316-9_all.deb 92e8eed059c12eb5538bff3e867392aefad7d1f66f32cc3483cac40b7c7d8e88 311668 hol88-library-help_2.02.19940316-9_all.deb d3afa8d8430f7a758a06a371ef7acec79660b3ad92d2f68a789a02f49ab9d9db 1009326 hol88-contrib-source_2.02.19940316-9_all.deb 41eeb8dd71ae0fcdea33c59f60f62cf880a7b8752ac9a767fdcd2c1ac7fc852a 26716 hol88-contrib-help_2.02.19940316-9_all.deb f33185888820a4cbe954fade3c0fa1f17770990ee49cb1bc9872255c5481a335 1019742 hol88-doc_2.02.19940316-9_all.deb Files: e8bdb563aadd3ea217e69d57484667cd 1235 math optional hol88_2.02.19940316-9.dsc 2d48892a1cde4156268b401177e9e364 29219 math optional hol88_2.02.19940316-9.diff.gz e4d02aa26e2c128f06ee2ca407eff2cd 9804510 math optional hol88_2.02.19940316-9_i386.deb 4043b60da8a50c5ebe444ae9932ddbfe 4693496 math optional hol88-library_2.02.19940316-9_i386.deb 3d61fd00e7e1df68eda78fe9d0379543 376918 math optional hol88-source_2.02.19940316-9_all.deb efb4d916f2dd374f823adb0dca4235c6 323452 math optional hol88-help_2.02.19940316-9_all.deb 14b206c6e7b1b67f004f6f031e6b929c 566630 math optional hol88-library-source_2.02.19940316-9_all.deb 4aa2bc98fb35b3742372d9ad520a5f05 311668 math optional hol88-library-help_2.02.19940316-9_all.deb 6d083379ed53f881cdb05cfe98687dfe 1009326 math optional hol88-contrib-source_2.02.19940316-9_all.deb 3c74a5abcd736965e1b4f587eca194ff 26716 math optional hol88-contrib-help_2.02.19940316-9_all.deb 1f15e4ecd0faac4f71273b9f6e11c4ac 1019742 math optional hol88-doc_2.02.19940316-9_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAktBCM8ACgkQczG1wFfwRdzSUACgqqOCNU76ls4TDF++07u/XmEs rDMAmgMB/x4O54Od4pr9cYReji7NKBjc =vNBp -----END PGP SIGNATURE----- Accepted: hol88-contrib-help_2.02.19940316-9_all.deb to main/h/hol88/hol88-contrib-help_2.02.19940316-9_all.deb hol88-contrib-source_2.02.19940316-9_all.deb to main/h/hol88/hol88-contrib-source_2.02.19940316-9_all.deb hol88-doc_2.02.19940316-9_all.deb to main/h/hol88/hol88-doc_2.02.19940316-9_all.deb hol88-help_2.02.19940316-9_all.deb to main/h/hol88/hol88-help_2.02.19940316-9_all.deb hol88-library-help_2.02.19940316-9_all.deb to main/h/hol88/hol88-library-help_2.02.19940316-9_all.deb hol88-library-source_2.02.19940316-9_all.deb to main/h/hol88/hol88-library-source_2.02.19940316-9_all.deb hol88-library_2.02.19940316-9_i386.deb to main/h/hol88/hol88-library_2.02.19940316-9_i386.deb hol88-source_2.02.19940316-9_all.deb to main/h/hol88/hol88-source_2.02.19940316-9_all.deb hol88_2.02.19940316-9.diff.gz to main/h/hol88/hol88_2.02.19940316-9.diff.gz hol88_2.02.19940316-9.dsc to main/h/hol88/hol88_2.02.19940316-9.dsc hol88_2.02.19940316-9_i386.deb to main/h/hol88/hol88_2.02.19940316-9_i386.deb