Package: hol88-library
Architecture: amd64
Version: 2.02.19940316dfsg-5
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: 31928
Filename: pool/universe/h/hol88/hol88-library_2.02.19940316dfsg-5_amd64.deb
Size: 4537418
MD5sum: ae49fdafafce3c4f705afc98de6b9f7f
SHA1: 12e44fa05c5a31b5bc9fe1d6dd87910458c88b2c
SHA256: 4a434e64218f407c2a48b81fb74f74c447f213228d84505157bc552c117c1408
SHA512: 3d17d31b71f438e2fff00dca37a8f1d0ac51a8f0876e037d65381575099ce78d1f75e2db95d0d2c338d877f9abe2e3d3f92abe8d60a7938b1452d5f989912892
Description: Higher Order Logic, binary library modules
Description-md5: ed59d638b3f8235fcf108a92c86aacfe