-----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-32
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), gcl (>= 2.6.12-40), 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
 69a9ab0d12f105531ab864414dbf3e8d69cc519b 130768 hol88_2.02.19940316-32.debian.tar.xz
Checksums-Sha256:
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 6f21e55d34502b5617659a17e876ff108121114592cf494be66095f4bb97ce27 130768 hol88_2.02.19940316-32.debian.tar.xz
Files:
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 7f7abc0f86175100e506b7b9cb2842b4 130768 hol88_2.02.19940316-32.debian.tar.xz

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

iQIcBAEBCAAGBQJX//G6AAoJELhFzlEPm3FNMfwQAJZUHj1EZMBi0VCGgskEqWx7
4kv/OAbpcxCjmub0wo6QN2IqmTCP1yzIcINohIvZSYTRAnD5pOoWFa95UPpMy0Nj
Kvq9b2E0Ey3P9NXp5QD9E1hj9sNmy7NeTXsLz/xVUvATyUXA4R0kAKxkR517mJ4q
9kR8AGNC6nx4tBbrtM3iFe1kRqrGg/Ky+inlgjqEMEj3N9P37Ax450z4rPOD1xse
ZDwBii6pHCCTOny6eesG5CrzZa0oPjGKp2qaOlECC6TbaPN6x8z2two56j5bHfs+
1sCBtMjt1bx58wcIksu6Boc8EUfCisFVaA1a1YCw2AVd++C+o9+iAq0fDS6jh4Hn
PsPKM4q73S25s1lepniMZHC1eTid/pseoqt2uHmGcs8gKwXyVtpAejfWZdcFkci6
reDrcz3riw8nnNe3M9l1MbsxhU8jLV/Hi0IRLzYSSMKfhRv7lkkg7LFGRHFGJla2
YTtU5aOBJrQvpGWzVnKUUJg/kJmGSM4LFMG++KpGv6HjFGinV7CWVjDbEhCoP6vN
1AVznLN4EPvcanb8xe4zsYcGV/NWdEjL67c8xTVUOxOuXp6Qm61syfoHsCSI6/zE
1gO9fYvbxP+SYj6pQrMD+KAbqZL/Lton5gq2faLNu4aae8ePZclsRRhZyC0uLwSc
VQ4v16z/VXxzYoPAUkDk
=nVFT
-----END PGP SIGNATURE-----