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-8build1
Filename: pool/universe/h/hol88/hol88-help_2.02.19940316dfsg-8build1_all.deb
Size: 215442
MD5sum: 8ac01385db0d9624b22778fb4cf4605a
SHA1: 8c6f74fd0ca68591906fd3312a11b68ac6475d44
SHA256: d092d4295555bb6c0da923649081bde620d5a25e567b5b6cf4353c891e0d9a8e
SHA512: 025323e1c3f7c1cd244260540540d6ea2ffd178d3553596d7c8a50618d1f194175b1eedd18b0abaf2c4cf9935fc68a46efa9fc2d15f9b3ca8e886dd248dc3d11
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