Package: hol88-doc
Priority: optional
Section: universe/math
Installed-Size: 1086
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Architecture: all
Source: hol88
Version: 2.02.19940316-19
Filename: pool/universe/h/hol88/hol88-doc_2.02.19940316-19_all.deb
Size: 1052424
MD5sum: cccaa9f273faac57a63089cd5645e57f
SHA1: 22fe848c931707b6239906057eb486e525a6405e
SHA256: a72b9c3e32694955732b1d364694c6a9a9a94f9fdf474586516e217b1afa7d85
Description: Documentation for hol88
Description-md5: 4dedd761e4ac74cd5822cf0ab6bc3ed2
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu