Package: hol88-library
Architecture: amd64
Version: 2.02.19940316dfsg-5build3
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: 32115
Filename: pool/universe/h/hol88/hol88-library_2.02.19940316dfsg-5build3_amd64.deb
Size: 4533184
MD5sum: c2e0a8a71d76e7539b811a0f12982643
SHA1: 34fe37a02185ce3940e3b0eb720e2c262b8d9bd6
SHA256: 52a6269926c3b8a7269bebf28a66c42158236c37d6ec2e9905081abb971316b9
SHA512: 10e16ec040a06c1ce62ba00a7390cd6c09aa198ee2710de501e0127266f5a402a04c697b98c44066632b6e126c4aa69ff44dd9b6a5c97d4fb654cdba79b8490d
Description: Higher Order Logic, binary library modules
Description-md5: ed59d638b3f8235fcf108a92c86aacfe