Package: hol88-help
Source: hol88
Priority: optional
Section: universe/math
Installed-Size: 1868
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 2.02.19940316dfsg-9
Filename: pool/universe/h/hol88/hol88-help_2.02.19940316dfsg-9_all.deb
Size: 214986
SHA512: 91b6bd8b9b40894df69a1533ec1d6acffa1da2846430963fb2049d9deafc4bfa58d8a0d21fef9ba36f8ef3432977fb9763c2476f9cab2f0986427ef86c723483
Description: Higher Order Logic, online help files
Description-md5: 3cbb7591c156d7493454903e09a5e3de
Original-Maintainer: Camm Maguire <camm@debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug