Package: hol88-library-source
Architecture: all
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: 3613
Filename: pool/universe/h/hol88/hol88-library-source_2.02.19940316dfsg-5build3_all.deb
Size: 422518
MD5sum: f1f3753b426cdf4693a0fa1cbd41f032
SHA1: dbb4c845a7ea8b319b2296bdf1e356523b5ba84b
SHA256: a7b33dc9a93f60b8608143bd8e5a0399d22fa328bff51975385c1e9a7bc049ee
SHA512: f538369e65068ee0bc97f99a623a9c17455451bd45434facd5cb93747f13231b6069f29abbc15fb9d09145af066cf94c350aef2f2b4b18f831b55c2786a9f950
Description: Higher Order Logic, library source files
Description-md5: e521c5a5140872f1eacc44ebd11ff5bc