-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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-35.1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), gcl (>= 2.6.12-57), texlive-latex-base, libgmp3-dev, libreadline-dev, libxmu-dev, libxaw7-dev
Package-List:
 hol88 deb math optional arch=any
 hol88-contrib-help deb math optional arch=all
 hol88-contrib-source deb math optional arch=all
 hol88-doc deb doc optional arch=all
 hol88-help deb math optional arch=all
 hol88-library deb math optional arch=any
 hol88-library-help deb math optional arch=all
 hol88-library-source deb math optional arch=all
 hol88-source deb math optional arch=all
Checksums-Sha1:
 f49a6617a6fa1b059a9aa9072da5e925b785ee43 10241007 hol88_2.02.19940316.orig.tar.gz
 16c252846c0c485b997f5c25ca00695d572c4c8b 131416 hol88_2.02.19940316-35.1.debian.tar.xz
Checksums-Sha256:
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 8f609a7594f8ca5079a38b68cf24d2598393afb8d97b117950e091f6d4b64d09 131416 hol88_2.02.19940316-35.1.debian.tar.xz
Files:
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 8f47987f4971172c0eb42e74ad3deee8 131416 hol88_2.02.19940316-35.1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEuL9UE3sJ01zwJv6dCRq4VgaaqhwFAl/0UmQACgkQCRq4Vgaa
qhw2lBAAvBej8ttT0KJ19lmOZyCSAYJo3HRTcKZzrWhkFL5fxuPsJXcJDx/wbMek
CKjJfsqeshkS4Ipq8/uf06M/2V76rV+H/xZUmPa80hVMZP6wHHeJaOGJja4IWbAi
CGO0yYGWguz7L/IrYWFjQ15xMtChTM9oxaK5qr/0nhMD9gcK2FSLlNthab/jDk/8
3jplyOPvFYAv+6h7HIlaEWGPyX7iHs5T3e5PpTuQOZtS6HqJP6QgIEOUUwfPk24Q
K3i408Lg3G69CVPX1b7PlNZjxFYlYmg67RmffJLfDcMFGVHnnkp3dn3keORYb0En
qUSlJxaeuaW/vVuOAWIFwpdld/efzNszZxWsnYVvdGMUIkbjb6ZfOBEjGKokg24e
CNwlfWqgZoeGjXgS2I1H5AwT/SrMDtyNb7odpA5a0sKXX+gFmM6MTKrlxxtB0L2a
kH33ZzOQeCPSgNhXJWovEUrJdPfNWEufMpNElYlUjQJD4AcsEG8jsSJfcV/M8bO+
ht41dTQ3R2DdIabX9auXR2nLKI2UT4sV7mEilynRn42+NZsFpbmQLFxV+UyZNSL5
5c0riZNXPeeu8TMvFu/c2Rg/RG4GmBYvKIbSUdM8lflhc7L11CnlVZ1sIqJtCyQy
HKIQkNBkYg9sOJvkxSZxNgnp05K8yhKvbxb2aOevwL8B56YMQx4=
=Qp02
-----END PGP SIGNATURE-----