Package: hol88-library
Priority: optional
Section: universe/math
Installed-Size: 15397
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Architecture: i386
Source: hol88
Version: 2.02.19940316-31
Filename: pool/universe/h/hol88/hol88-library_2.02.19940316-31_i386.deb
Size: 2827514
MD5sum: 5942ff1bbb494c83c5712a0c422f160a
SHA1: 84b8e427e9c5cf62c77a8ac9559bd66b64a0ed9a
SHA256: 0bc7da1b83767df94da7ae2adb1c71cefda4246d2ae393c22764fe664f223c19
Description: Higher Order Logic, binary library modules
Description-md5: ed59d638b3f8235fcf108a92c86aacfe
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu