Back to hol88 PTS page

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-----