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