Package - hol88

Package:  hol88
apt-get install hol88
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/h/hol88/hol88_2.02.19940316dfsg-6_amd64.deb (Size: 11.4MiB)

PropertyValue
Packagehol88
Version2.02.19940316dfsg-6
Installed-Size239349
MaintainerCamm Maguire
Architectureamd64
Dependslibc6 (>= 2.38), libedit2 (>= 2.11-20080614-0), libgmp10 (>= 2:6.3.0+dfsg), libtirpc3t64 (>= 1.0.2)
DescriptionHigher Order Logic, system image
Description-md5856cec9d207e6303a374714c344fc2a5
Taguitoolkit::ncurses
Sectionmath
Priorityoptional
Filenamepool/main/h/hol88/hol88_2.02.19940316dfsg-6_amd64.deb
Size11959456
MD5sum7ff27f8962df3672c03aa7f7e93b4f80
SHA256f9cd374d6b4023af5c6d9d98f946148cef1c07743f66b501ffde1722a8ba4e48

Files in package

  • /usr/bin/hol88
  • /usr/lib/hol88-2.02.19940316dfsg/basic-hol
  • /usr/lib/hol88-2.02.19940316dfsg/hol
  • /usr/lib/hol88-2.02.19940316dfsg/hol-lcf
  • /usr/share/doc/hol88/README.Debian
  • /usr/share/doc/hol88/changelog.Debian.gz
  • /usr/share/doc/hol88/copyright
  • /usr/share/hol88-2.02.19940316dfsg/basic-hol
  • /usr/share/hol88-2.02.19940316dfsg/hol
  • /usr/share/hol88-2.02.19940316dfsg/hol-lcf
  • /usr/share/lintian/overrides/hol88
  • /usr/share/man/man1/hol88.1.gz