-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 29 Aug 2017 22:52:36 +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-35 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-35) unstable; urgency=medium . * build-dep latest gcl Checksums-Sha1: 91b09b4860689d4d0cce1dd239b6fca8ab38345c 2275 hol88_2.02.19940316-35.dsc fb316d8553e53a8a387ea1228565757da84d59b1 131304 hol88_2.02.19940316-35.debian.tar.xz ef1bafc58df30ac6c7c0f572ebd05f07144e2196 24856 hol88-contrib-help_2.02.19940316-35_all.deb 11cf4fc877e9ce41ff365a0c3987bf5bda2840d8 729942 hol88-contrib-source_2.02.19940316-35_all.deb 3fc3a96568baea43263d7f9851e128466369234b 1057380 hol88-doc_2.02.19940316-35_all.deb 0c1569699bb2a860128f48e29df127b5b12adaae 216784 hol88-help_2.02.19940316-35_all.deb 7eeee1057e4191c3740333f7281f2bc2762174f9 238602 hol88-library-help_2.02.19940316-35_all.deb 391a7a27280dc85564aa93a3c7922d88f3cc97a3 419040 hol88-library-source_2.02.19940316-35_all.deb 469f9f49f7e261c4dc669ef2051da8227b5bdafa 3144274 hol88-library_2.02.19940316-35_amd64.deb 960aad2bbbcef2f34b8307e18d7b2a8089aaff4e 295576 hol88-source_2.02.19940316-35_all.deb ebba081451b5ebbf2881049b6cc72208da899f19 11138 hol88_2.02.19940316-35_amd64.buildinfo a84f1be3ead52add676059521ae14e1f6b379476 6415060 hol88_2.02.19940316-35_amd64.deb Checksums-Sha256: e44e9b4b8251867f2d59b30fe21278fde62ed571fb5cc39b91df0cb869b43d50 2275 hol88_2.02.19940316-35.dsc 2d4118e896c7b8329967dc69f0a888992ffb2de943ab13f97a08d79fff0b0c53 131304 hol88_2.02.19940316-35.debian.tar.xz 7de9f8886a8c24a86a75da02b32d49326f91343bd99d20157491ff8a5c9a802f 24856 hol88-contrib-help_2.02.19940316-35_all.deb 145d4d795cfd23dabfe363ada841b15821c673effbf915710814d4bd95147141 729942 hol88-contrib-source_2.02.19940316-35_all.deb f39dbfce24845fd94baf681bbc2550c0113b4dfea786fb4def962323fddf7296 1057380 hol88-doc_2.02.19940316-35_all.deb 2ca51ee7782018f45b93060671579f9a6274257b18750ca4045b5343d93850e3 216784 hol88-help_2.02.19940316-35_all.deb 19c9b52c2bd5fc980c634d66e713490bd8b4b30a2df939b7027090aba0d05b17 238602 hol88-library-help_2.02.19940316-35_all.deb 3c2f936ff4533e87affd6cdb23b5c7757221f9d65f77db4d88ae73f9b6ee9844 419040 hol88-library-source_2.02.19940316-35_all.deb 516232131e3b91ea7032654fad4d7cfbad56856968f09244f2d2a51445da4163 3144274 hol88-library_2.02.19940316-35_amd64.deb 9f1ba8ffe814333d3e1569a372372102e4439adf4e54a08dac0911d9861db78d 295576 hol88-source_2.02.19940316-35_all.deb 4e7c83b47412cd80ed8840c963ba1270491a2694a9b56390c794f363c62effef 11138 hol88_2.02.19940316-35_amd64.buildinfo f93e67acd18e3a90e6119f5534670afb92ca541029a1c0db3fc90abeb7b390f4 6415060 hol88_2.02.19940316-35_amd64.deb Files: c1fb715e04867625bd0bfed7e563a7e9 2275 math optional hol88_2.02.19940316-35.dsc 48e7d068ec9e67b05be3a3c92853df10 131304 math optional hol88_2.02.19940316-35.debian.tar.xz 33b43b9ebfab9169be2026ec46593495 24856 math optional hol88-contrib-help_2.02.19940316-35_all.deb 022069e9886ccae37df4558bacec9c19 729942 math optional hol88-contrib-source_2.02.19940316-35_all.deb fe6ba40938c8c53d59988a07e6cb6d09 1057380 doc optional hol88-doc_2.02.19940316-35_all.deb 55163dbb878096799d9955c782634bc7 216784 math optional hol88-help_2.02.19940316-35_all.deb e4f4d3e2c59217454a40a6a334eaba8a 238602 math optional hol88-library-help_2.02.19940316-35_all.deb de57dfda2a091f1686de0f02e3f9d970 419040 math optional hol88-library-source_2.02.19940316-35_all.deb 8801a1546ee2ec0c49174a731cc2a916 3144274 math optional hol88-library_2.02.19940316-35_amd64.deb d508bfece7edb3004a294c8aa96a78db 295576 math optional hol88-source_2.02.19940316-35_all.deb 845fa6434dab235a525137999df71a50 11138 math optional hol88_2.02.19940316-35_amd64.buildinfo 66118e4a02950c540de7ac06e964828a 6415060 math optional hol88_2.02.19940316-35_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJZpfMmAAoJELhFzlEPm3FNgmgP/1tfbDfbvzo66zUQ8KuBip2B 69I6kHNiAJ3lV6mwU3cSHf+HNjFDAhdoZH/AcIFWz3pC3XrehcVySJV68VM0LAsF SHGVSKttqAN2esf3/bBA+q8n47GufoNHGda3PcXPTO/oD/AovQqzItYhUZHiN+eC CujbhN5mpImGNm8mw/gEJ2vSxDZUnnr5XL19Sd8FLi8sPXssgwpHmDltsZhbUZ3b XIiQJTgS7CJEmVwvvYJBBXNWiqUxfe/q7VCrLxrl2mavCMkmH+4ykUX06IP7HF9q VFXpNi9AO9p4SDqN64Q9pnn0PUAM+X6dlvBvZ0erCKsnGLm887x0lxuW5/kc/FC2 WagYntInCVAWpm6zY2d1E3HlGURTtpFhaIpG8DBEPhpo+KIzkTLE8Dlu3uKsgEsY 0xFH1DkRNdnnQf9PUz5uWLY+YoTgMUsOyBCLLyfCrJeqaRLAIMC8LTDz7UbFtDlR CwDNZmtBg6wz75H8C+Xt8zgXCqA76bIp+I+QEqXTAtdyj2V+uAJ6zLXdwM7UOEcK w2GTQrGNbTrIZIRYHNcdR/5TRWDVX7C5M9ys/KRdXKiih3fTNN8jTnp4GvCWa7Eo qrhVZbWn6LXBThjo9OfpN+dK/upGHFr8Viq/wyP+ujoXnuw0pzYTpN1nEKDYmoIX PXJi9QobVaiKGPoAHAYr =b2kh -----END PGP SIGNATURE-----
