Accepted hol88 2.02.19940316-11 (source i386 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 21 Oct 2010 14:34:13 +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-11
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: 597140 599986 599987
Changes:
hol88 (2.02.19940316-11) unstable; urgency=low
.
* build-dep on latest gcl
* Bug fix: "[mips] empty package", thanks to Jakub Wilk (Closes:
#597140).
* Bug fix: "FTBFS on mipsel: Unrecoverable error: Segmentation
violation..", thanks to Cyril Brulebois (Closes: #599986).
* Bug fix: "FTBFS on hppa: /bin/sh: ././raw_hol_map: Permission denied",
thanks to Cyril Brulebois (Closes: #599987).
Checksums-Sha1:
4b0ffa4ea7d1793685489b99f592c4bb5b956366 1242 hol88_2.02.19940316-11.dsc
4af1333d78cd3ae6945a4a926e0121468de97a13 641083 hol88_2.02.19940316-11.diff.gz
c456d1918af9b0770159ae17e22169638e6cc7af 12264256 hol88_2.02.19940316-11_i386.deb
75684b4d672d3ece9c20bba6005c9c8b8be22509 4687272 hol88-library_2.02.19940316-11_i386.deb
d5480a24bffbe1509242bf11edb4e3cf605d1582 377166 hol88-source_2.02.19940316-11_all.deb
7443d5ac8145ef0a5eb112efa7f96c2a9e76a721 322774 hol88-help_2.02.19940316-11_all.deb
781e0e03ff4b2c0141655c2dbdb66939ffddf420 566842 hol88-library-source_2.02.19940316-11_all.deb
d6b75bd801366f5d0ee2a1d734e9b622a80f4114 310984 hol88-library-help_2.02.19940316-11_all.deb
9c137da33b865e2070d548eeffe9992e8d05d07f 1009402 hol88-contrib-source_2.02.19940316-11_all.deb
ee347e110e567517733876597109f3f830591159 26956 hol88-contrib-help_2.02.19940316-11_all.deb
b960b89286d72c56bc4e6f51d62778aa76897203 1055918 hol88-doc_2.02.19940316-11_all.deb
Checksums-Sha256:
8fbeee70d5d74aeb3ca72ceb43d9344bc9d406ad0359640c657b972a99793c66 1242 hol88_2.02.19940316-11.dsc
0b0e5d3636ed691eeac2b2ce0408cc8b9c2eaac7fb26af8ed351d7688f60ef20 641083 hol88_2.02.19940316-11.diff.gz
f87da26e7ee7a6fb6f5b208a5bb113e2ecffb15fdb966701082b0ab88caca25b 12264256 hol88_2.02.19940316-11_i386.deb
04f4077a3c17b4fdc7b7c1ad877737ffe8365aa5d1fc9c5cc5f5997e3bc4b05b 4687272 hol88-library_2.02.19940316-11_i386.deb
3804c97706e40a17e73fe902b5bde5cf145148ad473928b59f8cfa3762a91145 377166 hol88-source_2.02.19940316-11_all.deb
78b22e064e77e3532ad4c322ee1ded4c2ee779e65e4e5ddff0f377c53d05ae32 322774 hol88-help_2.02.19940316-11_all.deb
4c31cef6cabfad7eb5545fcfcaa1702132621b41b90b29c587e0d2bb1169cc7b 566842 hol88-library-source_2.02.19940316-11_all.deb
6181d718efd1de3b0290c9eb93eb3d649117b3a2c6f518b2c78b54aaaeda1d23 310984 hol88-library-help_2.02.19940316-11_all.deb
b94e35b2192707740b3b363932129a4e3ccf384415c9b237a3631c752ee65d40 1009402 hol88-contrib-source_2.02.19940316-11_all.deb
006ee370736f97b36b5a24bd6c7025f3003a483a7bf476df2720be4dc4fcf3a5 26956 hol88-contrib-help_2.02.19940316-11_all.deb
1b7c7dd1bbb74b094bceeee1e40dd029ce36b708d43fd098cf4f2e7f4cd54439 1055918 hol88-doc_2.02.19940316-11_all.deb
Files:
db211ddb146e3fa9aeeebb9d86d23c19 1242 math optional hol88_2.02.19940316-11.dsc
029be3b1384949da1b34bd57a482d50c 641083 math optional hol88_2.02.19940316-11.diff.gz
d268a13dd02e0f5fd477e0b2fc03e80a 12264256 math optional hol88_2.02.19940316-11_i386.deb
c7c95fea01566775425ec5de6208755b 4687272 math optional hol88-library_2.02.19940316-11_i386.deb
3478b519794679f508c6c0bf56c81d86 377166 math optional hol88-source_2.02.19940316-11_all.deb
5d9d30e42520399e8142edfb51f24815 322774 math optional hol88-help_2.02.19940316-11_all.deb
a9b92724343b1cb49f92339fb967fdf7 566842 math optional hol88-library-source_2.02.19940316-11_all.deb
cf71503bd3d097c158705adfb4ba1c1d 310984 math optional hol88-library-help_2.02.19940316-11_all.deb
e30814b0f03157ff039a4c58b4667b8e 1009402 math optional hol88-contrib-source_2.02.19940316-11_all.deb
8b271bf857b98f11c0087284574efe3d 26956 math optional hol88-contrib-help_2.02.19940316-11_all.deb
5e0cf444a4b2e5ac8fad29b8a7789d69 1055918 math optional hol88-doc_2.02.19940316-11_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkzAUYYACgkQczG1wFfwRdzfogCeKLz4aDuMG+rm8T6MzlFkCGMG
uXsAoJpkuDKRYF8bY8XWuL+VMrVKN8Vp
=DIus
-----END PGP SIGNATURE-----
Accepted:
hol88-contrib-help_2.02.19940316-11_all.deb
to main/h/hol88/hol88-contrib-help_2.02.19940316-11_all.deb
hol88-contrib-source_2.02.19940316-11_all.deb
to main/h/hol88/hol88-contrib-source_2.02.19940316-11_all.deb
hol88-doc_2.02.19940316-11_all.deb
to main/h/hol88/hol88-doc_2.02.19940316-11_all.deb
hol88-help_2.02.19940316-11_all.deb
to main/h/hol88/hol88-help_2.02.19940316-11_all.deb
hol88-library-help_2.02.19940316-11_all.deb
to main/h/hol88/hol88-library-help_2.02.19940316-11_all.deb
hol88-library-source_2.02.19940316-11_all.deb
to main/h/hol88/hol88-library-source_2.02.19940316-11_all.deb
hol88-library_2.02.19940316-11_i386.deb
to main/h/hol88/hol88-library_2.02.19940316-11_i386.deb
hol88-source_2.02.19940316-11_all.deb
to main/h/hol88/hol88-source_2.02.19940316-11_all.deb
hol88_2.02.19940316-11.diff.gz
to main/h/hol88/hol88_2.02.19940316-11.diff.gz
hol88_2.02.19940316-11.dsc
to main/h/hol88/hol88_2.02.19940316-11.dsc
hol88_2.02.19940316-11_i386.deb
to main/h/hol88/hol88_2.02.19940316-11_i386.deb