» Ubuntu » Packages » lucid (10.04LTS) » Source » math » hol88
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]

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

Links for hol88

Ubuntu Resources:

Maintainer:

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:
hol88
Higher Order Logic, system image
hol88-contrib-help
Higher Order Logic, user contributed online help files
hol88-contrib-source
Higher Order Logic, user contributed source
hol88-doc
Documentation for hol88
hol88-help
Higher Order Logic, online help files
hol88-library
Higher Order Logic, binary library modules
hol88-library-help
Higher Order Logic, library online help files
hol88-library-source
Higher Order Logic, library source files
hol88-source
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-36)
    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 and docs 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-9.dsc 1.2 kB e8bdb563aadd3ea217e69d57484667cd
hol88_2.02.19940316.orig.tar.gz 10,001.0 kB 9cfba3cb495e7261e438f6a9324208e1
hol88_2.02.19940316-9.diff.gz 28.5 kB 2d48892a1cde4156268b401177e9e364