-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 11 Apr 2012 18:43:47 +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-15 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-15) unstable; urgency=low . * lintian fixes * 3.0 quilt source format Checksums-Sha1: 7ab7967705a0d02500e195f85849aef0c7f215d1 1574 hol88_2.02.19940316-15.dsc 4aeb2d3928711e2b92a59eb5b5052e5b81a85040 170556 hol88_2.02.19940316-15.debian.tar.gz 8960c63de6ec306d6c13c59e3072976744985a0c 8625694 hol88_2.02.19940316-15_i386.deb 871aaaf5a5d2f64136c1388e0194f6ddb5a2d44b 2051934 hol88-library_2.02.19940316-15_i386.deb 122424426bd7ae06cfab1b3762577c8c0447838b 377290 hol88-source_2.02.19940316-15_all.deb 5b325f87a6cd0ec4393e9fa93f17130811615131 322926 hol88-help_2.02.19940316-15_all.deb 158a2d687d350a580aa607dc0ddf622544b5921c 567032 hol88-library-source_2.02.19940316-15_all.deb de481fc54c423c4838f217dc2ccb507fc712edfc 311078 hol88-library-help_2.02.19940316-15_all.deb 1a4a5cb527f141683b6d8f85a88ca6720b1d0554 1009534 hol88-contrib-source_2.02.19940316-15_all.deb 309e1fba1ac0ef50de9ad3cb04b30edf24e841ab 27092 hol88-contrib-help_2.02.19940316-15_all.deb 787aac3ab434ead775fc8b1c1f09066e7cd09619 1051202 hol88-doc_2.02.19940316-15_all.deb Checksums-Sha256: 3da8bac91eef6930566ced1052a4e0f4bacf3143b8feecdcff52623652d995be 1574 hol88_2.02.19940316-15.dsc fcb48b4c5311631875c4ac25a7b2398a149d14e114a54f17b6b4e28521047856 170556 hol88_2.02.19940316-15.debian.tar.gz d75ede78d633dbca9aa9002920fefb2ae1e9f20826faaf8b217bb6f8bf4189a4 8625694 hol88_2.02.19940316-15_i386.deb 85d55974b00614faf1734ce1717b6661f6ad615816ee276064bc2e816ef717db 2051934 hol88-library_2.02.19940316-15_i386.deb a7a49ee1a9fb76871c8af2de5ae96fc31860c9a8fdb7a395c4aa9995b101a80d 377290 hol88-source_2.02.19940316-15_all.deb 184590cd8a84126eff6905d4ed180d90b6e54212179220fae8e70e3f363267cc 322926 hol88-help_2.02.19940316-15_all.deb 5ae90092b19abceb0f04f99d6e516e0f9f48df9179877d3ecf639a0a338b4912 567032 hol88-library-source_2.02.19940316-15_all.deb 7c54e36d7ce36e36086f859b1ff79d634989665195e384550480f7f9c9285fb9 311078 hol88-library-help_2.02.19940316-15_all.deb 27ba59b7e420f8802dfc5df2d48812a6f7548c8c01f14ef72d3f0a8716aac3c1 1009534 hol88-contrib-source_2.02.19940316-15_all.deb bf515184b87c5f80e55b80846773efb671956cd79562e2e13f49855463a331a6 27092 hol88-contrib-help_2.02.19940316-15_all.deb 018ef296330f336ea2c355246f564c552c9503959e0835b0b88405ef7126d09a 1051202 hol88-doc_2.02.19940316-15_all.deb Files: 324e670eabd377286339fdfccfb46981 1574 math optional hol88_2.02.19940316-15.dsc b5191f4e4ba37d38c53aa728431267dd 170556 math optional hol88_2.02.19940316-15.debian.tar.gz 67601e91a668c4d614a2492d6dbcba57 8625694 math optional hol88_2.02.19940316-15_i386.deb 3fd6e01a04efa8f267a8193c7abca35f 2051934 math optional hol88-library_2.02.19940316-15_i386.deb 4e314ae80416dcb8c89bff35a586d500 377290 math optional hol88-source_2.02.19940316-15_all.deb 9f3ece74334e216c4ee0152a9682e4d0 322926 math optional hol88-help_2.02.19940316-15_all.deb b1076240edef3542b928bfd79a43e7b4 567032 math optional hol88-library-source_2.02.19940316-15_all.deb 6dda52ea89015a870ae4e994aaeae97f 311078 math optional hol88-library-help_2.02.19940316-15_all.deb f191d5274d31752d3bc61148bb5fafd2 1009534 math optional hol88-contrib-source_2.02.19940316-15_all.deb deafe21749833693d2305a3f19a01e40 27092 math optional hol88-contrib-help_2.02.19940316-15_all.deb 1ba83b752066869d22fefce650772565 1051202 doc optional hol88-doc_2.02.19940316-15_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAk+F3CkACgkQczG1wFfwRdzN9QCgn22msxYgn9HO0zGgcXAgMdNO 3e0An08mvUODUgWoyCMhZW9z7O3RHTCA =OxXE -----END PGP SIGNATURE----- Accepted: hol88-contrib-help_2.02.19940316-15_all.deb to main/h/hol88/hol88-contrib-help_2.02.19940316-15_all.deb hol88-contrib-source_2.02.19940316-15_all.deb to main/h/hol88/hol88-contrib-source_2.02.19940316-15_all.deb hol88-doc_2.02.19940316-15_all.deb to main/h/hol88/hol88-doc_2.02.19940316-15_all.deb hol88-help_2.02.19940316-15_all.deb to main/h/hol88/hol88-help_2.02.19940316-15_all.deb hol88-library-help_2.02.19940316-15_all.deb to main/h/hol88/hol88-library-help_2.02.19940316-15_all.deb hol88-library-source_2.02.19940316-15_all.deb to main/h/hol88/hol88-library-source_2.02.19940316-15_all.deb hol88-library_2.02.19940316-15_i386.deb to main/h/hol88/hol88-library_2.02.19940316-15_i386.deb hol88-source_2.02.19940316-15_all.deb to main/h/hol88/hol88-source_2.02.19940316-15_all.deb hol88_2.02.19940316-15.debian.tar.gz to main/h/hol88/hol88_2.02.19940316-15.debian.tar.gz hol88_2.02.19940316-15.dsc to main/h/hol88/hol88_2.02.19940316-15.dsc hol88_2.02.19940316-15_i386.deb to main/h/hol88/hol88_2.02.19940316-15_i386.deb