-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 01 Oct 2015 22:16: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-30 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-30) unstable; urgency=medium . * build against latest gcl Checksums-Sha1: 8a9c9306deee8bb17ed552706d2baf3bae55cfd5 2275 hol88_2.02.19940316-30.dsc c31f04d0fc3f0a88b7b5bc99b955c98e09f40180 130764 hol88_2.02.19940316-30.debian.tar.xz f953f6f7adb62dc1a10756dc7824c8e561a3b80f 24728 hol88-contrib-help_2.02.19940316-30_all.deb a89d5c2e2ad8fd3c20a69bf52b4fa94d89cd369d 732328 hol88-contrib-source_2.02.19940316-30_all.deb 232d35cd93a3bd68e152128751adcdaef3c5955e 1055514 hol88-doc_2.02.19940316-30_all.deb 25860c2301daf61ae2128220e39ed1d625712f91 221572 hol88-help_2.02.19940316-30_all.deb 0ae716cb4543cb48452e83f8e0f88a815e8a3c72 243716 hol88-library-help_2.02.19940316-30_all.deb 61eb3b5f89f7a70fbd2d2eea26f1da62866a1398 418594 hol88-library-source_2.02.19940316-30_all.deb 21b4e6b893a2c42885b41f168be38f71202e478f 3057842 hol88-library_2.02.19940316-30_amd64.deb e05c290249f74d9c3a6e4c64dd450b0035c6260f 297296 hol88-source_2.02.19940316-30_all.deb 527303902e9fe5f497744938208c52504443bcc1 6231816 hol88_2.02.19940316-30_amd64.deb Checksums-Sha256: ae94ceff61afb52e8998297ea7cde640884f3fea21c970c6396101c18b1ce614 2275 hol88_2.02.19940316-30.dsc 200296c969f62c53aaa55d5c2644516e07497c2f336664ad80a1c13ce8aee67b 130764 hol88_2.02.19940316-30.debian.tar.xz eb8282bfc5cc94aebfb43bb767a69ced711f6dd50a01f4f313a904c2d36cd0e3 24728 hol88-contrib-help_2.02.19940316-30_all.deb 3b7263823201be0063e082e02af17593781226fada21afa8d7bebe238502f030 732328 hol88-contrib-source_2.02.19940316-30_all.deb 7a0432233044a00d321b4a6b75021fd5a74efa59167a867531a2fdac878fc942 1055514 hol88-doc_2.02.19940316-30_all.deb 3bdb5434cf48ba2042184810f159754ccebccfe9ae854e46456f3268aeaa4a02 221572 hol88-help_2.02.19940316-30_all.deb 1a4e111a2cbec977c6c3ccc275cb5be1a7bb68c78cf0bb48e077a6f7f2b60d80 243716 hol88-library-help_2.02.19940316-30_all.deb 10a5ddb124b9ac92f13513e1a9fc987ee405ca51d3ce3b560ad81bf513e1d11e 418594 hol88-library-source_2.02.19940316-30_all.deb 121c9da904523c9fea7944ffb66b4af45d884563366dcf4bd00669e6e1fa272f 3057842 hol88-library_2.02.19940316-30_amd64.deb 9ce65627b162f2330a1c483935f1d53f8deac102c7618b95012b4526fb149e3d 297296 hol88-source_2.02.19940316-30_all.deb 72fe2cfd7a88fda99b36924931804ebf3ea7d1a7c0fdce98045f13509eddd0f7 6231816 hol88_2.02.19940316-30_amd64.deb Files: 40ad0a8a262557960ab016bd2aca21a2 2275 math optional hol88_2.02.19940316-30.dsc 37b522f351ad55017078e8d714afae66 130764 math optional hol88_2.02.19940316-30.debian.tar.xz c91725d1c8b8fd3cdcfaabea3c21c630 24728 math optional hol88-contrib-help_2.02.19940316-30_all.deb 1399e166274b68d47507f3d96a16038b 732328 math optional hol88-contrib-source_2.02.19940316-30_all.deb 17c0f6cac5b73aaa19af8664fc54ea59 1055514 doc optional hol88-doc_2.02.19940316-30_all.deb b85c65c4e37e597080ca91b1aa91194c 221572 math optional hol88-help_2.02.19940316-30_all.deb 256e2f451aeec91ef0175008b4826019 243716 math optional hol88-library-help_2.02.19940316-30_all.deb d74cf69da4b77b576f9074364e3ec0e7 418594 math optional hol88-library-source_2.02.19940316-30_all.deb 034750d920c57d092ad94448d63967b6 3057842 math optional hol88-library_2.02.19940316-30_amd64.deb 93ca7cf9aed37e9bdd7770a76d2c99c6 297296 math optional hol88-source_2.02.19940316-30_all.deb ce2860425b2f7861cfb1a8eddece2937 6231816 math optional hol88_2.02.19940316-30_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWDbV9AAoJELhFzlEPm3FN69QQAKT2J8zHtoJYpznDnehfmLRk mlfX6xhWZtYDpxqrR4QmLl1XWZfRcbkGLUe/zYp8JCyDjNyWuZnSQHRpLcKcUi7g 18TTbL0l3COMWWEv1oOWQZHoAR6nFqckTptNvF/ww2AB6KqqjDJwSo1g9pcWh/yM TqHOzNvNeaqWSaR1s8vHCCyRx8xVkmPdL/hf1iBmsyo0IMCVG5GDeC2MJy86Oos2 C0FPu84XTBFQK5D+OKmUtjOOqphQ6qHexDno/JuBpTIv11O0cmzQg0s3CwG2UEFQ 1dkCZ3WRfYolEaqeNTouPPHFkmZfy5H+W6T45g9ZVTQDs4brMNytzwy/K8c2REb8 Amo85IuEvrvg2jvSuNrzFBvWUOMVOAaB7s+Kreo5Oe7Hyykl0xmbngv4Ztv22uRT oZXLYbPQ1YdWXEt7GQKuAPq+JOal5PShlZkEHYQc0nQi6il9H0mu4NMLiRPCMw1F P11OyxECelCbyZgNCfeuzStPqCq2bX5klHMfqH+BaLfTLkPFuo8Dv5w864/m77O/ CTYrFRNtvi9K7PxAZPt2y1jNl+tyRkb/LyhjpunNNrD+PSuBE/yGLdu6fQe81nwy 5aQnux2xLKtNu2fNrtST9FLW2F5N7IH6luVQ9WhRgPSXQeROwGmpRUhl2wZf0CJV +RGmDQ4xqTj7ViEtJlFP =ca3a -----END PGP SIGNATURE-----
