Package: hol88-library Priority: optional Section: universe/math Installed-Size: 14850 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: amd64 Source: hol88 Version: 2.02.19940316-19 Filename: pool/universe/h/hol88/hol88-library_2.02.19940316-19_amd64.deb Size: 1296524 MD5sum: 84c04419e94c6d4e70dfc15878cf15a0 SHA1: 7cdb808a8ea9f8f686456c0f0d8dda850243654c SHA256: 96d1ee0ec363a699b341f56e4707bbce6e5fb3a8da5f8e233a3169e01e0feede Description: Higher Order Logic, binary library modules Description-md5: ed59d638b3f8235fcf108a92c86aacfe Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu