acl2
Computational Logic for Applicative Common Lisp: main binary

general

source
acl2 (source, math)
version
6.3-6
maint
Camm Maguire
arch
any all
std-ver
3.9.4

versions ... ...pool

oldstable
save 4.0-3
stable
save 4.3-3
testing
save 6.3-6
unstable
save 6.3-6

todo

  • The package should be updated to follow the last version of Debian Policy (Standards-Version 3.9.5 instead of 3.9.4).
  • A new upstream version is available: 6.4, you should consider packaging it.

news RSS

bugs

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

ubuntu ubuntu ...

patch-tracker ...

oldstable
4.0-3
stable
4.3-3
testing
6.3-6
unstable
6.3-6