Package: hol88-help
Architecture: all
Version: 2.02.19940316dfsg-8
Multi-Arch: foreign
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-8_all.deb
Size: 215322
MD5sum: 6f362a22da98ffafad6a44648d100997
SHA1: 330825e59a210aac0bfbfdf75c8e4988304b6959
SHA256: 4282cc776dc48116dbb8b2a29638b1abbf3d6576648b5b94a0f7a859ce4fe7fc
SHA512: aabfa41ad2571a69b9d59a782d6396bcd2cc46f9e9a3344094fa9f827b53a0b44671493b8a143c267a46ec72e85627064660c57cef5ca4f5613c1782c914054c
Description: Higher Order Logic, online help files
Description-md5: 3cbb7591c156d7493454903e09a5e3de