-----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-35build1
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
 f7c68358756198626ad081ff7a0858f6acc63c6e 131320 hol88_2.02.19940316-35build1.debian.tar.xz
Checksums-Sha256:
 cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 10241007 hol88_2.02.19940316.orig.tar.gz
 8b3d518650b90a7a78a9c5a17be64dd294db502e34734a47a63e5914ef2b9ca0 131320 hol88_2.02.19940316-35build1.debian.tar.xz
Files:
 9cfba3cb495e7261e438f6a9324208e1 10241007 hol88_2.02.19940316.orig.tar.gz
 b7e7a88674588acbd110e32ed0a5fdeb 131320 hol88_2.02.19940316-35build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlw9vgoQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9aaED/4mDUiPPmFduRpH+pd5B3blFHyJebDtSYgz
TlXzxZRvkXKaKehnMbanp3BTChpcztGgvYB6wO3hKwAhu38s57sQRyQufHlEkkqb
R532W0MWCejtGtlI6TpPustThgayluKJp/IHBBHdQZy5/17K7rC6ChEqWNJ5AcYy
E8qDtwqrDmF5rJIi7gUFQYQWXc4GA8ev/Ud0GOfL5yvTX0V3lqI3S6OhgekqLQi4
1tFA0FEoHnhTte7TxZgkjkuqndhCX1woW2ZPyy9cIM3kItdGbcYd7DcAJXYdt/r1
TZUEy7A7JY+mlbFxTzzYKy9C8CgmMO/POeFaD0JVMhSVzXWiEG14Q9rjbR61byzs
TYKhFkD7KU9NTEgkAc9pnWDDcGgL1qiDRaerGXoUpEpHaSIx1vrJQ2pu69a3rT9o
8HwPI+iqs42kYmm1K5og6LK3ISLpJbgcX9fdTb/xcVUlMeBqP/AXgivTBpwCAT4Y
7wg/cvItkRFt+6ySOONKaveWgcSOYSC3zeP3KPRwb35veoWGMOfS77Hzu1cDBMvF
0VmdXuCHj5wQz9Pym34Yhnh5aCeTdXn5AMsuNjfVvgm6ZVT64TZv2nu/c1ttz6aw
ujBfpdTWlk62rK4sMjXaEh0DxR6vBKCLbBVBe8/vfkevQ2KbcSE92nfpbnNoGxTW
LK990sUExw==
=hlHc
-----END PGP SIGNATURE-----