-----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 <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-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----- -- 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/e1vhpn4-0007ah...@franck.debian.org
