-----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-5
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), gcl (>= 2.6.14-1), 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
 eeb0e2a967f8f8e94f92df8096ea938cd14993f0 131500 hol88_2.02.19940316dfsg-5.debian.tar.xz
Checksums-Sha256:
 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 cf8ae1c1c4b9b3bd73f8ca966b9f74e8f4ffd0bd6ee4c02a111131fe0d492351 131500 hol88_2.02.19940316dfsg-5.debian.tar.xz
Files:
 d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 4cf0d8bdd78d026c9240f165427f8fb9 131500 hol88_2.02.19940316dfsg-5.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmPB8K0ACgkQuEXOUQ+b
cU1sDxAAlagk2r2bdj8fCybEUdCWTv0SXslKFoCp4fXvU0Loe13YZ9JXprsLMBJi
xTKKAnjGHTqS5Kgfem7uoszfHJqYqsLCFuR811cIYG65+GFLl9dfx6L8SquQ2cIm
rskck3HN5A8l3/B+SB/YVN+5hPk8g4Y4jP0VeHl2AJ9FGkG4VRuHgXG7f23ZL6tA
PUn7Bn475Rhm0mp0NZsm+WYTb1vV0WXDelSku6Tme9bLZzsw7tx/oH9w0Ul5vpgM
P8SOcY+9pO/ZLi3GzINY/7/A6rZ9RCR47f2NqhsbHPFrM/c1UMosgGi7WsG60VOp
bJRXlSyQE/vYe5wF6fNvSpI0RW6BALFWEVQWXxCTOt1H9XHCPJXV/t3RPl0mdi2j
iBnT2WkBjJht80N7ksg5d5MgCd8kMVNMDt2Ufgrrw8c/0+AG5xyTmkZg5HOhjdJY
Ns4QX6VcyNO7xE2KZMohP4jLlJYBtPNwAy3Zh5+R5FzchR4d59dd0TwFiVY/Ko3B
lmO6L06dcFTN42Y3wZIvYLSHV6d8HvKXT2VNh196VWcCjWtB1UjeMDwwOQC3zF9T
A4jU9w4NtJQQkw/NY3EAjKRWaNyD/ypYM0+8FPyymXvzRLaQCnBYepFOpKLE0tZp
+TU5f8IJ5kggTzmj9xOfiPQeRAONXGFdfd6xdP+0mFI7vaMbrnU=
=B7SM
-----END PGP SIGNATURE-----