Accepted hol88 2.02.19940316-26 (source amd64 all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 21 Aug 2014 18:47:39 +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 amd64 all
Version: 2.02.19940316-26
Distribution: unstable
Urgency: medium
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-26) unstable; urgency=medium
.
* build against latest gcl
Checksums-Sha1:
f8562ca047483e0dfa189ed3da3c43ef6b0a1d87 1635 hol88_2.02.19940316-26.dsc
3dbefe022f7bf6c7d08996b1cfc3c0e381ad9f9d 130680 hol88_2.02.19940316-26.debian.tar.xz
b2d250d91ca482a9ec313ac12b95e864edde2858 5969680 hol88_2.02.19940316-26_amd64.deb
fd995af7aa02d0083757da5f6e66f23654f7f3ce 1297918 hol88-library_2.02.19940316-26_amd64.deb
41225c546e441604e0f6aae00d43f74af9796f9e 296608 hol88-source_2.02.19940316-26_all.deb
a64cb1268c17d4363dde6385729ed6aca3c2430b 225594 hol88-help_2.02.19940316-26_all.deb
28a53e8c222f35a57c6d301f2cfc122c9262d0ba 418408 hol88-library-source_2.02.19940316-26_all.deb
7e6f81789e52dd5b4ac67f1b2d4caf975b17f728 251812 hol88-library-help_2.02.19940316-26_all.deb
6361d32c3df372ce9f281a8f506c8c622eb939b4 733064 hol88-contrib-source_2.02.19940316-26_all.deb
460fd579b693929d2bf0ac43345c2d4bd47ff897 24918 hol88-contrib-help_2.02.19940316-26_all.deb
3c8741dd93a904bccc3bea4781e243ce0a8ce9bf 1052166 hol88-doc_2.02.19940316-26_all.deb
Checksums-Sha256:
95bd760cf1952eed8046d611e15d0c25e1a868313a46884e64181ea4e4e8e0cc 1635 hol88_2.02.19940316-26.dsc
96a98c07e941a5461da99dcd1eca27a9955461b7ab65ce21518ff1fdb079fe7f 130680 hol88_2.02.19940316-26.debian.tar.xz
924492f3b64679943a8130a7bba53495f665289fb54db722ec775b10af642886 5969680 hol88_2.02.19940316-26_amd64.deb
be1e51efc4d0ffa714b41493b542906b060bf27182c39728d5165a4d92c23c98 1297918 hol88-library_2.02.19940316-26_amd64.deb
68fa43633e3b2b0670cd8f93b13ad06daa53e1b19171696b61e06cc3bb3041bc 296608 hol88-source_2.02.19940316-26_all.deb
67ba9902a63e0b6161e3ff81764c13bad4fcb8bc65278e39af77599e1cae9378 225594 hol88-help_2.02.19940316-26_all.deb
baa47bf0adae3f077f3ca47ab4385000f5ad839dda9c74d7c4f4b649db1bf2ab 418408 hol88-library-source_2.02.19940316-26_all.deb
dc8686326ee038e2979368e5ec18aeed148ecc274f5a117623758049fd23435a 251812 hol88-library-help_2.02.19940316-26_all.deb
7b0544efcf55901b21c2955f1e20f3ac726bf8dd5c1e5588a2af9ed193a175fc 733064 hol88-contrib-source_2.02.19940316-26_all.deb
bec690efc79963c7cbb2141f3eebe99e3afccbf4b269741e8d5ab4ea833b83bf 24918 hol88-contrib-help_2.02.19940316-26_all.deb
6b25e517e161bc1eea7016bdd1552276489d5cff603bec2ab52cf70173be8070 1052166 hol88-doc_2.02.19940316-26_all.deb
Files:
d5f115bb0adc7c788e647ed902b1f168 5969680 math optional hol88_2.02.19940316-26_amd64.deb
1afdf644756d237a5fb463639a651152 1297918 math optional hol88-library_2.02.19940316-26_amd64.deb
a1e2eed662359493b8fb4af6a5eb2d59 296608 math optional hol88-source_2.02.19940316-26_all.deb
e2da6d7d652dc2883bb447178826971a 225594 math optional hol88-help_2.02.19940316-26_all.deb
c58eda4e68dc400aeeb015201e3953e8 418408 math optional hol88-library-source_2.02.19940316-26_all.deb
ed6605722085eb448f3194cffc140001 251812 math optional hol88-library-help_2.02.19940316-26_all.deb
f7afe3e695637bf1bd935a566cf39bd8 733064 math optional hol88-contrib-source_2.02.19940316-26_all.deb
9a8fb9e10e80d144d93230fa4de1c929 24918 math optional hol88-contrib-help_2.02.19940316-26_all.deb
a4ed40fd9aa6529efc9b381df6d08724 1052166 doc optional hol88-doc_2.02.19940316-26_all.deb
791eb3f3dae2bc45db084937d1b182b4 1635 math optional hol88_2.02.19940316-26.dsc
b70c317cf5cb310d6a881cccfd962ce5 130680 math optional hol88_2.02.19940316-26.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlP2QEwACgkQczG1wFfwRdxh0wCdFESwcTD4fZEmg6rCh2ZiUG08
FF4AnjdsqKCP0qZBX1SwZJJj6xbh7FXy
=+13x
-----END PGP SIGNATURE-----