package names
descriptions
source package names
package contents
all options
skip the navigation
>>
Debian
>>
Packages
>>
sid (unstable)
>>
Source
>>
math
>> hol88
[
etch
] [
etch-m68k
] [
lenny
] [
squeeze
] [
sid
]
Source Package: hol88 (2.02.19940316-8)
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