» Ubuntu » Packages » precise (12.04LTS) » Source » math » hol88
precise  ] [  trusty  ] [  xenial  ] [  yakkety  ] [  zesty  ]

Source Package: hol88 (2.02.19940316-14) [universe]

Links for hol88

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Camm Maguire

It should generally not be necessary for users to contact the original maintainer.

The following binary packages are built from this source package:
Higher Order Logic, system image
Higher Order Logic, user contributed online help files
Higher Order Logic, user contributed source
Documentation for hol88
Higher Order Logic, online help files
Higher Order Logic, binary library modules
Higher Order Logic, library online help files
Higher Order Logic, library source files
Higher Order Logic, source files

Other Packages Related to hol88

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 5)
    helper programs for debian/rules
  • adep: gcl (>= 2.6.7-62)
    GNU Common Lisp compiler
  • adep: texlive-latex-base
    TeX Live: Basic LaTeX packages
  • adep: libgmp3-dev
    Multiprecision arithmetic library developers tools
  • adep: libncurses5-dev
    developer's libraries for ncurses
  • adep: libreadline-dev
    GNU readline and history libraries, development files
  • adep: libxmu-dev
    X11 miscellaneous utility library (development headers)
  • adep: libxaw7-dev
    X11 Athena Widget library (development headers)

Download hol88

FileSize (in kB)MD5 checksum
hol88_2.02.19940316-14.dsc 1.2 kB 3275e54901d56636641eb73fcba42da3
hol88_2.02.19940316.orig.tar.gz 10,001.0 kB 9cfba3cb495e7261e438f6a9324208e1
hol88_2.02.19940316-14.diff.gz 116.6 kB dd09a2c1582160946ed6bf596e362305