-----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-15
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 9), gcl (>= 2.6.7-87), 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
 4aeb2d3928711e2b92a59eb5b5052e5b81a85040 170556 hol88_2.02.19940316-15.debian.tar.gz
Checksums-Sha256: 
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 fcb48b4c5311631875c4ac25a7b2398a149d14e114a54f17b6b4e28521047856 170556 hol88_2.02.19940316-15.debian.tar.gz
Files: 
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 b5191f4e4ba37d38c53aa728431267dd 170556 hol88_2.02.19940316-15.debian.tar.gz

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

iEYEARECAAYFAk+F3CkACgkQczG1wFfwRdxIswCgpWCU//KEB+/h5npi6vEv7XZQ
CWwAnij0acwPtOrALArifTOLway0ByCK
=5RCW
-----END PGP SIGNATURE-----