hol88
Higher Order Logic, system image

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/hol88

general

source
hol88 (source, math)
version
2.02.19940316-35
maint
Camm Maguire
arch
any all
std-ver
3.9.8

todo

  • Lintian reports 5 warnings about this package. You should make the package lintian clean getting rid of them.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.3.0 instead of 3.9.8).

problems

  • The package is severely out of date with respect to the Debian Policy. Latest version is 4.3.0 and your package only follows 3.9.8...

testing migration

news RSS

bugs

all bug history graph
1
RC
0
I&N
0
M&W
1
F&P
0