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-8build1
Filename: pool/universe/h/hol88/hol88-source_2.02.19940316dfsg-8build1_all.deb
Size: 297928
MD5sum: f8e7f49133dd6cfbd148e37eab522f9f
SHA1: 350bc003048563ba2025678db8ed75a085dc3b81
SHA256: 968f55ad9bb92f3c9a292219bba485861eb87e2ba3292dadfd6546a4d13a6970
SHA512: 3920d1a7fdf37b81ec80ca092b26977f6955a36626b7f303532892c8cf7e7b157248b32f5254494cab67ff60808e352deb3503887ea5e0e1d1c45f2d43a86c95
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