-----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.19940316dfsg-8build1
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
 6054f3c109453ef9d02656b59bbb371c7456fd1f 132156 hol88_2.02.19940316dfsg-8build1.debian.tar.xz
Checksums-Sha256:
 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 91be6f54f86fc45ba34fa81d287f70b3bc5d1dd9d8edf73354bf70474329f685 132156 hol88_2.02.19940316dfsg-8build1.debian.tar.xz
Files:
 d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 c21584bacdeb0fde2be0c2dedb145d8c 132156 hol88_2.02.19940316dfsg-8build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmCdaYACgkQWWH9vpxh
mAnxJw/8Cz9ujCQABpgMaucrlYwm3seCb8csMUIemLcGVQhWTzf3cVFjLT9vLDhf
QCEi0BVweeGGnYNnS9CENyjSeHVKX+ZcngzRBdNDaQivOzwqf9k6IvB05tV0Y+6q
SpDINyyUYUDoJYvjoaO+XaHN+jQBk3xanSRf5lJRH1JQcuzl2LQ5BmcK31vvrNQx
MDLPiR1dDso+HOUoBQnLiNJSJvwRjpFcHmxIAWs4FE1VsW/GbL1EyOiSuNMiIZLP
qWny4D29fGOQoc2r1tyeDQki9GG7oK21AHPNB8P+QXOQh3DCmspHe/kpwQIetGJK
iRqOXoqqQ5f9tGMM/x7diCNR5UOUAR8b8/lP5pqstFGbfUGdJtEX2l0a8XO/9DcJ
2Om1ACjRo8ll5W+aO9ZTIhKGdCFHDWGy9OEtTSmXRLjsKQ5DIqmFiq87ffLeXu5i
nhOl447LG2qucQAZ2c27d/zW7Bjl4UcUHuiZZwuCpzWxnOzOlTQzkUnjIr/t+pD9
AFZO8RNx3fvLZCdJv3dcLWOSRORGJ2UWU/H4sy9gSv2caL9IrSmcy1HPgfD6jpyR
3l6yaghDugI7uLm00bTwZIQQZeCgV93EITfA18qctM0n0LkpbH+JMcsQKQTpZHCM
vtD+2rNOk3PqKCv19K2US/sQLzj/a5SvfqHnmOSONg/jYl3UuaU=
=Fugd
-----END PGP SIGNATURE-----