-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 07 Aug 2013 21:26:12 +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-16 Distribution: unstable Urgency: low 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-16) unstable; urgency=low . * build against latest gcl Checksums-Sha1: b13263e61edc9c3fa4a4e42b3044d7e4d0a82f36 1580 hol88_2.02.19940316-16.dsc 721190f4f17db8910796c5b05c1b6381dde1015c 170331 hol88_2.02.19940316-16.debian.tar.gz b397bda3816afd9a9bf6b0950ffaecf639249865 5936262 hol88_2.02.19940316-16_amd64.deb 8899306879460a9b557598b9b65f90091a4c84dd 1241510 hol88-library_2.02.19940316-16_amd64.deb ae25ce039467a8ee30ca576be3e6e29d700cf7f1 296972 hol88-source_2.02.19940316-16_all.deb d83428b972a271624fe31bce61fc85418d69d83d 221318 hol88-help_2.02.19940316-16_all.deb 2fec350a1ad38d8a4ef68abc60606d2614d93482 419294 hol88-library-source_2.02.19940316-16_all.deb 3d9d7aed2b85332166eaa962626a69bbd22ee393 243430 hol88-library-help_2.02.19940316-16_all.deb e5c4d350307b18fa5e7065a6ecda0d1202d411c1 730110 hol88-contrib-source_2.02.19940316-16_all.deb a8e7ef4fbca68ff464de8602810ae2c84968de8e 24488 hol88-contrib-help_2.02.19940316-16_all.deb e76fb361dd6cd5713478efa95b3057bf5c91d372 1050524 hol88-doc_2.02.19940316-16_all.deb Checksums-Sha256: f0c34e0cee0d82e55e4ec4508f1f8bca605ebeb65475077f539b7a780f188f5e 1580 hol88_2.02.19940316-16.dsc d626486227f3240893f3fca4201ca0629e0c709956359b0dcbb779f077e4700a 170331 hol88_2.02.19940316-16.debian.tar.gz a60928008c3cf8ad9699f9f56b9af4ab56643ecaf24794248cc0f9d814da40c4 5936262 hol88_2.02.19940316-16_amd64.deb 18901c8c09fe38bb9f0eb573fdd8a05bcb458c13d0153cca1fec49a8d65e5e25 1241510 hol88-library_2.02.19940316-16_amd64.deb 113b2a35520cb9bce462b61a782febf16ba4bce65373a492b7e50a224fbccff1 296972 hol88-source_2.02.19940316-16_all.deb 35337d74a6ac06c3ceecb48b14a11256da085996adc4b770387e1d64b42e6a4c 221318 hol88-help_2.02.19940316-16_all.deb 8b71326cd8c7e210304db16827202cde559f47a843eeff8def5579c8aeda4681 419294 hol88-library-source_2.02.19940316-16_all.deb b82432fb8b4ea06e18d335865ee26586b45cf1873bbc53011ba35a0c93c78d90 243430 hol88-library-help_2.02.19940316-16_all.deb 60e6ffdab7531ec31a9477d05f25ecf8b0646a3982a5a27d3d2875cb5a6442f9 730110 hol88-contrib-source_2.02.19940316-16_all.deb ce8d934eff99c6ccf9fc75e074a4bdcd1d3a5aa35c74f78266694b0cdde2b272 24488 hol88-contrib-help_2.02.19940316-16_all.deb 0bc62ffe92f8accb75d461ad18364b0b087d4a9d63ae3eff0f7ca321159e3b96 1050524 hol88-doc_2.02.19940316-16_all.deb Files: 265820818ed02a6737577fcb8e8c19df 1580 math optional hol88_2.02.19940316-16.dsc 9ec547f3252676967111d9e577f19b39 170331 math optional hol88_2.02.19940316-16.debian.tar.gz 43b917a834c466157f7ece11cda5723d 5936262 math optional hol88_2.02.19940316-16_amd64.deb aca7c077efcb25cfabd9545650fee398 1241510 math optional hol88-library_2.02.19940316-16_amd64.deb befc5626265a32cddad48fc95eea60f3 296972 math optional hol88-source_2.02.19940316-16_all.deb df65d500e906629ebe0472ce19149aca 221318 math optional hol88-help_2.02.19940316-16_all.deb a9bd59909f0bb4e456be88f1ac863982 419294 math optional hol88-library-source_2.02.19940316-16_all.deb 6cb0ae552319f6e0164dd053422fcf74 243430 math optional hol88-library-help_2.02.19940316-16_all.deb 94059cd597f5589823174308cd193848 730110 math optional hol88-contrib-source_2.02.19940316-16_all.deb 19a24ea3e88a0baaf745d3cb48344a69 24488 math optional hol88-contrib-help_2.02.19940316-16_all.deb 4d64e428faf6c753ae481ade742d70b2 1050524 doc optional hol88-doc_2.02.19940316-16_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iEYEARECAAYFAlICvPUACgkQczG1wFfwRdwAQQCeIDFBRdOwapMCpYbXniRSuuHv X3cAn1XDEPEvVdHymDXgl3LukTj4oAOf =M7F6 -----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: http://lists.debian.org/e1v7br9-0003ag...@franck.debian.org
