-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 19 Aug 2014 19:21:14 +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 amd64 all Version: 2.02.19940316-25 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Maguire <c...@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-25) unstable; urgency=medium . * build against latest gcl Checksums-Sha1: 2eb5a851305db88bf4482cb63f627b6f55665082 1635 hol88_2.02.19940316-25.dsc 053bce625de9d37828a7b4c022cd63ab637df56f 130628 hol88_2.02.19940316-25.debian.tar.xz 7cb236b3844888c1333ca76313eeb192fc87b1a1 5959932 hol88_2.02.19940316-25_amd64.deb a6e0318459c05a3570da6bd6f71f31ef683ef9f1 1293778 hol88-library_2.02.19940316-25_amd64.deb f4e896cfa0593e6e7766c5afbad0aab3f57a4aee 296564 hol88-source_2.02.19940316-25_all.deb f6c031c751e1fc677cb638ac7b8eb5df98f83845 225562 hol88-help_2.02.19940316-25_all.deb 67e80631816afbe69c29b3ca5d585bbf1113604a 418418 hol88-library-source_2.02.19940316-25_all.deb d7876e69630753ae53052a87923487fe829297b3 251854 hol88-library-help_2.02.19940316-25_all.deb 6f9ac0cbdb58754a6758340f8e5f4ab0c8ab7ba7 732936 hol88-contrib-source_2.02.19940316-25_all.deb fdb6624914a35b429f69ce10ab67dd9ed8322bc7 24902 hol88-contrib-help_2.02.19940316-25_all.deb 2c62a037af5447ea51ee744a6d8b0b0331e5e558 1053388 hol88-doc_2.02.19940316-25_all.deb Checksums-Sha256: 03c7a28526409c152a3c17fe5d209738a01b28566b379ccb741a6c40751bd775 1635 hol88_2.02.19940316-25.dsc d829e12acb5370dc4e2b1e445f021a078586e096a9fad1f2cd820d90f9f2d2a2 130628 hol88_2.02.19940316-25.debian.tar.xz 43c39705c426e32a7bcc723b2f33924fdccd2f005d8f318caf63743abfc5517a 5959932 hol88_2.02.19940316-25_amd64.deb 086b4b08f5da1f01916e5ebe013293e375c2e65241492f1446524872ebc55839 1293778 hol88-library_2.02.19940316-25_amd64.deb 9ab1216e31777c54dcc326f507d7928b0ef4c07df949a1993ed701e36310561b 296564 hol88-source_2.02.19940316-25_all.deb af72cc133b74284ea9635eeed03096c59a1de2f5b1e79728956745cc023cb9aa 225562 hol88-help_2.02.19940316-25_all.deb 0de2505d8c401ef16e5fc3631c3389e6069f2e85478ef1b7ff744868b5117511 418418 hol88-library-source_2.02.19940316-25_all.deb af48b50967ec763117aa488b40789667cb5c5d3bc406d0272a82cf5e6c947b64 251854 hol88-library-help_2.02.19940316-25_all.deb 8f0edd131280fb641c87a6d95e26c910b1dad52a2e5de5d21a70bec3bbd22eb4 732936 hol88-contrib-source_2.02.19940316-25_all.deb 0476aecda23bf687003e524218aeed2a993416f2f2a1db5b9da924f88482e4ca 24902 hol88-contrib-help_2.02.19940316-25_all.deb b181c7181c6ab5eb0346c71d1b449b96036582aa563ed029a1ca6b8f58f98b90 1053388 hol88-doc_2.02.19940316-25_all.deb Files: a965efe8d37e5ec0d7a4752c5812b401 5959932 math optional hol88_2.02.19940316-25_amd64.deb 427f89d6d38e93073219cb2ffd366a36 1293778 math optional hol88-library_2.02.19940316-25_amd64.deb 0d96da332861ebab6bdcbf428e08bf54 296564 math optional hol88-source_2.02.19940316-25_all.deb 271f512f3a13205faa3ab7f9a81135e5 225562 math optional hol88-help_2.02.19940316-25_all.deb 69e4b9c3e6369f99e803570e14207e98 418418 math optional hol88-library-source_2.02.19940316-25_all.deb 7304ab9242977d9aa153a236f3382456 251854 math optional hol88-library-help_2.02.19940316-25_all.deb 18858b5abb9558cd2f611c82085f3030 732936 math optional hol88-contrib-source_2.02.19940316-25_all.deb 60f88bf5723afa25a810a0362be35a56 24902 math optional hol88-contrib-help_2.02.19940316-25_all.deb 568f4f70725cea372c6fea53ce8ce588 1053388 doc optional hol88-doc_2.02.19940316-25_all.deb 7843e161d1a53e2cbd56e0745554790e 1635 math optional hol88_2.02.19940316-25.dsc 41c556591d1118d7accd4c641101f55d 130628 math optional hol88_2.02.19940316-25.debian.tar.xz
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlPzpSwACgkQczG1wFfwRdz9bQCgkTEw/lh2gNwTMBmm8znHipqF ia8AoIDYcN4O47FsuP1ygmDaMs8jC/IY =xSlG -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1xjppp-0004bv...@franck.debian.org
