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

Format: 1.0
Source: hol88
Binary: hol88-contrib-source, hol88-library, hol88-library-help, hol88-contrib-help, hol88-help, hol88-doc, hol88, hol88-library-source, hol88-source
Architecture: any
Version: 2.02.19940316-7
Maintainer: Camm Maguire <camm@enhanced.com>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 5), gcl (>= 2.6.7-36), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, libxaw7-dev, libxmu-dev, texlive-latex-base
Files: 
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 383a5819fb5df69c57d54c1f09965796 19094 hol88_2.02.19940316-7.diff.gz

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

iD8DBQFHVBHAczG1wFfwRdwRAlFJAJ9TKwgIic+IkffKrcp2Jm4m2ycEaACbB5ov
IlehFTeaAaYxs6MFSlUViDo=
=XK32
-----END PGP SIGNATURE-----