Package: hol88-library-source Architecture: all Version: 2.02.19940316-35 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: 3614 Filename: pool/universe/h/hol88/hol88-library-source_2.02.19940316-35_all.deb Size: 417180 MD5sum: 5ef0b88e05bd0f94528f5050af3fff16 SHA1: eeea2dbf5046105a7db8f5cf6531e474d210c2ab SHA256: e44b5fc0771f08f9f497ea6acf23e4938fe871ae2ef5d3355745610cfc17192d Description: Higher Order Logic, library source files Description-md5: e521c5a5140872f1eacc44ebd11ff5bc