Package: hol88-source
Architecture: all
Version: 2.02.19940316dfsg-5build3
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: 1961
Filename: pool/universe/h/hol88/hol88-source_2.02.19940316dfsg-5build3_all.deb
Size: 297648
MD5sum: 453954247c4c4aa8121487f0a3bce063
SHA1: 9472bb2d37912783d863f35822dc212e6417b7f6
SHA256: 886519e9bf7ec7249f42007dde30ea49c7a531db337a71ee6e38804b102d9ab7
SHA512: 45173ba2a761793bdd7437e5c71c79e6253b183fbb66d3567ad64a16d9369fcfb342a4c57723b1fd0015ff7669b7790844982fa2c379ce5665afbe055d2974c6
Description: Higher Order Logic, source files
Description-md5: 27c7f6d4c5f2c1b835d23e7c80a45f30