-----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-35build2
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:
 f49a6617a6fa1b059a9aa9072da5e925b785ee43 10241007 hol88_2.02.19940316.orig.tar.gz
 c4e823d64e43691b661d63385e11bc8407711a71 131372 hol88_2.02.19940316-35build2.debian.tar.xz
Checksums-Sha256:
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 34a1f9fb0de022b5da761d97a99e6900547ca62f166fa0b22961078b0a0496b8 131372 hol88_2.02.19940316-35build2.debian.tar.xz
Files:
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 f2b8ca79dd402c36acc0e8597991758c 131372 hol88_2.02.19940316-35build2.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl54WiUQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9eDSD/9uOgDzVy98dWzp0TKLNBPR8/7Xvt47dAZM
cvDolObvFzwvx3ojsk8Zav3hFKm+L8wbrkT8uf6b7LibhCoKwOJwvfSfjjGD9kos
N4PPF/ktTiri19IW4077Uf4ksDBG9TTTskomThdKKvc3v5Drr+arhNEtwZUxjoJx
b59nGgRomx62QIxcbSFZTyBv/2cyggrZlLFeKj+vpkdbXAE+TwzKrtjzAlHQqROG
2jQqDXPvKZ99YHDbW3TG6QfSvxMzT2OOqbHqPslOj6JHXLW/TPhO3jfqGyT/teBv
7V9amAYI6e31zb2mtrgAq+5PDCU0jsPpBwpxGwtvXbwTelPZ1Acu/TvUculVS+Iy
Jvi6QCDRk5Y0DndmGBUQ0BP298/Fbv5Jlbtr6XCrI5ChOKuBUFL9N6Ic13CTFkUQ
scMBd4CTgZk7k8q7f3teqDYmElHSONMI5odnyyhu4XgtFM1owtbAkUe6X8HwUjQH
AeUPMh9nnxwW7I1fi2qhCss8EMY6blTL61lyk2reR2WqkJGb7yS7kYBI/W3xdho4
jFXkt6FVr2Qp1cHRfsq5eCppzFUA7egCxTRZQW+V5Hea/v6hgymRR6/EEc7768RH
2nunZqHHPYR4OURYMCRPBDH/3ZfX1IvZYp6k51aea+3+KqPezCB4ldvBWurp/M/N
UWAVDNsgKg==
=1iwR
-----END PGP SIGNATURE-----