Package: hol88-library-help
Priority: optional
Section: universe/math
Installed-Size: 1430
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-library-help_2.02.19940316-19_all.deb
Size: 242758
MD5sum: 021c1d750f45859b2b8ba1fc8e416c43
SHA1: 772f47f55f216ad4c78c890b0c3219abefbf711f
SHA256: 9d5d930bde7bdda48add161ddff46aca15d34682c10057217472ee33ddd04b69
Description: Higher Order Logic, library online help files
Description-md5: b894edd3e0bf365898f7846ac6e6d35e
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu