Package: hol88-library
Priority: optional
Section: universe/math
Installed-Size: 8496
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Architecture: i386
Source: hol88
Version: 2.02.19940316-19
Filename: pool/universe/h/hol88/hol88-library_2.02.19940316-19_i386.deb
Size: 1203314
MD5sum: 971bef4b77797f5ce032c937eee9e21b
SHA1: b963784b21c9c1783d4fa12791952c2876bf663f
SHA256: 8ddf9dd5c4cc02990d7e2e585f36f80edfcd300d0360476f526067b95675b048
Description: Higher Order Logic, binary library modules
Description-md5: ed59d638b3f8235fcf108a92c86aacfe
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu