Package: hol88-help
Priority: optional
Section: universe/math
Installed-Size: 905
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Architecture: all
Source: hol88
Version: 2.02.19940316-19
Filename: pool/universe/h/hol88/hol88-help_2.02.19940316-19_all.deb
Size: 220470
MD5sum: ebc23263099a1ad96549815723351fed
SHA1: 9d0b182e4cb456b1f1730db744904d56fa96260b
SHA256: 6c8555e7f3e6fcf6d0736abd2aecf04b06c6b943ab4e028abd611eeafa404b76
Description: Higher Order Logic, online help files
Description-md5: 3cbb7591c156d7493454903e09a5e3de
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu