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.19940316dfsg-6 Maintainer: Camm Maguire Standards-Version: 3.9.8 Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1), texlive-latex-base 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: bc74d2d9ec9af6fe04c6b6853b0a9850897c4b7f 10359437 hol88_2.02.19940316dfsg.orig.tar.gz f1c549a78bd8dd1996305bc8449a432f34c402a3 132424 hol88_2.02.19940316dfsg-6.debian.tar.xz Checksums-Sha256: 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz 93954a13f4f0e210b9c3e8f3b981eab06c17e1da1eabf8e9e11af1e72a719b39 132424 hol88_2.02.19940316dfsg-6.debian.tar.xz Files: d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz c838831f319a03cf478892603ceae8cd 132424 hol88_2.02.19940316dfsg-6.debian.tar.xz