-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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.19940316dfsg-8
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 4.7.2
Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-6), texlive-latex-base
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:
 bc74d2d9ec9af6fe04c6b6853b0a9850897c4b7f 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 d8cc599ac8531d77eed2f1d0cfcac26532c9e94a 132052 hol88_2.02.19940316dfsg-8.debian.tar.xz
Checksums-Sha256:
 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 b37fdbfd5f95042ac1bb62fdfb49120c0eecbe59e90a99fb25fa24b241f6c49d 132052 hol88_2.02.19940316dfsg-8.debian.tar.xz
Files:
 d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 40592157fb32be7292e8ac1541f30d45 132052 hol88_2.02.19940316dfsg-8.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgkojkACgkQuEXOUQ+b
cU3Ipw/8DgK0XKBSabqNYoM5/5xDWZLQw8qLYlmpA75tC/OZxvd0dzaflI1nWUqf
yo9Ad01bK24UBMU85kEc0pFFnV++CWgBy7Zusj619IMOTluavkRxZD0q3gwgaSkR
2D9Rdlh26dxuAGNhW5hyPCD/D67/4X8dCdttzvnFowt3igBMyvqtaws1msPjz5zz
FfzNv8DSUQfsey3V9UYN1tS2zwWVMxfxKDHCa1mZvdQlSmLXtF098gde1B4NdkBW
IHlPBMnzRv5WkpHJAKSbeXfrrVoy1TdhJ127AhxW2b4VIG1VpCsOmmeg40PMvb3P
mFAViEnGc94cEPKC66cL2eeYnKm7x61W6P2X1rbjXur5uKoayPAS+1LhrGLZYmcL
sTllHrJYXoubesT8oGP9iWOalE078rGAJNxNgv8DlAmNzchejJylOfnfieT2Otw2
zKxXU5fnjTX3HmWSFmR3voriHLu4aAZgWZ4MsHulNXeROz/GF9ynLApJWh6oDnqA
FN8yB0Kwmtc/chprNqKJi2V1FQ+Sy5rVpUXlNG3eZpwiIV5BLeidA0meZB3tk6Kr
6tCvuiYGSDAaoyOldVRvxjywc4jvMqQYnwcFpkXpp9KDfm/I1gMhHInGX27mrHiV
Dmgw1Nfyf9d5RnKyjp6Wl+iW3MLW+oi/AcJ7Kq2Hoi6HINcKLco=
=onwA
-----END PGP SIGNATURE-----