acl2
source package

general

source
acl2 (optional, math)
version
3.4-2
maint
Camm Maguire
std-ver
3.8.0

versions ...pool

old
save 3.1-1
testing
save 3.4-2
unstable
save 3.4-2

todo

  • Lintian reports 66 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 3.8.3 instead of 3.8.0).
  • A new upstream version is available: 3.6, you should consider packaging it.

news RSS

bugs count

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

ubuntu ubuntu ...