-----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-34
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), gcl (>= 2.6.12-54), 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
 5108ab561a6731672f09916207156ee754072382 131272 hol88_2.02.19940316-34.debian.tar.xz
Checksums-Sha256:
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 1bbdfb8b6e7a0ff63b43092cf3ebbfec90d0e8a722c5bee65dc6d78bf3b4540e 131272 hol88_2.02.19940316-34.debian.tar.xz
Files:
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 9c5039419cc88c8f0bfe18b083bf88c7 131272 hol88_2.02.19940316-34.debian.tar.xz

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

iQIcBAEBCAAGBQJZns9aAAoJELhFzlEPm3FNpxEP/3HPxsRKbr5jBPcYZC8q4NNI
8mn0GoARyTjens74d+Rpmt6XgurljsOmWtHfFiUt2PmEQT5UVxWIwpTxxwkuav6M
YKo88UO2RTdAEOo/8sB7/Rvo7cJ/BrVplBFhrj0qM3tz4UUo45n0ZbOn/+/lYJB9
r06HylOatJa7tl+/RIweH0mapiDvejHfUxOK3rP0/0QLND4KGhyLMfxNqGXY1Goj
yxAmqHHMm9H1hyzCSh/gKtsD9pbb+52vHIs5vE7Zcgy9t4HqoKpR+0DR7hU+8zQE
7Hn+XX6tieFyDFS06LHbDam+arf+sxUaF694PpYRvKwEN+BZAvYC3jYe0f0/gR0O
Z7G9LmPwahMqCmVV2G5d9vkQxepz8CO2PmL17/gc/XLB2gO133dsGfSDVlLEHre2
qq0axU3Gf8NQLDIPJGnXDldvbGt5ymFm8tXCASZ82jmCfblVkYoUiJjilldpNKLL
mWTdmjo3AeEqSeL1KwipRmrpjrSBe1oHnxfgagmysW2fWwskmkdKBDmJhLs2rnWY
uqlzhEWrDdjdPxUXe+A2qeqfhcjaLG7p3qGiq70jHIV9XjkTwLwPNAMef7Ns7xb5
B9ZdT9MXr4iO/V9QC/v+JNqBYk+ZUxzBJ1KTOtdM7yYB0WH0bkuD1Ewkvl8dKwN6
hEqukSw4bGbd99PF0mc8
=H+hO
-----END PGP SIGNATURE-----