[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted hol88 2.02.19940316-27 (source amd64 all) into unstable



-----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-----


Reply to: