Package: hol88-contrib-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: 5514
Filename: pool/universe/h/hol88/hol88-contrib-source_2.02.19940316dfsg-5build3_all.deb
Size: 737710
MD5sum: 5520ce35fed9a369822c598d4ab9370a
SHA1: 6b0d2871daa57556c2bb746fa854156b753fe76b
SHA256: 3413e75a469db18c31e7e5b774d72304367548a9f455edde96b34cc50c048375
SHA512: eb01533ca448bd2660e967a03c3444aaf0d00a68b18b95289816be349874448911f020eafd2f0dadb0244d49df5f141235c3e41d0f31dff64c30c4037fece8cd
Description: Higher Order Logic, user contributed source
Description-md5: ecaaa8ef767bf5b313a2fac994e4dd57