-----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-9
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 4.7.4
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
 c661579357332a0b5fd111e4cb4d2b48dbae698b 132100 hol88_2.02.19940316dfsg-9.debian.tar.xz
Checksums-Sha256:
 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 8016a7c2b904406f45a58bcafe301996ef56587cf7c94f83694223c4c021c389 132100 hol88_2.02.19940316dfsg-9.debian.tar.xz
Files:
 d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 a8e46aa98d722f7271c9fba6220c7480 132100 hol88_2.02.19940316dfsg-9.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmodktQACgkQuEXOUQ+b
cU1/zQ//fkY2FSk+0X9IoBNtnWDW4sSLAUTuX95CXk1D1/RKiB1hXpi6eia9+PPV
yzvFCH5GEIaPvogsnlM0sgTmdaoCJp/Vaoju0Zy9pEDFsvnJjTRWNfOAJQZ6BrTP
AaSNrCd9VoB/TcjgBweg2ouzcVMmZsTrZj9wKgiMTtLjcDGJmidlL/9JGc7k5MHF
AP3y9vxDkPA3RGNwbu49PRdS6s4wT+iJ/cNpyDOUrUS4juvuuTiICtWjwgW4flX5
wYZXNFmfOIOJuK+PGzO1eRl3OUd3adLTel2klIRjjZJAz117MzF1t+8qY4imM0Uf
B3fg1TuQgjYdxcD1dcxzRIvlB3OECnZNrJpnALzrfznJUd6D7pIGHk0GZUurI++4
uyI381JSwXYU5eFRas+1g2cAsdS9xiieOmZoUtDKTqPfQhwECHCZs5gxmZEYNbyw
SSuM0rcGfn9vyWOP+ZevQtKO8BBYn8msyAAzklk0+fJxpxeQeVhQgc7G/gHjmAhY
ietA9+MSJFROIT8FbvZVSYXudQ8zSTBfHgdqT/6C7iHcdAYgl+eGDRmj1B1O4M8X
MjqNwVY23goh2OJ8IEhzvrLLB/U2n7+I8ZfZby0PjYvlpFOZqHGXmjTsh9AMcheG
rZbfsZQJLN9Ieg++wtu8wjSKzfjGgqQvYGDOdtW0f29oA47mrqU=
=kfaI
-----END PGP SIGNATURE-----