Accepted hol88 2.02.19940316-1 (source all i386)

[Camm Maguire <camm@enhanced.com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Wed, 18 Oct 2006 13:36:15 -0400
Source: hol88
Binary: hol88-library-help hol88-doc hol88-contrib-help hol88-help hol88-library hol88-library-source hol88 hol88-source hol88-contrib-source
Architecture: source all i386
Version: 2.02.19940316-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
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-1) unstable; urgency=low
 .
   * Initial release
Files: 
 ac0f12c938d4dae66b0a19c081bf7725 743 math optional hol88_2.02.19940316-1.dsc
 9cfba3cb495e7261e438f6a9324208e1 10241007 math optional hol88_2.02.19940316.orig.tar.gz
 4b035368b9347b32b8984e987ac8b175 15690 math optional hol88_2.02.19940316-1.diff.gz
 e0383a00a303b5863067038b00b2efed 12038698 math optional hol88_2.02.19940316-1_i386.deb
 f84303ba6c171b17f1e1d3b1d1fc3d01 1230966 math optional hol88-library_2.02.19940316-1_i386.deb
 14cc055df3e54dbef3242f060b410637 1238352 math optional hol88-source_2.02.19940316-1_all.deb
 74fa5a4b6cedb14fd99459bfd22da29c 287418 math optional hol88-help_2.02.19940316-1_all.deb
 42dd8de4cbb26eb140eb1a47f1ec88f5 562358 math optional hol88-library-source_2.02.19940316-1_all.deb
 9496b974a806de3b5d5ba82cd0f45e20 290788 math optional hol88-library-help_2.02.19940316-1_all.deb
 70b09034d5cb5ad7dd6260ca7530867e 976110 math optional hol88-contrib-source_2.02.19940316-1_all.deb
 1dd26b1fe61d1efeeb9e7aa8d8de9be6 25578 math optional hol88-contrib-help_2.02.19940316-1_all.deb
 62db7806e94d13f3d6ecc387cbf6275a 1015770 math optional hol88-doc_2.02.19940316-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)

iD8DBQFFPSh/czG1wFfwRdwRAjgyAJ4kQh/752F6R7ENvcTrWIjDRHwoQwCgunYe
IxJEseA9eabB6J4T24U+o7k=
=WjEk
-----END PGP SIGNATURE-----


Accepted:
hol88-contrib-help_2.02.19940316-1_all.deb
  to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-1_all.deb
hol88-contrib-source_2.02.19940316-1_all.deb
  to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-1_all.deb
hol88-doc_2.02.19940316-1_all.deb
  to pool/main/h/hol88/hol88-doc_2.02.19940316-1_all.deb
hol88-help_2.02.19940316-1_all.deb
  to pool/main/h/hol88/hol88-help_2.02.19940316-1_all.deb
hol88-library-help_2.02.19940316-1_all.deb
  to pool/main/h/hol88/hol88-library-help_2.02.19940316-1_all.deb
hol88-library-source_2.02.19940316-1_all.deb
  to pool/main/h/hol88/hol88-library-source_2.02.19940316-1_all.deb
hol88-library_2.02.19940316-1_i386.deb
  to pool/main/h/hol88/hol88-library_2.02.19940316-1_i386.deb
hol88-source_2.02.19940316-1_all.deb
  to pool/main/h/hol88/hol88-source_2.02.19940316-1_all.deb
hol88_2.02.19940316-1.diff.gz
  to pool/main/h/hol88/hol88_2.02.19940316-1.diff.gz
hol88_2.02.19940316-1.dsc
  to pool/main/h/hol88/hol88_2.02.19940316-1.dsc
hol88_2.02.19940316-1_i386.deb
  to pool/main/h/hol88/hol88_2.02.19940316-1_i386.deb
hol88_2.02.19940316.orig.tar.gz
  to pool/main/h/hol88/hol88_2.02.19940316.orig.tar.gz