Back to hol88 PTS page

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



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

Format: 1.8
Date: Wed, 30 Sep 2015 22:03:50 +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-29
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-29) unstable; urgency=medium
 .
   * build against latest gcl
Checksums-Sha1:
 a29e1449edbcff3e42d75bc63fe10fd1d1a24668 2274 hol88_2.02.19940316-29.dsc
 eb8262495732065367c090e64252e274377ddca4 130728 hol88_2.02.19940316-29.debian.tar.xz
 1221e66fcb0619f472eb5b9058d88b489bed0394 24716 hol88-contrib-help_2.02.19940316-29_all.deb
 3b456e4553f2086f4e179d80888ada91021b3168 732168 hol88-contrib-source_2.02.19940316-29_all.deb
 1851b199c2a0a4ae50b0d1b4ba56e1d0c7a79095 1057322 hol88-doc_2.02.19940316-29_all.deb
 e7ae6990bdd4db6ac0dbf617766bc527ece1dff9 221584 hol88-help_2.02.19940316-29_all.deb
 e4789ffd08cd2dfc5ed634ea6f647fdd7fd91609 243676 hol88-library-help_2.02.19940316-29_all.deb
 896159a87fadee1d6964c4041a73ae3ed7f6abd0 418598 hol88-library-source_2.02.19940316-29_all.deb
 9990dee9c6e14371d82836969c382c79158c2c42 3058336 hol88-library_2.02.19940316-29_amd64.deb
 df7dcbb204051ffb40ea0f55aae5269ce4d80d90 297312 hol88-source_2.02.19940316-29_all.deb
 2e82cddc4a824d31467adaed988d5ac7a1da7302 6240072 hol88_2.02.19940316-29_amd64.deb
Checksums-Sha256:
 d7bc274cbaf6542f0968dad85c953633597573347981f44f0e2f167c8adf0691 2274 hol88_2.02.19940316-29.dsc
 a21dcb266fc449b27af41cd10db2ae517756828c15d4119eb5dc5169bb4414a6 130728 hol88_2.02.19940316-29.debian.tar.xz
 a14d0ab80ddb70e13e2bf37a8f053db8d226d9b4cfc23c4b3e5f7efd423f84e3 24716 hol88-contrib-help_2.02.19940316-29_all.deb
 6887fe535988427277d1417938b3128337750f33d5e1f04460285912baf0297e 732168 hol88-contrib-source_2.02.19940316-29_all.deb
 b9bbbdf30df7f8262a632262d85bf2fe472fd0a91355df5baa8e7c10aa8a1486 1057322 hol88-doc_2.02.19940316-29_all.deb
 2e49dbef487dc39dcafcc3ed3bfaefb1dad3e37f70a55b19613fe6d9cdc21116 221584 hol88-help_2.02.19940316-29_all.deb
 871530f925c17813b3f21aeba081d3ab0098e9657094db57947fd54d459b96fe 243676 hol88-library-help_2.02.19940316-29_all.deb
 dba09dae3e36400d83b18a83c4d1e09c7b3fef01f5514e0efa3ec73d45c207ee 418598 hol88-library-source_2.02.19940316-29_all.deb
 2b8eeb16514f4a69efbeba1587a27e24ff5d9246e874c4165caf0bb5a06847a2 3058336 hol88-library_2.02.19940316-29_amd64.deb
 9cca65b185a6e946d38cb3f219ac0d48a4320c0bdf434a12fecd6963ab60723e 297312 hol88-source_2.02.19940316-29_all.deb
 bd5b2e5b53445f6eacb0fae0ff2fcbfdd0cba9ab1061cce8fa74754549bd050f 6240072 hol88_2.02.19940316-29_amd64.deb
Files:
 985c2d6aa7d6b2dcd2e9a33b7508d048 2274 math optional hol88_2.02.19940316-29.dsc
 cdc29335db4f88a705ca36ecae49af64 130728 math optional hol88_2.02.19940316-29.debian.tar.xz
 718a7227774f101187b428ac493e00a1 24716 math optional hol88-contrib-help_2.02.19940316-29_all.deb
 2fda5e7cdd767fbce8daea4779f67707 732168 math optional hol88-contrib-source_2.02.19940316-29_all.deb
 de6760be91a4de1d4ab0da528744335f 1057322 doc optional hol88-doc_2.02.19940316-29_all.deb
 5071939faadce95d335a109aeb3cc3a3 221584 math optional hol88-help_2.02.19940316-29_all.deb
 03880b08b828f70b964620fb347235d6 243676 math optional hol88-library-help_2.02.19940316-29_all.deb
 9ba5a873b099a5f5114739bc3b37a9d6 418598 math optional hol88-library-source_2.02.19940316-29_all.deb
 af654017b254aabe881531d4b6656bf6 3058336 math optional hol88-library_2.02.19940316-29_amd64.deb
 55686cf95b55cce23d2f9663baf914bd 297312 math optional hol88-source_2.02.19940316-29_all.deb
 a8023898aea0372a2fab2ec072ef4bc5 6240072 math optional hol88_2.02.19940316-29_amd64.deb

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

iQIcBAEBCAAGBQJWDF7oAAoJELhFzlEPm3FNYl0P/30PFd4gyw0EwcXDAKLpkS09
5koYlGPIGli3C2wTa1jbOUk0B02LfVivbiOnIcMvPO8XqkBlnIobH/1yvgXf/YTp
CQoa94WSBu66WpO8HQkIUSQgknE1SRsiQ3wz8o3tiKXqSkAlePlxRugkemzMUQ4A
P+8zTFd1E6i1t5FKavq6cncGL2Kbub3fpj3tIFCu8PclVxwji3/oB0cU7GFqD2qu
zHX5aFi1jVjZe3eF4vTHBnLhzgfD9O1fvhI4EUSAemS8gG/eM2BgEms+mK365S1A
jluYw0giyalOSNV+gZ3X7k33a3xNLxlmin8Qu7XhlMZmM9JzyLpqbMxkbG8vmYsG
Aa4Vk3vnJ4kW1scXTBeCbCc97x4F/ERKSCbgMmBhmFTsy9d/DQrg57pIybR/G5FY
YBP4o2Wd4HZC7YxiJigHSIUQP7CwHbaU1cw6h4EOogdM2W1P923r/4o2j8O3WwB1
vRAw4LXrlR24cyFUEYaAsTbyS0IJBENqJz3mMoX1wlOFtIg0W3QLwhuuYHtrKzQh
NNs8IbllDQ38yETjKa0W1Z7BkxcJq0UCYDT6ap0BYq6zWlNnJbk8Q0334PNiQ4UF
YSziStl4pEBbwTGfrinxb9/ifcexB03PnDIrsBava6fORnS7wmTGZvZnBHmeE40q
WTXHP8y/NBDm8ceCewiz
=ScjF
-----END PGP SIGNATURE-----