Accepted hol88 2.02.19940316-12 (source i386 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 21 Oct 2010 19:59:51 +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-12
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-12) unstable; urgency=low
.
* remove stray raw_*_map files
Checksums-Sha1:
aa488e4b87ea581021e31551cf0f5a52d9b50047 1242 hol88_2.02.19940316-12.dsc
80d04cd4542e7c6daba7e67d8d08a74474bd415d 118576 hol88_2.02.19940316-12.diff.gz
30f24ea5570e7050419ec6045c89285ee7ef610e 12048334 hol88_2.02.19940316-12_i386.deb
aa533c3f2834f70ae09f838cf96b25c06ffd90cb 4687114 hol88-library_2.02.19940316-12_i386.deb
4ab1fc75bc9002d75ce5741ede7751b31dcebdfd 377216 hol88-source_2.02.19940316-12_all.deb
9c58910886e8ab62e0ef77f220991f5a51c3810b 322814 hol88-help_2.02.19940316-12_all.deb
ea3b5b8df7013ac6092bb7dede3be4519b61f1af 566892 hol88-library-source_2.02.19940316-12_all.deb
64beec53a03e5dad9794ca63b9aef024924d9c99 311030 hol88-library-help_2.02.19940316-12_all.deb
94daa5200197981db24482fbe678bf8c78654ed9 1009438 hol88-contrib-source_2.02.19940316-12_all.deb
e760bb57e1f32da1728dc44c10e941f717d9d8fe 26992 hol88-contrib-help_2.02.19940316-12_all.deb
d6a734db6dd2cd19f61da13b88e48da1b9eb58b1 1056200 hol88-doc_2.02.19940316-12_all.deb
Checksums-Sha256:
073cf77a7cccb9d8a5679df06461525f4fa3cb34284965d829f519b996a1cbfd 1242 hol88_2.02.19940316-12.dsc
e67b7d4da7237aff7e72c7bf7c3db9388b2ea866b2a16d668ae3b7b033f01ac8 118576 hol88_2.02.19940316-12.diff.gz
55eff6e284018501e809173a5036f7c98258c0762a4f031d4f9e4dcf54aa5694 12048334 hol88_2.02.19940316-12_i386.deb
bf71ff17108baf779c93edf603e5345d1558a60523646be9aa66d3ff7b1240da 4687114 hol88-library_2.02.19940316-12_i386.deb
5685d05ffd115e99d7e5fbf076cd25f32b42b3f4b58d968f8b9a57a9775ce9a6 377216 hol88-source_2.02.19940316-12_all.deb
c29ddb273cfbbaf8aef0c01d9cc4844951a71b660ff631dab67418a90cdc68b8 322814 hol88-help_2.02.19940316-12_all.deb
0e85a2d5ab84071719ef8ba39e40d097e797d8051cb41b79e4e0a2876664a646 566892 hol88-library-source_2.02.19940316-12_all.deb
5698b0560322bc09510ff9a541b43a745497bc4f98b7c24dc6b4168b13943048 311030 hol88-library-help_2.02.19940316-12_all.deb
23eb214e052704fa8f8f1f24b5fc00bdb40c312bc4c0ed4a9c3d499501a2af60 1009438 hol88-contrib-source_2.02.19940316-12_all.deb
512f3e4394545a6a298dc5bf0b145e73d846c93d53fe6f4f901916d5ed6aeb56 26992 hol88-contrib-help_2.02.19940316-12_all.deb
69276f1c336b0a34f6c287e13bcfbb82db0ac3930f5241d7e7de103912e755c4 1056200 hol88-doc_2.02.19940316-12_all.deb
Files:
766230ac6b611f8561db5f7f5e727e63 1242 math optional hol88_2.02.19940316-12.dsc
d4d25f00640792bd458b103104c0e3d0 118576 math optional hol88_2.02.19940316-12.diff.gz
9f130702b93f931d59523573f31d29eb 12048334 math optional hol88_2.02.19940316-12_i386.deb
37966832f52acf744badaca5c5a05f63 4687114 math optional hol88-library_2.02.19940316-12_i386.deb
3a3b1253d6ea5b1d0bd84fe5fa642c78 377216 math optional hol88-source_2.02.19940316-12_all.deb
03bcd65968df3739e27fe6c50b78ab35 322814 math optional hol88-help_2.02.19940316-12_all.deb
136032f665c16adccd7bdfd52c61033f 566892 math optional hol88-library-source_2.02.19940316-12_all.deb
b7547ac2993fa4654dd1bf041cf5e534 311030 math optional hol88-library-help_2.02.19940316-12_all.deb
f510729876b76231b9dc613384dc5536 1009438 math optional hol88-contrib-source_2.02.19940316-12_all.deb
723f6768bd17aabd139b3c2abbd2d0aa 26992 math optional hol88-contrib-help_2.02.19940316-12_all.deb
221e74a64334cde19b5f258881d480a8 1056200 math optional hol88-doc_2.02.19940316-12_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkzAnesACgkQczG1wFfwRdxVTwCguNASqwPzd6b2uRgtlKXGjATC
BaUAn0PFk7/4rOm8zqmPCkxCSxiHOX8X
=sgF3
-----END PGP SIGNATURE-----
Accepted:
hol88-contrib-help_2.02.19940316-12_all.deb
to main/h/hol88/hol88-contrib-help_2.02.19940316-12_all.deb
hol88-contrib-source_2.02.19940316-12_all.deb
to main/h/hol88/hol88-contrib-source_2.02.19940316-12_all.deb
hol88-doc_2.02.19940316-12_all.deb
to main/h/hol88/hol88-doc_2.02.19940316-12_all.deb
hol88-help_2.02.19940316-12_all.deb
to main/h/hol88/hol88-help_2.02.19940316-12_all.deb
hol88-library-help_2.02.19940316-12_all.deb
to main/h/hol88/hol88-library-help_2.02.19940316-12_all.deb
hol88-library-source_2.02.19940316-12_all.deb
to main/h/hol88/hol88-library-source_2.02.19940316-12_all.deb
hol88-library_2.02.19940316-12_i386.deb
to main/h/hol88/hol88-library_2.02.19940316-12_i386.deb
hol88-source_2.02.19940316-12_all.deb
to main/h/hol88/hol88-source_2.02.19940316-12_all.deb
hol88_2.02.19940316-12.diff.gz
to main/h/hol88/hol88_2.02.19940316-12.diff.gz
hol88_2.02.19940316-12.dsc
to main/h/hol88/hol88_2.02.19940316-12.dsc
hol88_2.02.19940316-12_i386.deb
to main/h/hol88/hol88_2.02.19940316-12_i386.deb
Reply to: