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