Back to hol88 PTS page

Accepted hol88 2.02.19940316-28 (source amd64 all) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 24 Oct 2014 10:35:41 -0400
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-28
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-28) unstable; urgency=medium
 .
   * build against latest gcl
Checksums-Sha1:
 9c00a9def8028df1a6223fd0bec0b2572d00c874 1634 hol88_2.02.19940316-28.dsc
 185c194af94da36d01eec32f63835cc325685514 130708 hol88_2.02.19940316-28.debian.tar.xz
 c8c5ecbefe79e84aab9d027d7f1bb9ce4eba674e 6119722 hol88_2.02.19940316-28_amd64.deb
 f6e6c9d00cdcfacfb51aa4ed998472eeee4e17ea 1244660 hol88-library_2.02.19940316-28_amd64.deb
 f9309d568890078e6616078de4b12bb8478b38b1 296890 hol88-source_2.02.19940316-28_all.deb
 6aa1df2e57f7f23858c79d8c79836cd847f8cf76 225328 hol88-help_2.02.19940316-28_all.deb
 3d08a7b38b1d29380af155de0e49112719cfc269 419562 hol88-library-source_2.02.19940316-28_all.deb
 9b06315c98ffaf5030a32f406b21b4aa1e8074bc 252122 hol88-library-help_2.02.19940316-28_all.deb
 8ff62f9ebbd943c69ff08804b7b9017706af434c 732778 hol88-contrib-source_2.02.19940316-28_all.deb
 08acd6b600659a0992977caf2efe3fdcdbba9088 24944 hol88-contrib-help_2.02.19940316-28_all.deb
 d8bac3bbc6f25e1aa270d23429bb3e4973b9ed30 1052214 hol88-doc_2.02.19940316-28_all.deb
Checksums-Sha256:
 cd5a872931e1c0c52b695038d097bfc28316256c2916a67d358e988acae400ed 1634 hol88_2.02.19940316-28.dsc
 648b9ad34dc72658ca5ee5c4160113146dfc62d40daf3907e7d5614480e70cf5 130708 hol88_2.02.19940316-28.debian.tar.xz
 63e61e6e86292d7a2f73623dcc2c58637b6b84d532377cb4cc6700d0ffcdf1aa 6119722 hol88_2.02.19940316-28_amd64.deb
 17f5f8de3e998b456b21fd454b10c70cad71625f943f46096a41897838482659 1244660 hol88-library_2.02.19940316-28_amd64.deb
 b2f23619ca8e5bdafbf7c24868a4d649954da4851506546e7f5ec229c98f7e84 296890 hol88-source_2.02.19940316-28_all.deb
 fe00b9935c0ca8c05dd898c15590df3ca24a01b2680830ef0b482aa43d767780 225328 hol88-help_2.02.19940316-28_all.deb
 722aa6da353fef39ff9fde04a63c9a9ebdb8a666eceef2537b39ea0ce64649a9 419562 hol88-library-source_2.02.19940316-28_all.deb
 74dc5129daccadce1674c27ed13c73fb04e1d9ba9107e68165c2464d87dab8f3 252122 hol88-library-help_2.02.19940316-28_all.deb
 5545101117762dbc55275952689b5bf9e864ccc7b7bb3a201b85846f97a21fcc 732778 hol88-contrib-source_2.02.19940316-28_all.deb
 69074c311b72d50ccd33dbc85845cb643f824322913805fbbdc76ed656694a3f 24944 hol88-contrib-help_2.02.19940316-28_all.deb
 26da8e1ce84a881fd972b5778b66031a79cb892a50d7865cacf504d8a90dc5fb 1052214 hol88-doc_2.02.19940316-28_all.deb
Files:
 d3c47bf07132dbb0204a6ba0f1849f30 1634 math optional hol88_2.02.19940316-28.dsc
 291c45b38f7b1ed5db9eb0361eaa6c3a 130708 math optional hol88_2.02.19940316-28.debian.tar.xz
 0ff121e51a193cfb66033682aa4d4b10 6119722 math optional hol88_2.02.19940316-28_amd64.deb
 9c5c4c82b280687ce1ffc8720880fb8e 1244660 math optional hol88-library_2.02.19940316-28_amd64.deb
 4c4961bc2a01f6296abc7f195314c0d7 296890 math optional hol88-source_2.02.19940316-28_all.deb
 4c0f350854bded69943cbd80d517b493 225328 math optional hol88-help_2.02.19940316-28_all.deb
 35079544b755b5a8171d68f0be393bba 419562 math optional hol88-library-source_2.02.19940316-28_all.deb
 611ff93350271b452f73844a290b617e 252122 math optional hol88-library-help_2.02.19940316-28_all.deb
 17f7f92b321cf82cd7d0635b8a0197b9 732778 math optional hol88-contrib-source_2.02.19940316-28_all.deb
 8e2daf24c964d3c009a66ffd01a93b2c 24944 math optional hol88-contrib-help_2.02.19940316-28_all.deb
 0803cc4330ca09652e5bb7bf07d37c72 1052214 doc optional hol88-doc_2.02.19940316-28_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlRKZvIACgkQczG1wFfwRdyBCwCfRn9fzPV1MaFhdvah2uehEvF2
HmQAn3I10PJDykHExWePYvcZ5/5gNmj3
=VYuo
-----END PGP SIGNATURE-----