-----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-35
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
 fb316d8553e53a8a387ea1228565757da84d59b1 131304 hol88_2.02.19940316-35.debian.tar.xz
Checksums-Sha256:
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 2d4118e896c7b8329967dc69f0a888992ffb2de943ab13f97a08d79fff0b0c53 131304 hol88_2.02.19940316-35.debian.tar.xz
Files:
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 48e7d068ec9e67b05be3a3c92853df10 131304 hol88_2.02.19940316-35.debian.tar.xz

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

iQIcBAEBCAAGBQJZpfMlAAoJELhFzlEPm3FNMNcP/17Bsbi17AOwKLpRVIN92Kui
p/imuuq+5lTogzrmFQ6ctWWU7UwyFb4F8622Urf97DIg4xHTFuTOgwu3ENfV63Kb
OZM348ZNQKRv2IcpecovKDjnfcAjqB7IP+tWeaEp52pxztNJS7xBeE9rW8lmGMto
oTG8XoImys2Mq503AObdkIahAPiZJyd2llnNfJsQudHK+A09+jUcbcUq0WbICHn2
3U1Kef0eEy5b6Q6HhlEapjF5fKyxAvWGSTQ73XMRF9ibZNZf7UcWagtEEIRKZcgG
ARnX/M9jbfY6aa/3XN9aXTon648U42en1kVn/MPF2Qj40ZjJCIW80f1McS9xjzEr
gIemi2jVMTcV99M889iZji7eVojtS+n8bFtxUvsZdARoZ01072FAT4tmuBEyZZLF
QHpLmGkFolD2qrKhdGcmC768FPP80fyc8GAF3lIFZKYD642OHYE6V+JoBdIzIY+D
fwJK4O5VuI76VBCKIpY5FnrpFSS35ID5gPOLcdwOeJ47quc3mNP5oeCgovjqGnWj
GOoz1lzwpNkjoYLalLpdA/8cDi58SHa/Bm6LRmD53d9d//NpQZ64BX5aJklcUcL8
hip42/ifCouYDCjMLIT7iUK26KY1r9dMZeU6n+LtJnK8t7Ml/NANnU/yzMnf08Gc
pZ6vktcMQ+UjrcVEkVTj
=lxNi
-----END PGP SIGNATURE-----