Package: hol88-contrib-source
Source: hol88
Priority: optional
Section: universe/math
Installed-Size: 5514
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 2.02.19940316dfsg-8build1
Filename: pool/universe/h/hol88/hol88-contrib-source_2.02.19940316dfsg-8build1_all.deb
Size: 739088
MD5sum: d52e7a0a5d3d0672ae38b3b7e618fc5b
SHA1: 7f10ded7c9bd8a1582ada1cd93615efdd4c8d22d
SHA256: d92d5b8413a2e482cce8954703d4f7942936507f909bf6726c67099be10466f6
SHA512: 2ac7cd91f6548cd607d55def186b71f9ed6ca840c52bb1bbf9d2d6110596ca12af757859304e143b4d47e61604f0ad3ff745044b8b216706245f5fad1463eb3d
Description: Higher Order Logic, user contributed source
Description-md5: ecaaa8ef767bf5b313a2fac994e4dd57
Original-Maintainer: Camm Maguire <camm@debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug