Accepted hol88 2.02.19940316-13.1 (source all amd64)
-----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 <camm@debian.org>
Changed-By: Jonathan Wiltshire <jmw@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