-----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-7
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 4.7.2
Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.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
 35319c93ea23bc9c86e36bd33c5cfbea22ed5b06 131988 hol88_2.02.19940316dfsg-7.debian.tar.xz
Checksums-Sha256:
 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 992660b9261bbc8dbc520830a4a4383718c7efa9c63ce7bbb852153c88c47786 131988 hol88_2.02.19940316dfsg-7.debian.tar.xz
Files:
 d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 7735c36463cb3e529da3f7c296e76b4f 131988 hol88_2.02.19940316dfsg-7.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgkipIACgkQuEXOUQ+b
cU3JVA/9HVZAUU+n0FueJv5uLEeA0BhxlZeokZmo+1vFesQu6nVQeWEpSZGMEDeH
4TKs/gdzYFajJ2G+wZRLQNS0F5MGHhU3kpQu9Br3SCRaTnvlRedC4wxyZqU4Fkb4
whnaoxyuZ8t3kV4752jiq+iJqxRYDgho0IjuZu/3XoH/jaZm4OnQAIVH/cqRNzby
ZUROAdryC0mLQhpAq2NW4EnvSrWMDVSWPq4uESwA+6C81Tmt5WrjnPHppOSgabu9
Ir9YXBlcAyekYTnTFoYRUBCvtIw0EP0nMj8I+H3n3qJG8lLnRKYVUF3VVrcOoYEC
+cvS2jmipnutZbwdPutFw6fGAPeYXvJzg4FsKCboK82bi3gT+qF1+R3Hd1rE4b36
VDx9qxqrkqxa2t/dwgE6F5X55knxlEBagNlpBb0NYCPTyvYucfHyyvGKPLa4aZua
k/fHGVRV5875jYoltTSF7++xfTNKz0efLFk1EkdSA5BfLl8kTeXBErtBwfMoflcf
G0H6v1P5LABq526mxJvoT0hpGhGKtp3fVnO13/6cCU/t07LiFYSdEh629/oq7fAa
ArW7cGTmmXXk4q8hcwMvZYljrg7w2162Ri20z6v/1gNKSm60mcXmzsr5bpyoXZwi
ybkbCH02SpFcCX/gg8chW9rSmtj9vkwIoHXE7JtruOmJoj85OHM=
=+45B
-----END PGP SIGNATURE-----