-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 07 Sep 2014 22:37:23 -0400 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-27 Distribution: unstable Urgency: medium 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-27) unstable; urgency=medium . * build against latest gcl Checksums-Sha1: 0cd151bb71ee7b3f8c1f043e919c2097ec5c5927 1632 hol88_2.02.19940316-27.dsc 64268a3f2c6d7ba71e7cd255ea47c95a6d58e4c3 130736 hol88_2.02.19940316-27.debian.tar.xz 841a04325927fe673a0cbcb15546d846bf103dcb 5993232 hol88_2.02.19940316-27_amd64.deb 63bc3da989ac05a2d4cbce7a5adc442707062cc0 1283418 hol88-library_2.02.19940316-27_amd64.deb 27d86f5825b644777e433e53b2cf9b600afc72e0 296884 hol88-source_2.02.19940316-27_all.deb df6ca87fc662511e7ab57a1d083ec4220e728c16 225312 hol88-help_2.02.19940316-27_all.deb 9c0ca3edca7f25a074fdf9accb79a004a296ecad 419630 hol88-library-source_2.02.19940316-27_all.deb 848b7e3c3b2a7bbf5ca73474e17cefc0e09ca307 252122 hol88-library-help_2.02.19940316-27_all.deb 424b32273a34820933f099cc7ca1550117e768ad 732846 hol88-contrib-source_2.02.19940316-27_all.deb 439a6d573e886161d8aae532f20ad3ca98aed9f8 24924 hol88-contrib-help_2.02.19940316-27_all.deb d54de6f8022bdf32bdd38a1f0aea89fd6448d58a 1052136 hol88-doc_2.02.19940316-27_all.deb Checksums-Sha256: 2a16a5b54bec57d4003bc1fd99fff6b930a44d019904fd94d1847d72c3e0ca99 1632 hol88_2.02.19940316-27.dsc 8e44a53a4b19bcf7acfea930a7c0852223b9ca6f7551a558fe5891c4a7288822 130736 hol88_2.02.19940316-27.debian.tar.xz f3be3d004e66253bf017d87f01f25fc721c6ed38b88361f749ce72f56d21977f 5993232 hol88_2.02.19940316-27_amd64.deb 886312d47c394f5cb5052ec8e3dcbe5fd48097a30bc8ec23b609e0e29db10515 1283418 hol88-library_2.02.19940316-27_amd64.deb e838f3f78c85f63d45b96a16f16224df3bba1034b6b1056524bf0c4db1598ca3 296884 hol88-source_2.02.19940316-27_all.deb b9b87bb6462fd552461e1afb5725648ea9b7aa7a8364e5e53be967e088fd924e 225312 hol88-help_2.02.19940316-27_all.deb b4a2f948d56afabeb271b651ec872000092424f386a69f3b1aa77c8faa69fcba 419630 hol88-library-source_2.02.19940316-27_all.deb 0cb136df85f5971e49552b14db2beb7cc8161887697222ac461256c27b0631f4 252122 hol88-library-help_2.02.19940316-27_all.deb 84be3c4c5a58f284cc02842456897b3a8bd032f9e549162eeb45213d905be716 732846 hol88-contrib-source_2.02.19940316-27_all.deb d593f2159ceca5a6e8e223f2451419e7e1c2c89f6262b984e18125645adae5be 24924 hol88-contrib-help_2.02.19940316-27_all.deb eb3c1220e2504670a20b9d7eafdb9789838d522f1cf127e0566e65b629b68991 1052136 hol88-doc_2.02.19940316-27_all.deb Files: a2f7230f6cf2812fbc4d0cae4a0a2ee0 5993232 math optional hol88_2.02.19940316-27_amd64.deb 55359012221fea8272571ccc3349591f 1283418 math optional hol88-library_2.02.19940316-27_amd64.deb 74e50c51f85c81e71f9338e283274664 296884 math optional hol88-source_2.02.19940316-27_all.deb 2d4fb8bc2499c6d801e830b951380f20 225312 math optional hol88-help_2.02.19940316-27_all.deb a784f9f4fdc029a1f296850afd41e3ff 419630 math optional hol88-library-source_2.02.19940316-27_all.deb d0dee1249a699f37f88d64e9bd3e7898 252122 math optional hol88-library-help_2.02.19940316-27_all.deb 5dfced82b8282cadbaef36b4045829ff 732846 math optional hol88-contrib-source_2.02.19940316-27_all.deb 9f354e842757f3d3c162396d6ab796eb 24924 math optional hol88-contrib-help_2.02.19940316-27_all.deb 6089e0458ea99e09e1c9692141bac8b5 1052136 doc optional hol88-doc_2.02.19940316-27_all.deb 8e4590e183dda59864e0f9a01fc77f9f 1632 math optional hol88_2.02.19940316-27.dsc 1d6cb093ef99a5661d53fa64bd2d77e5 130736 math optional hol88_2.02.19940316-27.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlQNGUcACgkQczG1wFfwRdxxkACeKufw7ApAGYLWcp9vY0d611Wl QcMAn1cbLWT0NAzczEZ3coLLPzS9cBaE =9VSU -----END PGP SIGNATURE-----
