-----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-1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), gcl (>= 2.6.12-57), texlive-latex-base, libgmp3-dev, libreadline-dev, libxmu-dev, libxaw7-dev
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
 0987effc66118f3da350a7133cef904dca8e8059 131528 hol88_2.02.19940316dfsg-1.debian.tar.xz
Checksums-Sha256:
 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 155bf9f2557406187ef4677b0126c28fca0c5344d6f222663bc85bb02ac92900 131528 hol88_2.02.19940316dfsg-1.debian.tar.xz
Files:
 d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 249ddce05e42a0a2ce695126ffdd82fc 131528 hol88_2.02.19940316dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmNhyAIACgkQuEXOUQ+b
cU1yow//cEfh42zEYmvWdmh9BXYUphj7r/X5tfkdJ8TMqpzBpIjkX/WoctklJIkU
JuBRijwxfQTue65fyOtBWAasu1TCTUxM0EH3QoiPKUVV/liT5GC529wBygVbvRxF
52yIKM7qd8MwrdpmlhQh1ONDdEQMd6UWskGs1HUq2rjE1s/51+7GCBGersZb3cej
JnPbhKscmEwaGkzMnZDDTwzxm9OOE9QL1w/tfc6wXRfTD6wbQsoguvmTGGhrIriD
A1MIhMOXDSP7AUeYMNCbKeNBDBsRGqzTGQvVrPvjfd6JAQYCM+MCeyl4Q5LCfTTb
WwgU54A+ZLtxiRpzjAgotiqshkhZ3Keg/MtVtTd/3ek+J21Q+sCJtN4A82zLrG4H
tt71/ic6v/nsbTRJSQ0ZXMnCfXGtFf5ZYwlaSgRi7UcjPQVoI9u9Ys6i/qyVcNNg
GqKx3gVPPJsLqcOWBp4JfoNfQnKKT2/OIxQPGEUOiNvuro8t05HlNVU0BryeKz+p
ppJLwKDoaNk//UnZsgmucQZMEg+/c8iDsLQKTel0hQNXHPX/Mej8yjsbL04xjO24
KygMoj8sMWR+JEMBE9Rv5qloXsJLoaIKVA4UmPJJ4JLo/63QHS+te+kB6unhQktv
ISPj5q1Putr/ap4f+PVGvl1Ce/JfcViClc0LJLV/YD0O4rsQUXg=
=YNaI
-----END PGP SIGNATURE-----