-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 11 Aug 2014 16:13:22 +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-24 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-24) unstable; urgency=medium . * build against latest gcl Checksums-Sha1: c68a115a21d8fd1a25222b80231371922f98a29b 1635 hol88_2.02.19940316-24.dsc b2d21e175b10a68ded9208d67a1902905dc3fc64 130664 hol88_2.02.19940316-24.debian.tar.xz c68eb81904742c5827427024f62d151ba80fa5aa 5955700 hol88_2.02.19940316-24_amd64.deb 2b253ec95733fd823340a0edfaa8dc9b1863f340 1270648 hol88-library_2.02.19940316-24_amd64.deb 00e8b88f3f8fb9667fbfc3e3246c5c3c0e16a004 296490 hol88-source_2.02.19940316-24_all.deb a353aea8c5430774ae0de74508816c2fc7854d84 225592 hol88-help_2.02.19940316-24_all.deb 193de2b2539618906d18a39e7da6435bec238dfb 418492 hol88-library-source_2.02.19940316-24_all.deb 68cc575a73ef92a2fe035c6a0c08f0fa60b32a71 251856 hol88-library-help_2.02.19940316-24_all.deb 6eef057b370ad5741d9738e12458962a22dc80cd 732886 hol88-contrib-source_2.02.19940316-24_all.deb a4ad349665d4896702e947b35e263e9f2c8415d0 24888 hol88-contrib-help_2.02.19940316-24_all.deb bf94d5c27d57e679709b4c97eb9e8cc0bfcd801b 1052202 hol88-doc_2.02.19940316-24_all.deb Checksums-Sha256: 68166d7ad4db24595f916213f27e780457aa6b341782ec98c1b06df64a2c8c5d 1635 hol88_2.02.19940316-24.dsc 7c2274857fa1363ad57dd2d8535c54ac207f8ee869a2d14e0f70583bfeb35821 130664 hol88_2.02.19940316-24.debian.tar.xz c650fdae9663e983d59aea47d1152d95e3296e12afe0911692937b031c4620c7 5955700 hol88_2.02.19940316-24_amd64.deb afe675616c17cc179f9bd51c9a57ecdb76d931a00d3102990a70ff4f2bc50441 1270648 hol88-library_2.02.19940316-24_amd64.deb f1401e59a56b1420dc82730fcbfad59f0b43723361998b834a7327215e812e21 296490 hol88-source_2.02.19940316-24_all.deb f4e963d3b357cfdee1975590382d6a61cd6007a24c7871059f7ff4020165890d 225592 hol88-help_2.02.19940316-24_all.deb 0823708329572236a0d0af21c5be1a8144046a737faa6ffc7c8d771c3d721839 418492 hol88-library-source_2.02.19940316-24_all.deb c693a97a9de818514d741ee8077112bcfaa398b633e239f3145da9ca81f9a92f 251856 hol88-library-help_2.02.19940316-24_all.deb fbbddaaa1af87085e1144cc778215841832e6a3439670549255bd8bc896fa9ce 732886 hol88-contrib-source_2.02.19940316-24_all.deb aeac0be85ae5fb8befea5f2393d144a8fada679fd104977b3dbab40839bfe9d2 24888 hol88-contrib-help_2.02.19940316-24_all.deb 829d62140fd1ebc9387243e2f398003c6a7ad1b2a48cfc72ed5f240b70f53b19 1052202 hol88-doc_2.02.19940316-24_all.deb Files: b1570d5fd2f8aa167625708dd880a689 5955700 math optional hol88_2.02.19940316-24_amd64.deb 7d829050a13838c8fe4f2ecc9c82d19b 1270648 math optional hol88-library_2.02.19940316-24_amd64.deb 3f32101c6dbfa7b5af8365276ad6df65 296490 math optional hol88-source_2.02.19940316-24_all.deb d19491eb32263342a3fa4a2331ec3bd9 225592 math optional hol88-help_2.02.19940316-24_all.deb b7e12666296c573d135d87474d514032 418492 math optional hol88-library-source_2.02.19940316-24_all.deb e71eae2f70b5a3004cc73c46502e0400 251856 math optional hol88-library-help_2.02.19940316-24_all.deb a7535417a02df1ecd3379d21a8fc7fb0 732886 math optional hol88-contrib-source_2.02.19940316-24_all.deb 7679219079dbfcd8f22214176e01dd0f 24888 math optional hol88-contrib-help_2.02.19940316-24_all.deb b5363bc4af4c19add22c241e6284ce6c 1052202 doc optional hol88-doc_2.02.19940316-24_all.deb 4cd5cc8a1cc478dc360834d6ca7e967e 1635 math optional hol88_2.02.19940316-24.dsc cae562a00f28997bb97dff08ada306e1 130664 math optional hol88_2.02.19940316-24.debian.tar.xz
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlPpBxcACgkQczG1wFfwRdxGKgCggKNuclec7qE7KKQG+o+wQnz9 tVgAnRBJG3lKFXFZIEVDU7ckEDOXIOEN =IlY7 -----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/e1xgvmd-00052s...@franck.debian.org
