-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 25 Sep 2010 15:19:33 +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 i386 all Version: 2.02.19940316-10 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-10) unstable; urgency=low . * rebuild against newest gcl Checksums-Sha1: 939c22cee1af56532ad3a787526bc224c4e8457e 1239 hol88_2.02.19940316-10.dsc ba3b86a3f038cbf62531b503ebc0102035704a44 29555 hol88_2.02.19940316-10.diff.gz a8d0387333123685a4720415b44ec224c823505d 12035238 hol88_2.02.19940316-10_i386.deb 6dd7e9596bd68cfb4c7ebe6f09af988d6ad203e9 4689300 hol88-library_2.02.19940316-10_i386.deb 14d35b0145e8ed2d792c6ec1f40b659e7e1798cc 376954 hol88-source_2.02.19940316-10_all.deb 5ab23379613e999ae946ab38e803a52f515dc39c 322562 hol88-help_2.02.19940316-10_all.deb 09fbebc2f628c65e4bd925f6afb2caf1947806c9 566652 hol88-library-source_2.02.19940316-10_all.deb e2b9ea3f4b0f439243ded69e5dfa1fcc49cd25ff 310738 hol88-library-help_2.02.19940316-10_all.deb e4323e6b37ac196a2cb3983b6531a75312e638a4 1009222 hol88-contrib-source_2.02.19940316-10_all.deb aaf40cbc7d40e550852a623faebb1dec98cb62bc 26738 hol88-contrib-help_2.02.19940316-10_all.deb 2b9f197c2dcff088d186edce6c99412c1b2031c9 1056228 hol88-doc_2.02.19940316-10_all.deb Checksums-Sha256: 7744854ce154d1a463571f4b4a7c281d1152b102bf4e72aa9d5da3888b762a87 1239 hol88_2.02.19940316-10.dsc 7c137e2401cb893e4cba6594c8e07db7227fee8d86ba89d9c4d0e3dc013d3da1 29555 hol88_2.02.19940316-10.diff.gz 931e867abb688645112b66d14c31c683ce3ad2a58d2110e9273cdc8c4e6d370d 12035238 hol88_2.02.19940316-10_i386.deb 4ae46207c4d77c2ac96cd7da78069d096362e9f24f7e76a6eda10c04ccffb0d3 4689300 hol88-library_2.02.19940316-10_i386.deb e836e04ebee1cd2cded3425d80234dc8f2c2202b0680979d1752599452c7336b 376954 hol88-source_2.02.19940316-10_all.deb 7d7317a573f8b34a06f13ebbebcd04e5cc5b01d6221daa1e2ce8b2215bbd1788 322562 hol88-help_2.02.19940316-10_all.deb 1e9ef9c8a624c2c933536a895b83b3b14bb8dba8ed5ca88837379fd7a6a6c920 566652 hol88-library-source_2.02.19940316-10_all.deb 584a921dba353f9af27d054a271a27a745d247ccb55ae6b5ef3f0de4e2be919a 310738 hol88-library-help_2.02.19940316-10_all.deb e8dee663b79ec36124e59613a7cdc61161e7853ba929857491e9f1e430fa6775 1009222 hol88-contrib-source_2.02.19940316-10_all.deb 0157f593c28eafb6aa57425dce6307646e1ba808da46eec6f7bbc897651cd4df 26738 hol88-contrib-help_2.02.19940316-10_all.deb beeb6e76d2cbd4ec4258036134f5ffd2b1161ca45f97909a19c3d68a179fc122 1056228 hol88-doc_2.02.19940316-10_all.deb Files: 8382987d0ab6f0859fdbda14998616ac 1239 math optional hol88_2.02.19940316-10.dsc c008485077fa3835d35bcaa07ce8986d 29555 math optional hol88_2.02.19940316-10.diff.gz e22fb9579d4cba812ac62c7c3d18494f 12035238 math optional hol88_2.02.19940316-10_i386.deb 351e8005c5fd0c32e7273b3e83e8094a 4689300 math optional hol88-library_2.02.19940316-10_i386.deb ee74682da94c96f017f202e37f2f7fb5 376954 math optional hol88-source_2.02.19940316-10_all.deb 47fd9f39eb60c967ff280df1c4b956d2 322562 math optional hol88-help_2.02.19940316-10_all.deb 6167e412bafee272c22d27a6ad9d6f89 566652 math optional hol88-library-source_2.02.19940316-10_all.deb fc131c1fbba10ccb7242a2bb5fddd66d 310738 math optional hol88-library-help_2.02.19940316-10_all.deb 753ec0d23e9387ec5d8c6dbde028bb6d 1009222 math optional hol88-contrib-source_2.02.19940316-10_all.deb f941d6d4c9ad8c50a5b076c71a024d69 26738 math optional hol88-contrib-help_2.02.19940316-10_all.deb 0dee17266d81d70db56e66c717d5b3b2 1056228 math optional hol88-doc_2.02.19940316-10_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkyeVZkACgkQczG1wFfwRdwLbwCgrVCw9+8QKegoVHoraLrm9dZv j+UAmwddR7DKvZHkRatm0ZP2y8Z2SdTh =1roT -----END PGP SIGNATURE----- Accepted: hol88-contrib-help_2.02.19940316-10_all.deb to main/h/hol88/hol88-contrib-help_2.02.19940316-10_all.deb hol88-contrib-source_2.02.19940316-10_all.deb to main/h/hol88/hol88-contrib-source_2.02.19940316-10_all.deb hol88-doc_2.02.19940316-10_all.deb to main/h/hol88/hol88-doc_2.02.19940316-10_all.deb hol88-help_2.02.19940316-10_all.deb to main/h/hol88/hol88-help_2.02.19940316-10_all.deb hol88-library-help_2.02.19940316-10_all.deb to main/h/hol88/hol88-library-help_2.02.19940316-10_all.deb hol88-library-source_2.02.19940316-10_all.deb to main/h/hol88/hol88-library-source_2.02.19940316-10_all.deb hol88-library_2.02.19940316-10_i386.deb to main/h/hol88/hol88-library_2.02.19940316-10_i386.deb hol88-source_2.02.19940316-10_all.deb to main/h/hol88/hol88-source_2.02.19940316-10_all.deb hol88_2.02.19940316-10.diff.gz to main/h/hol88/hol88_2.02.19940316-10.diff.gz hol88_2.02.19940316-10.dsc to main/h/hol88/hol88_2.02.19940316-10.dsc hol88_2.02.19940316-10_i386.deb to main/h/hol88/hol88_2.02.19940316-10_i386.deb -- 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/e1ozdlj-0001yw...@franck.debian.org