[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]

Links for hol88

Debian Resources:

• Bug Reports
• Developer Information (PTS)
• Debian Changelog
• Copyright File
• Debian Patch Tracker

Maintainer:

• Camm Maguire (QA Page)

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: libreadline5-dev

  GNU readline and history libraries, development files

  or libreadline-dev

  GNU readline and history libraries, development files
  also a virtual package provided by libreadline5-dev

• adep: libxmu-dev

  X11 miscellaneous utility library (development headers)

• adep: libxaw7-dev

  X11 Athena Widget library (development headers)

Download hol88

File	Size (in kB)	MD5 checksum
hol88_2.02.19940316-8.dsc	1.2 kB	add365a28dbc29f05cd01d57aaf7af70
hol88_2.02.19940316.orig.tar.gz	10,001.0 kB	9cfba3cb495e7261e438f6a9324208e1
hol88_2.02.19940316-8.diff.gz	21.8 kB	30d7d6aefb43529b64f4561d0636af1f