-----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.19940316-33
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), gcl (>= 2.6.12-47), 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:
 f49a6617a6fa1b059a9aa9072da5e925b785ee43 10241007 hol88_2.02.19940316.orig.tar.gz
 1b40188a188f809d058e40ca53fd197c8d6deec7 131228 hol88_2.02.19940316-33.debian.tar.xz
Checksums-Sha256:
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 39ee37cd3fbe56ea631a3bcc3c2d4f9b2cd962eecadb2327a095278d84b863f0 131228 hol88_2.02.19940316-33.debian.tar.xz
Files:
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 48a9b2038b270869041bc1bf0112b072 131228 hol88_2.02.19940316-33.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJZFL5VAAoJELhFzlEPm3FN2koP/A0Cv1NxlXA9cQRId0H6CXVj
ejnLwXmbu741NTXDGX/76KMsrmbflAKemjn2frwEMZDQz2yeL//QYWkmj4mJ06a4
NrqBOeCEjdK2daBWxx0dmknbrTrb4xFeiZLxhlMTtamwPo78ryeNPy3HJR1PuFDf
aVbaQ5CZX2Q0+asOY0yoK7z2vJL7hcG3Iqf/kJsX7o0PAnTg3imwZ0khxJPMLJnM
OD8WdiK5A3uMdu2OahQTLTi8cH8hae9n6vjO5cwC9ZRIEQyT7x9ZNCOBuKpm8IsK
PAeTsrv7fs2fCPqFR90IhQcJckCqpyOTZAkA8KH8sEk7BW3suSgXhLBAzLAD7hsb
X1BxSNMb7gsQmdJgy5VFN3zgjWC8Q4bmTrtnpYB/ab1obyvwlUx9SiuzYC/MCyK0
OAo9gF73cUfkECXTRYZyhN3O8RcXlEiOhtCLwOhfhPdhsmQg4lsyArWVX2zC5/+r
bxzqoKw83J1tko7UxZw7hg12uvH5ani602DjNpKz7/qrwksywnwg5LtsYEGEV3PD
ps1gXnVbHE6INI/KwDFQtATbFeIFVDzGH2Lm2MtvlIr+tFoGS1vVTcerwFHlKBrs
1YZGaTj6CpM998RhfGai8PpyveuHIEMi+vqjs+14M0xPdVlkpfqAQdj3pRkVzcjD
TD5JEHP+nVsCc0uDCf3X
=d+Px
-----END PGP SIGNATURE-----