Accepted hol88 2.02.19940316-15 (source i386 all)
-----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