Accepted hol88 2.02.19940316-19 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 16 Nov 2013 18:01:29 +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-19
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@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-19) unstable; urgency=low
.
* build against latest gcl
Checksums-Sha1:
6fe0ddc44664e8a7dc17ae2e6f8f35c6c4887ae0 1574 hol88_2.02.19940316-19.dsc
7f163abd495556174f3eea40d10bbdad97021624 170756 hol88_2.02.19940316-19.debian.tar.gz
e416957a6cfb367845b430eabd57dc63f28dc54e 6168034 hol88_2.02.19940316-19_amd64.deb
906eb38e4edead71978e81779c10b0a0e2649e97 1303038 hol88-library_2.02.19940316-19_amd64.deb
a91c5eaba8f649f75e542e86787ef3a19cea192c 296798 hol88-source_2.02.19940316-19_all.deb
0d666215b724bae0214957b8369db220ac589c28 221584 hol88-help_2.02.19940316-19_all.deb
8a372c8590adaf2dbc8e4d994cbd69e461936fef 418662 hol88-library-source_2.02.19940316-19_all.deb
2587c9ddbdead18db8bffe16c1031ea19c9df55a 243470 hol88-library-help_2.02.19940316-19_all.deb
cc3b10111178ec4c0c114177c1b638d9b7415a13 731696 hol88-contrib-source_2.02.19940316-19_all.deb
6b19498c863fc01787ab0cc4f8a56bd72e30eb8f 24522 hol88-contrib-help_2.02.19940316-19_all.deb
4a24ed9fc05a3b20419307d2ab94bf4f09db6cb7 1052118 hol88-doc_2.02.19940316-19_all.deb
Checksums-Sha256:
f542a04c25320ffbf0d2cf6da8131c1820208d1531d9bd2ad76cdf14340a8877 1574 hol88_2.02.19940316-19.dsc
1f45676374cddb889b3dc2e52dec6ca86c193bb2d5e3000b5e5060a88bdf9f0a 170756 hol88_2.02.19940316-19.debian.tar.gz
d8e2a1a8bef3bd0385c9c129b728c8516e1dd5b346f06c80e1815d1e132dff89 6168034 hol88_2.02.19940316-19_amd64.deb
160f96edfd71a3af7e9dedc142900f9de40df8587fe75f7b9483369f34ce69fa 1303038 hol88-library_2.02.19940316-19_amd64.deb
d9eb1b9545f1b6802677e15086587f8a4f91121adc89bc32a3a3a5d00e600b92 296798 hol88-source_2.02.19940316-19_all.deb
a92c2cb08e547d0fb3f5b2770e445de1e735bb04bedc24fa56384cb40bbc600f 221584 hol88-help_2.02.19940316-19_all.deb
94b975ccf94a74d1fed85751e80a7f3a8925f4e66f8c67f691a81b4256fdc8c9 418662 hol88-library-source_2.02.19940316-19_all.deb
f85e4caf814e52b0bb6ce89449df6e52fc91122a17d9cd430ec093d474d3997d 243470 hol88-library-help_2.02.19940316-19_all.deb
4003cd5fc8524eef4d8913ebac771b6b6042d97673ee83f12e8a6a1500063317 731696 hol88-contrib-source_2.02.19940316-19_all.deb
1bd941bd7d3b5382e0777151b8081871d945001f3b90da83c013d5e3b4349fa1 24522 hol88-contrib-help_2.02.19940316-19_all.deb
24395d698cab5ee68892986c512052087f1deab02503b749a81031f1bd11a0fc 1052118 hol88-doc_2.02.19940316-19_all.deb
Files:
cb2096e51726a2f426f6702e0e37aaf1 1574 math optional hol88_2.02.19940316-19.dsc
18ef5354a8da27c88e79bc265314077e 170756 math optional hol88_2.02.19940316-19.debian.tar.gz
1af8247c78b4dd98c9c7753182536d56 6168034 math optional hol88_2.02.19940316-19_amd64.deb
35b0952a1454cefa7f5fcdfb16612bdb 1303038 math optional hol88-library_2.02.19940316-19_amd64.deb
a8a8558e6cfab844fd06c0984f0fba0e 296798 math optional hol88-source_2.02.19940316-19_all.deb
70c687214bb432e5810cc6d4e7039ce7 221584 math optional hol88-help_2.02.19940316-19_all.deb
1893c0ac32df4f9c5b750de47f983567 418662 math optional hol88-library-source_2.02.19940316-19_all.deb
04252d1f74d4eb34a34d122818035ed7 243470 math optional hol88-library-help_2.02.19940316-19_all.deb
7b04f42ded83a22311766291446f33f9 731696 math optional hol88-contrib-source_2.02.19940316-19_all.deb
2c1badfbc9329bac7af9b6ea3928c62b 24522 math optional hol88-contrib-help_2.02.19940316-19_all.deb
2b9665f555c3fb96fa81fc1d774d140d 1052118 doc optional hol88-doc_2.02.19940316-19_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iEYEARECAAYFAlKH/pgACgkQczG1wFfwRdwc5ACeNb7cAvtGiXfZH1h4H0NLRlab
67oAniUktnlRwE08qsoEugM3QOno0mTO
=lirc
-----END PGP SIGNATURE-----