-----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-6
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
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
 15551dfef0f3f63a4dd29ba840587955167a4502 132416 hol88_2.02.19940316dfsg-6.debian.tar.xz
Checksums-Sha256:
 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 9c8afe3b9031c845bb8182e4d21d8999abce384fb93d533e978de52a0d9cd87d 132416 hol88_2.02.19940316dfsg-6.debian.tar.xz
Files:
 d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 c0bf6a4877e27507799219ffd6bcaff0 132416 hol88_2.02.19940316dfsg-6.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgL2skACgkQuEXOUQ+b
cU2yHg/+LdmAyhNCjCbtel3BRTTTekkLPWDEWZ6a9g6F4lBOefc3l9mZwzqdY9xW
8tYVNYfdCpIUHKXur4zL5ZSMWUov1WeEvbZqtHTuZ7bSCod24wS3zvz4K6MrRdja
PR9CuzcSZpIWHQEVrTtIK5+AgZRUZ0kuuYWMSwsm8z+XREb7X5eo8Pus5XwQyf76
LEWdiHi8sEvRUcFRDZmE+SmleHKhFeFe2NhE4DsXqI8/CE0WY78u2CSOtkPjGbJJ
td/18pOjz3DXHOX0tBjrsUo/SukS1ZUTlrMfElpUkqJgmWcUNbSMZiKqtVZSjg6f
JABf+92LIJSkFP6bf8TT0fuIkItB1MKC0uqg/vXXXZ166SYFLsSRRBiqGtecmNux
djVTJtPi0eDZpUm5WTBxrB7F4NkVws3Msw7a+fm7TQvPBrwl5febJP/78SVvIPEu
wvnPmABGouirAyX22/FqhjFWAwYCQth4QGkbr6PeH4cs68vbWQ+8aldbAnwhEgnk
PighTiUDnqBAXmMRptX2prb2X29VxiAVmwW4xgmJvUt4Eb3ljBe01p3fpeawXjnk
0GMhcjJPqoN7lgnJlmZinKyVeGBvpGFE3HVBlf08NC8CA5yKyqY7KOppPXi0UvFT
hrzP0/MPT4z/CXg9OEASbOiHd8szxa008EEibKTtlvMvfDquBFY=
=U0yO
-----END PGP SIGNATURE-----