Accepted hol88 2.02.19940316-10 (source i386 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 25 Sep 2010 15:19:33 +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-10
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-10) unstable; urgency=low
.
* rebuild against newest gcl
Checksums-Sha1:
939c22cee1af56532ad3a787526bc224c4e8457e 1239 hol88_2.02.19940316-10.dsc
ba3b86a3f038cbf62531b503ebc0102035704a44 29555 hol88_2.02.19940316-10.diff.gz
a8d0387333123685a4720415b44ec224c823505d 12035238 hol88_2.02.19940316-10_i386.deb
6dd7e9596bd68cfb4c7ebe6f09af988d6ad203e9 4689300 hol88-library_2.02.19940316-10_i386.deb
14d35b0145e8ed2d792c6ec1f40b659e7e1798cc 376954 hol88-source_2.02.19940316-10_all.deb
5ab23379613e999ae946ab38e803a52f515dc39c 322562 hol88-help_2.02.19940316-10_all.deb
09fbebc2f628c65e4bd925f6afb2caf1947806c9 566652 hol88-library-source_2.02.19940316-10_all.deb
e2b9ea3f4b0f439243ded69e5dfa1fcc49cd25ff 310738 hol88-library-help_2.02.19940316-10_all.deb
e4323e6b37ac196a2cb3983b6531a75312e638a4 1009222 hol88-contrib-source_2.02.19940316-10_all.deb
aaf40cbc7d40e550852a623faebb1dec98cb62bc 26738 hol88-contrib-help_2.02.19940316-10_all.deb
2b9f197c2dcff088d186edce6c99412c1b2031c9 1056228 hol88-doc_2.02.19940316-10_all.deb
Checksums-Sha256:
7744854ce154d1a463571f4b4a7c281d1152b102bf4e72aa9d5da3888b762a87 1239 hol88_2.02.19940316-10.dsc
7c137e2401cb893e4cba6594c8e07db7227fee8d86ba89d9c4d0e3dc013d3da1 29555 hol88_2.02.19940316-10.diff.gz
931e867abb688645112b66d14c31c683ce3ad2a58d2110e9273cdc8c4e6d370d 12035238 hol88_2.02.19940316-10_i386.deb
4ae46207c4d77c2ac96cd7da78069d096362e9f24f7e76a6eda10c04ccffb0d3 4689300 hol88-library_2.02.19940316-10_i386.deb
e836e04ebee1cd2cded3425d80234dc8f2c2202b0680979d1752599452c7336b 376954 hol88-source_2.02.19940316-10_all.deb
7d7317a573f8b34a06f13ebbebcd04e5cc5b01d6221daa1e2ce8b2215bbd1788 322562 hol88-help_2.02.19940316-10_all.deb
1e9ef9c8a624c2c933536a895b83b3b14bb8dba8ed5ca88837379fd7a6a6c920 566652 hol88-library-source_2.02.19940316-10_all.deb
584a921dba353f9af27d054a271a27a745d247ccb55ae6b5ef3f0de4e2be919a 310738 hol88-library-help_2.02.19940316-10_all.deb
e8dee663b79ec36124e59613a7cdc61161e7853ba929857491e9f1e430fa6775 1009222 hol88-contrib-source_2.02.19940316-10_all.deb
0157f593c28eafb6aa57425dce6307646e1ba808da46eec6f7bbc897651cd4df 26738 hol88-contrib-help_2.02.19940316-10_all.deb
beeb6e76d2cbd4ec4258036134f5ffd2b1161ca45f97909a19c3d68a179fc122 1056228 hol88-doc_2.02.19940316-10_all.deb
Files:
8382987d0ab6f0859fdbda14998616ac 1239 math optional hol88_2.02.19940316-10.dsc
c008485077fa3835d35bcaa07ce8986d 29555 math optional hol88_2.02.19940316-10.diff.gz
e22fb9579d4cba812ac62c7c3d18494f 12035238 math optional hol88_2.02.19940316-10_i386.deb
351e8005c5fd0c32e7273b3e83e8094a 4689300 math optional hol88-library_2.02.19940316-10_i386.deb
ee74682da94c96f017f202e37f2f7fb5 376954 math optional hol88-source_2.02.19940316-10_all.deb
47fd9f39eb60c967ff280df1c4b956d2 322562 math optional hol88-help_2.02.19940316-10_all.deb
6167e412bafee272c22d27a6ad9d6f89 566652 math optional hol88-library-source_2.02.19940316-10_all.deb
fc131c1fbba10ccb7242a2bb5fddd66d 310738 math optional hol88-library-help_2.02.19940316-10_all.deb
753ec0d23e9387ec5d8c6dbde028bb6d 1009222 math optional hol88-contrib-source_2.02.19940316-10_all.deb
f941d6d4c9ad8c50a5b076c71a024d69 26738 math optional hol88-contrib-help_2.02.19940316-10_all.deb
0dee17266d81d70db56e66c717d5b3b2 1056228 math optional hol88-doc_2.02.19940316-10_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkyeVZkACgkQczG1wFfwRdwLbwCgrVCw9+8QKegoVHoraLrm9dZv
j+UAmwddR7DKvZHkRatm0ZP2y8Z2SdTh
=1roT
-----END PGP SIGNATURE-----
Accepted:
hol88-contrib-help_2.02.19940316-10_all.deb
to main/h/hol88/hol88-contrib-help_2.02.19940316-10_all.deb
hol88-contrib-source_2.02.19940316-10_all.deb
to main/h/hol88/hol88-contrib-source_2.02.19940316-10_all.deb
hol88-doc_2.02.19940316-10_all.deb
to main/h/hol88/hol88-doc_2.02.19940316-10_all.deb
hol88-help_2.02.19940316-10_all.deb
to main/h/hol88/hol88-help_2.02.19940316-10_all.deb
hol88-library-help_2.02.19940316-10_all.deb
to main/h/hol88/hol88-library-help_2.02.19940316-10_all.deb
hol88-library-source_2.02.19940316-10_all.deb
to main/h/hol88/hol88-library-source_2.02.19940316-10_all.deb
hol88-library_2.02.19940316-10_i386.deb
to main/h/hol88/hol88-library_2.02.19940316-10_i386.deb
hol88-source_2.02.19940316-10_all.deb
to main/h/hol88/hol88-source_2.02.19940316-10_all.deb
hol88_2.02.19940316-10.diff.gz
to main/h/hol88/hol88_2.02.19940316-10.diff.gz
hol88_2.02.19940316-10.dsc
to main/h/hol88/hol88_2.02.19940316-10.dsc
hol88_2.02.19940316-10_i386.deb
to main/h/hol88/hol88_2.02.19940316-10_i386.deb
Reply to: