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