-----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-2
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), gcl (>= 2.6.13-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
 29037e0817bab76635c6e056135c3a0d7be58581 131492 hol88_2.02.19940316dfsg-2.debian.tar.xz
Checksums-Sha256:
 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 daaf4ff8f8bcc8f2a4071c8099d99a982c85e50c7f145fe9fdb8f8819afd758e 131492 hol88_2.02.19940316dfsg-2.debian.tar.xz
Files:
 d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 87f78e0abf05b9749dc7a5c6858e209f 131492 hol88_2.02.19940316dfsg-2.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOjSUcACgkQuEXOUQ+b
cU2HnA/+KongQVS/6CjXilpdzSBBSxOQouUWj+WODBOeSt4fIENkmUUVWcJfZsF4
5EFI2lRo00TS1+osgHJfhQ4cV4Wak51UqNZxEqRIHKHdl++MCddVN2J3uAh2nFy0
4oFUrKvybLtWA7Abwp93i3c1eOGGp3z20yb87+TQ7f+qUIF21m7KNt1lu5/QUVHJ
QM0lFz7lmji4D/gFdqYC3GLqa32mYcUMe+jfKrsSvrxvkCTN2YXo980TWxIXgBHI
QBX3YKXubihmogLbbMvsoenmfWPuqMGMi0ueuYcJkvpXrkOArA6h2p8dtIO+GAYy
6LEsJ1n/81ObhVJi7r5sQRHvwMj0bSINXQ+XEfqPKy9HljI0OWUc/zpv5pSwb30Y
DYM7Vp05qEbkoi1Xy/AUGOf9EviDoI0fnYWrZZ4Fi5FCCBiwlpwN6DqRbG+37bw9
dOU3d71kAQMK/8H6VmhwV97GHxN9fGdQDZk5DMaT3frtDjlr/UWFxKTUqsZiNr0F
flu4PxGUsdAkNEramTLKd+kjKcYNDGa9nByJgvD5EMq2p8jUernHyv5WIPHhadwW
wv96I2Zc5OJ18TlMJgaXxogjDp+7esPZ4ldTkNEMjncU8pr1pSBm7buPmQSkb8uC
r9YGoz+e0XAEryyPHbHDdfmlc1ht9uBgC+iUWhW7d2I4/+JQldY=
=wj2m
-----END PGP SIGNATURE-----