Accepted hol88 2.02.19940316-30 (source all amd64) into unstable
-----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-----