-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 14 Dec 2010 20:47:42 +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-13.1 Distribution: unstable Urgency: high Maintainer: Camm Maguire <c...@debian.org> Changed-By: Jonathan Wiltshire <j...@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 Closes: 606293 Changes: hol88 (2.02.19940316-13.1) unstable; urgency=high . * Non-maintainer upload. * Revert build-depend bump, as that version of gcl will not make it into Squeeze (Closes: #606293) Checksums-Sha1: a9e5beebf0b40a2c246573dfbed5b58ec244bc95 1888 hol88_2.02.19940316-13.1.dsc 058b9871a1455eada8b8a0ccbfd51f0141bfd079 118520 hol88_2.02.19940316-13.1.diff.gz 07317f647a64e36a83d160f0ad4a01c7244d6e28 14394954 hol88_2.02.19940316-13.1_amd64.deb a7afbb5ff1c59993bde8d0ad509e6c71512d74d8 5095642 hol88-library_2.02.19940316-13.1_amd64.deb 99015f0c557da1b4d2cd423c752d1ccf0ae54bb7 377110 hol88-source_2.02.19940316-13.1_all.deb dd8d54f144cc7b865af65395ea99982486de67c0 322772 hol88-help_2.02.19940316-13.1_all.deb 09e8b45600db6fcb0da7f763ccd395af55d1e785 567116 hol88-library-source_2.02.19940316-13.1_all.deb a77473cea22d8f144b3115fe7e5ae97258265ddb 308364 hol88-library-help_2.02.19940316-13.1_all.deb 752a21e349450852acd64f34e867ef80d3126128 1009556 hol88-contrib-source_2.02.19940316-13.1_all.deb 6073bba49a3806ea6a07efb98edfb5b5aab6e474 26958 hol88-contrib-help_2.02.19940316-13.1_all.deb b501350e6c3f0ff5732ae41edd1219d468821930 1056490 hol88-doc_2.02.19940316-13.1_all.deb Checksums-Sha256: 8f1fd76207a467eea9a26e5fd28a4ccb0f8037e3c88d122f2412f924d5e76663 1888 hol88_2.02.19940316-13.1.dsc 8b2d1a4d85202f36555f1ca0e52d5e5565f48300538ff56a87e6fdf2833cc490 118520 hol88_2.02.19940316-13.1.diff.gz b13549c85eee0a4151aad9b314e579266462e9233017b268012556d999478f27 14394954 hol88_2.02.19940316-13.1_amd64.deb 2406c20088cda0a04cfeacd065b9d9fbb256dc29b15b6d930d4f2a13152ce08a 5095642 hol88-library_2.02.19940316-13.1_amd64.deb a4b3428471b1dca87334faea106de6d4c3990c15e4f8531f71cfafd4bf8c9304 377110 hol88-source_2.02.19940316-13.1_all.deb 2aceb0ec6534ce3d7c6f032aa4f27f8ade88f9f79c87eccb92185edc1bc7f09c 322772 hol88-help_2.02.19940316-13.1_all.deb 2670fddb618a3768282a091b45f2c89d12579f51b1787603ed1deaf266e52a8f 567116 hol88-library-source_2.02.19940316-13.1_all.deb b18d6623fe09be9e4b0ba893b1ee8c5647f3078e92d540d3fc819926698469b5 308364 hol88-library-help_2.02.19940316-13.1_all.deb 0e469d810fe3af649041837b2c207e419f132c557f21b9ad19f6097e7804c803 1009556 hol88-contrib-source_2.02.19940316-13.1_all.deb f5fb35f32fdeb9d147f822beaf57445668276502a2049b132b378e5ebcf0a070 26958 hol88-contrib-help_2.02.19940316-13.1_all.deb 6cb2da033b628a7d99b402f3af341b7f81ab8c1423bb9190c2361f9deb5da665 1056490 hol88-doc_2.02.19940316-13.1_all.deb Files: 65d06f62ef1fb60f554b3dbf653d9219 1888 math optional hol88_2.02.19940316-13.1.dsc 768b83d80f20e2e496db33e9a337f914 118520 math optional hol88_2.02.19940316-13.1.diff.gz 6405fa1e2bb36bcba84c7457fc5b7195 14394954 math optional hol88_2.02.19940316-13.1_amd64.deb 404e3710860720e85e617871cce04719 5095642 math optional hol88-library_2.02.19940316-13.1_amd64.deb 90d1dc84fbc0d1d6663e5cff524e027e 377110 math optional hol88-source_2.02.19940316-13.1_all.deb 100e427d2d1f2a056e22f203936ecc93 322772 math optional hol88-help_2.02.19940316-13.1_all.deb 23dda723b8b06a46250d56fa05afa590 567116 math optional hol88-library-source_2.02.19940316-13.1_all.deb 0da1c15cd1a1dabc452de82ea859904f 308364 math optional hol88-library-help_2.02.19940316-13.1_all.deb 45fb959de7300a2a5049272d990ab296 1009556 math optional hol88-contrib-source_2.02.19940316-13.1_all.deb b1ac84e3d55f65895e3ac4d8e2a0c350 26958 math optional hol88-contrib-help_2.02.19940316-13.1_all.deb 9b11832d4404bc163661171ae9f0bfb8 1056490 math optional hol88-doc_2.02.19940316-13.1_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBAgAGBQJNB9mUAAoJEFOUR53TUkxRAigP/iosPnC5QYP/pIIQyboIny4I k//8Ep+0tiIJd7SkUzazxGe02OrTi4rllXGSyqp1rcrR1QffDjeaWcN4BQDXSesG /kaZEQVeH5q/sK1xw5HBfJ8+he9a5xRMeYod8vNOrn8UrNNQw2phQ+ikYGMDXS3r pd/biMTRY//N2TBcODlUSbVyl5Nw6Ee5/g/b/YpxOCnUGGM0TMybtYQMVxOXS2YN 7oJ3O9zuor7RIHxYktmLOGLT1GR7gR3uyKlj2Q1AXksCPePXLRxYtjIMe8JKCLD0 L8gmU17O1sSPkxlXLWNW/byKTI50UbL66sEShp4G45ISLHlsLuwCEbn3yVndkZVS EeU79jX5pu/fnQ7V4rwmtT5yIcFnDcG64BvcmIOuRJiWweXlxitgQ/pxy9sDVJzY O/sH9emWCwEga7beWb88LU99qumrj8a8dCZvmuVdFanSaiv3MBgd7sCzId1g9t2s lh9HTENytUAWnYnPCJuwHmK49tGHTavGov/UpKphS+LGnjMQ7j2uG+51xP4ie0m0 p0cgmX6CkMTuWrFHWowbU6KihYPYXdDq3r9S05qIKxYq+LJrs9ivjMhQe89BOMJe cSNFO6C2cyuj78UYLbNpHpSgzhjIf+gvF6hR/KkHq+2+UL/E4eviGNcgCQPNaXMy v3m6Nqp2Uvi42/cG9KNb =NIgb -----END PGP SIGNATURE----- Accepted: hol88-contrib-help_2.02.19940316-13.1_all.deb to main/h/hol88/hol88-contrib-help_2.02.19940316-13.1_all.deb hol88-contrib-source_2.02.19940316-13.1_all.deb to main/h/hol88/hol88-contrib-source_2.02.19940316-13.1_all.deb hol88-doc_2.02.19940316-13.1_all.deb to main/h/hol88/hol88-doc_2.02.19940316-13.1_all.deb hol88-help_2.02.19940316-13.1_all.deb to main/h/hol88/hol88-help_2.02.19940316-13.1_all.deb hol88-library-help_2.02.19940316-13.1_all.deb to main/h/hol88/hol88-library-help_2.02.19940316-13.1_all.deb hol88-library-source_2.02.19940316-13.1_all.deb to main/h/hol88/hol88-library-source_2.02.19940316-13.1_all.deb hol88-library_2.02.19940316-13.1_amd64.deb to main/h/hol88/hol88-library_2.02.19940316-13.1_amd64.deb hol88-source_2.02.19940316-13.1_all.deb to main/h/hol88/hol88-source_2.02.19940316-13.1_all.deb hol88_2.02.19940316-13.1.diff.gz to main/h/hol88/hol88_2.02.19940316-13.1.diff.gz hol88_2.02.19940316-13.1.dsc to main/h/hol88/hol88_2.02.19940316-13.1.dsc hol88_2.02.19940316-13.1_amd64.deb to main/h/hol88/hol88_2.02.19940316-13.1_amd64.deb -- 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/e1puqrs-0004qz...@franck.debian.org