Package: hol88-help
Architecture: all
Version: 2.02.19940316dfsg-5build3
Priority: optional
Section: universe/math
Source: hol88
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1868
Filename: pool/universe/h/hol88/hol88-help_2.02.19940316dfsg-5build3_all.deb
Size: 215388
MD5sum: fd5f6ddfca7c0520386d51b82ba18970
SHA1: 8e65d1cfa6480f25f8a12c8690f940d5feebcf1a
SHA256: 3e886c5a67230ca393ebe8ffd6c9478b8125daf7ebd9381a236c0f4ddcc3fa9b
SHA512: 4ad040ebbc2b4b40992ab931fffc4f321e5f9afa350bef5accf602980c1a2c73ff0e23958d695a9a9099b2f7402e6e4464009f7f17e4adc7ed915d0694a27a79
Description: Higher Order Logic, online help files
Description-md5: 3cbb7591c156d7493454903e09a5e3de