Accepted hol88 2.02.19940316-9 (source i386 all)
-----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