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

Format: 3.0 (quilt)
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: any all
Version: 2.02.19940316-19
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.4
Build-Depends: debhelper (>= 9), gcl (>= 2.6.10-1), texlive-latex-base, libgmp3-dev, libreadline-dev, libxmu-dev, libxaw7-dev
Package-List: 
 hol88 deb math optional
 hol88-contrib-help deb math optional
 hol88-contrib-source deb math optional
 hol88-doc deb doc optional
 hol88-help deb math optional
 hol88-library deb math optional
 hol88-library-help deb math optional
 hol88-library-source deb math optional
 hol88-source deb math optional
Checksums-Sha1: 
 f49a6617a6fa1b059a9aa9072da5e925b785ee43 10241007 hol88_2.02.19940316.orig.tar.gz
 7f163abd495556174f3eea40d10bbdad97021624 170756 hol88_2.02.19940316-19.debian.tar.gz
Checksums-Sha256: 
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 1f45676374cddb889b3dc2e52dec6ca86c193bb2d5e3000b5e5060a88bdf9f0a 170756 hol88_2.02.19940316-19.debian.tar.gz
Files: 
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 18ef5354a8da27c88e79bc265314077e 170756 hol88_2.02.19940316-19.debian.tar.gz

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

iEYEARECAAYFAlKH/pcACgkQczG1wFfwRdx/TwCghL3dXJ2g3GFlBZWVsyWOIJr5
E30AoJezp4UPISL5M/n2YCtXlDS/ev68
=pi03
-----END PGP SIGNATURE-----