acl2
source package

general

source
acl2 (source, math)
version
4.3-2
maint
Camm Maguire
arch
any all
std-ver
3.9.2

versions ... ...pool

stable
save 4.0-3
testing
save 4.3-2
unstable
save 4.3-2

problems

news RSS

bugs

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

ubuntu ubuntu ...

patch-tracker ...

stable
4.0-3
testing
4.3-2
unstable
4.3-2