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.19940316dfsg-5
maint
Camm Maguire
arch
any all
std-ver
3.9.8

todo

problems

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

testing migration

  • This package is part of the ongoing testing transition known as auto-libtirpc. Please avoid uploads unrelated to this transition, they would likely delay it and require supplementary work from the release managers. On the other hand, if your package has problems preventing it to migrate to testing, please fix them as soon as possible. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.

news RSS

bugs

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