Package: hol88-source
Architecture: all
Version: 2.02.19940316dfsg-8
Multi-Arch: foreign
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: 1961
Filename: pool/universe/h/hol88/hol88-source_2.02.19940316dfsg-8_all.deb
Size: 297788
MD5sum: 55ffeb9400b1d4ff882baafa718d632c
SHA1: 26bbc9e7756c79161a06d2190ad2fca7bb773f48
SHA256: 1bfbfec83ed4631bd035e6e95eb82cbfe150c760d8a4d997c0d234287d970b9a
SHA512: 71927e3f638348e81a3d9a9e33d5f4327d35436315f03c595f0c61e5316eb5fe07babfbe44fadfc11b992ab991f2162330f94bbf44d8d209fa909b0fa761ace6
Description: Higher Order Logic, source files
Description-md5: 27c7f6d4c5f2c1b835d23e7c80a45f30