-----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-4
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), gcl (>= 2.6.13-5), 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
 7dc6d12acad96a9054935f3a820cd19b65c7d88a 131524 hol88_2.02.19940316dfsg-4.debian.tar.xz
Checksums-Sha256:
 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 f24f4b47b8215470283e1144a93286d03f047c843b52f8d708905224ca9c4106 131524 hol88_2.02.19940316dfsg-4.debian.tar.xz
Files:
 d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz
 545edc3b818033529620a578185c5498 131524 hol88_2.02.19940316dfsg-4.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOo2jMACgkQuEXOUQ+b
cU1RtA/+OksluNxhXIS1vVL/Ww4kD9s4XwfdpFd24f7oqj44Ky2XsTekdjBxUQgT
1nyo2Z2RFqumz+0MhQgRF1pjFsMvqVrYezJkMd/jt7tatqHL3ufY8X6WvD+NRuWy
Qf0PyQ+0LpTZr6TDfroaCkP2sqjljWFWyBB4PJmxYohX21ldh5bmB6XrsijkmtIj
ZeMdIxyax7lLy3Wogai49iNrYwsOIpGFo4x3R8pOn75WJ9WPx11pHrpWpl7nAsIG
YxDtNmFQ4p1PlQ9EA/5TQmTOunmKuOt08kby7b4vKV3kj4kghIxmnHF8AwUVP6Ow
Ej5H8yzyqsr91U+vkZLhdK9gMMZAfdTaQaD3/wRcLJkwvY6jJ3PrJvJEGl24+mQZ
mHWd7bjAgOnWimnaajxpywocqL+fyBDposP47bAnltbSA+xIAGZai7Vr1rOR5mjt
7NdFHbm18sJUhwAAr2FpFixO2v6WNQKZM2UPyKi3+wNUI46uP5dXxlEZrKZRwrls
bfEw1aL02vD78QDvz4qSIKUmRkKSe/qekjhsRE2cuVenqi7xyTLbKy38poOBXsWf
p+xu6eWr0dLcv2mMdXT6d2/FSvx1LXWaZJ6EHLAgbKs5Sk44LyJE1znXuuHGcK0X
Ft5Te/lKqN+Qdco1bPz2BPXX3ieDb8dzSFrcMYS0c2CQljaHWTU=
=bWda
-----END PGP SIGNATURE-----