-----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-31
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.6
Build-Depends: debhelper (>= 9), gcl (>= 2.6.12-21), 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
 36f56a953b0e755de30e1aa1e3668ebe6d609bdb 130736 hol88_2.02.19940316-31.debian.tar.xz
Checksums-Sha256:
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 02f21c87b947641e0f358a088bc2bdceddd3ff04f6990a4000f8c182dad7883d 130736 hol88_2.02.19940316-31.debian.tar.xz
Files:
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 38eaea84319943af475a73935d0e563e 130736 hol88_2.02.19940316-31.debian.tar.xz

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

iQIcBAEBCAAGBQJWFZXxAAoJELhFzlEPm3FNZP4QAJZF2znJgsudWa7nGSZNsfkf
PlrYBCPXjKB924sWpxWHhPc6Ig8ePPJdYYwcrjgZd0QCymA3Zwtpx6uHlzdCrpap
dp5sJGaSX847VPJO8bU5lNd39cyzqgt54kvNiQ2cmwJ9gH3WNrhzTAlhW1OtSIOA
eykfOfup7cntIafl2BN/GIpkvBrXj24AJdUvLyLSs27Ufuws5QrYbQMMgjJ8e50K
BcRKW7++Iqj0WuHlEcBO5Fj/wSWb1E8RcLa2RTDekSIXOJcxqqVCQmG7PEhNDUAp
ya1SHTydHN/rDNNprdyZl9QyeGxQEOB6zQRgcPTDeYO9NEqT9DHWTrdnsXzqOleF
zCatwcSvwKy7zMO/WDzai/Hy6eto6cHO86pv8f+X2EKEyseByVEqJzTuhInBK+sn
BhzX9GtGNH4FT52jSRzAMWPZmuWIyMIaYSwHeMcBwwwykvNBNV5H100gIApu6H3G
NghUTeBXfnsrrfLJ0bnL8XL0+LEMOb1Mq1refeulv/FCTWf1cPHh0lfBaWisjDzA
LWvChD+7eWJbYXHlt4r0NE9xWnHIzo1Ts9tkwlpGOIkrl5XXLZQa7jXH9ve6SMBY
tLXyc8Q9nj/7yjQAV+QCaVvqOTbBSecbtZBl6EDZTE2FcFXjbpI8CgW1rKw5wdE2
+Qc4yN1sE08XVu4Paiu6
=YeMI
-----END PGP SIGNATURE-----