Accepted hol88 2.02.19940316-13 (source i386 all)
-----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 <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-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
Reply to: