Back to hol88 PTS page

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



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 07 Oct 2015 21:39: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 all amd64
Version: 2.02.19940316-31
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-31) unstable; urgency=medium
 .
   * build against latest gcl
Checksums-Sha1:
 d44e4c74c7137029d24b55e0257cb1773b6e759c 2275 hol88_2.02.19940316-31.dsc
 36f56a953b0e755de30e1aa1e3668ebe6d609bdb 130736 hol88_2.02.19940316-31.debian.tar.xz
 940524277d94b5b843a00049013ed1280ec97869 24736 hol88-contrib-help_2.02.19940316-31_all.deb
 81f318cc42a2afba91aec54d618c4c0feccd5cc1 732340 hol88-contrib-source_2.02.19940316-31_all.deb
 5195eb2c19874f8e204823e78e78ba320c6763b1 1057172 hol88-doc_2.02.19940316-31_all.deb
 6aade1e7729b1b0df3887db77e29685864ff2f5c 221640 hol88-help_2.02.19940316-31_all.deb
 2cf63b76d44ea5d3c5cf649c2c01d0d4a326b177 243680 hol88-library-help_2.02.19940316-31_all.deb
 b3389b40eec9e4bcda6f214864f13cce6b13929a 418702 hol88-library-source_2.02.19940316-31_all.deb
 4f38b954ed50ecf8f63a32070f41b692c8f316c1 3058326 hol88-library_2.02.19940316-31_amd64.deb
 ff62377c8bfa05fab129c1d5b54bea166a63c57c 297354 hol88-source_2.02.19940316-31_all.deb
 b701e9a3acbaf544619cd48a5a7f55d46bf2ca05 6234870 hol88_2.02.19940316-31_amd64.deb
Checksums-Sha256:
 a5dc80c48dea79bcf7db5fb35831ea8dc1ba3c8c10dca8c81c95bae9c49c7ca4 2275 hol88_2.02.19940316-31.dsc
 02f21c87b947641e0f358a088bc2bdceddd3ff04f6990a4000f8c182dad7883d 130736 hol88_2.02.19940316-31.debian.tar.xz
 1cd45a12a1202e8cd16d31a69ad8ca61d5aefe78a839bee9db4c1318d5b6e2a4 24736 hol88-contrib-help_2.02.19940316-31_all.deb
 9a6c820f469eb31842cf36ffe918fb9b95c3bdfe62a8e01ae0ddf52c093f340c 732340 hol88-contrib-source_2.02.19940316-31_all.deb
 0a7d52bb5a462453f7aa0214c424118ded78bc852c4e266619addfe23892d0fc 1057172 hol88-doc_2.02.19940316-31_all.deb
 3a385d6c39fe146bfaaf3448335f3064d637ca06f486d034de5f35039c347349 221640 hol88-help_2.02.19940316-31_all.deb
 07ee1e85f4a0510159b60db49cecbe93025d4206a0978ac461d5bf080c1c80cd 243680 hol88-library-help_2.02.19940316-31_all.deb
 c92087217bc24c6d08a5a9e8a7ef38736c4545a1dd0216b4b0b07532a1a1b5f6 418702 hol88-library-source_2.02.19940316-31_all.deb
 a79437ca1d0af65842e92084741d7458146c7a77d338f7d5f0187042d6059531 3058326 hol88-library_2.02.19940316-31_amd64.deb
 f4715e72f2730de27cc2512b969aefdf95139e775889f1d922e0646f1c2cf318 297354 hol88-source_2.02.19940316-31_all.deb
 7658ba2a39519f70629bed38426597504857eba511568d066d9559a5611a9289 6234870 hol88_2.02.19940316-31_amd64.deb
Files:
 82ad9649925669dc92ca2fec729326ed 2275 math optional hol88_2.02.19940316-31.dsc
 38eaea84319943af475a73935d0e563e 130736 math optional hol88_2.02.19940316-31.debian.tar.xz
 a5120b1dc4b7af9a4ff40a8b49b487ff 24736 math optional hol88-contrib-help_2.02.19940316-31_all.deb
 048c38f88adba9dcfd9ad8803fc1521a 732340 math optional hol88-contrib-source_2.02.19940316-31_all.deb
 390ff34fabfcb02b3e3ca84239dd631d 1057172 doc optional hol88-doc_2.02.19940316-31_all.deb
 7a26c4c9610631a70e247b76207445b6 221640 math optional hol88-help_2.02.19940316-31_all.deb
 9b0946fcdc8c820a6e62463f466ebe6c 243680 math optional hol88-library-help_2.02.19940316-31_all.deb
 036203ef2eab6ae8b2b68e8e91c4bab8 418702 math optional hol88-library-source_2.02.19940316-31_all.deb
 b2ebbbdc72a44c6d55e44e90b973b6b4 3058326 math optional hol88-library_2.02.19940316-31_amd64.deb
 4dbb4dd817460d44a49348a04b0e8cb9 297354 math optional hol88-source_2.02.19940316-31_all.deb
 a65418dfe80ca5a5f4f969f8bc41e170 6234870 math optional hol88_2.02.19940316-31_amd64.deb

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

iQIcBAEBCAAGBQJWFZXyAAoJELhFzlEPm3FNyvcP/j0cdNCHdFcbDw7x/aT0IGeW
rXiAJMv5Ul24Im8RP2Od5pYt5DhIh8F35GcUHqBfLM30ZC6Tu2dJ3lPSkn6smGKm
6eEilCb5HgPRQQoPMzI7KiLNERxHCTOgGV30QuUL/e5PDM5M0OmN4pxkff6T31jR
5jwCdsVfTj/7VzD6KhxpCyYaui9X9LVvT32K+1mz0cwcp+RVk1np92RITfWNOZzL
4nvTUpaR8VYtT54vZQIbSeBZNy7dneP9Xf1Kgmb/Nn8iLMAn1mC2cC0IIojQ8e30
dfJ670GFwYvn4dIZ5hv97lR3iesSFmzyn/zeQ6niusvTK6HFOIOM/NQ8qVKJKiq8
RMUgEtiEVpgPNHCB/u0xSNM1Bs5lu1L6CHYANEn+c+wb2QVUMZ5Grz9F2gN5gRGd
fS2+xW7j98W69/+SavVsFX+RUeazZMtCIoLSCdYEnLSgjmAtQcmLC9IRe2+pdlg4
1l+Oap2OV+vEX6zFsvKLZ9asMYiMTMjShHO9aL9guratlA9V1aRDgYYhQqtHs5vM
tlA7pkjHma03PB+EVbz/4iMB/quVYrfGQfsrmFAxiTJEMD/wA9y5GIol+XPhwZQt
Cykz/xoJGTmWnYTb2mjTDYIKXhy76c1jjFiaBc7lVwmIYs22r10atLzUFdhwx6xx
M7ExmTlzSMPXQ5nkf5xq
=gLRD
-----END PGP SIGNATURE-----