Package: hol88-library Priority: optional Section: universe/math Installed-Size: 28020 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: amd64 Source: hol88 Version: 2.02.19940316-14 Filename: pool/universe/h/hol88/hol88-library_2.02.19940316-14_amd64.deb Size: 5416868 MD5sum: 194f9548d21a5f103a71afd26ed2ec76 SHA1: 34a66b99ae8ea87c66bb33418718ae924bf373c8 SHA256: 5f7c7e3855b06074ab2bdd478a8ad51baad0a586526e1fabc7011bd8f05224b1 Description: Higher Order Logic, binary library modules Description-md5: ed59d638b3f8235fcf108a92c86aacfe Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu