Package: hol88-source
Source: hol88
Priority: optional
Section: universe/math
Installed-Size: 1961
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 2.02.19940316dfsg-9
Filename: pool/universe/h/hol88/hol88-source_2.02.19940316dfsg-9_all.deb
Size: 297544
SHA512: aaa4c0e088121ae441976f0a45d1a2d39a40da24455c38002c6dcec21525275083df84ba9c0f3748c8ef4a8e5b3ff5b453dc1698952e83072d1814413d1b9b87
Description: Higher Order Logic, source files
Description-md5: 27c7f6d4c5f2c1b835d23e7c80a45f30
Original-Maintainer: Camm Maguire <camm@debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug