Package: hol88-library
Architecture: i386
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: 15680
Filename: pool/universe/h/hol88/hol88-library_2.02.19940316-35_i386.deb
Size: 2900788
MD5sum: 960694e19aa312c481fcea52c7916ffd
SHA1: dc6e32133b704fe4efcb9ce283c3bdca64d89ba8
SHA256: 3535ec97a6610cf8695079c2ce9a7fff7965e6e855aec5e4b2b146a33a836f61
Description: Higher Order Logic, binary library modules
Description-md5: ed59d638b3f8235fcf108a92c86aacfe