Package: hol88-library-source
Architecture: all
Version: 2.02.19940316dfsg-8
Multi-Arch: foreign
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: 3613
Filename: pool/universe/h/hol88/hol88-library-source_2.02.19940316dfsg-8_all.deb
Size: 422728
MD5sum: 424fefe77996ec0c708d5fd39cb82802
SHA1: d24bd947ebfab69d54ab4ef04d81c894944e59af
SHA256: fe77ae0149d099fea06a27f8285e976d339ed932e08d71f00bb18cf62108b955
SHA512: 549ceb929bc62a11b7598d18249dcdebc504f27b348e74b9f47adce185e1c0df3f9eade1808317b047bc40dcdb11f0d42ff0d5eaab2ef3e26b12bf1f29e811c7
Description: Higher Order Logic, library source files
Description-md5: e521c5a5140872f1eacc44ebd11ff5bc