Package: hol88-library Architecture: amd64 Version: 2.02.19940316-35 Priority: optional Section: universe/math Source: hol88 Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 26704 Filename: pool/universe/h/hol88/hol88-library_2.02.19940316-35_amd64.deb Size: 3106216 MD5sum: 53a040774a568e56d879725b212d3cd1 SHA1: f8dde6d032dee5b8e35328bfbddc23f29502823c SHA256: 797211cc31bcdf7bc78cc874215b94641dfd942ea03cfa130c198747fc25a4ee Description: Higher Order Logic, binary library modules Description-md5: ed59d638b3f8235fcf108a92c86aacfe