Versions Packages Information History Badges Report

Packages for acl2

39 package(s) known

acl2

8.3 (8.3-1)
Deepin
main

acl2

8.0 (8.0dfsg-1)

acl2

6.5 (6.5-2)

acl2

7.2 (7.2dfsg-3)

acl2

8.0 (8.0dfsg-1)
Devuan 4.0 (Chimaera)
chimaera/main

acl2

8.3 (8.3dfsg-1)
Devuan Unstable
unstable/main

acl2

8.3 (8.3dfsg-1)

sci-mathematics/acl2

8.3

sci-mathematics/acl2

7.1

acl2

8.3

acl2

8.3 (8.3dfsg-1)

acl2

8.3

acl2

8.2

acl2

8.3

acl2

8.3

acl2

8.3

acl2

8.3

acl2

7.2 (7.2dfsg-3)

acl2

8.0 (8.0dfsg-1)
Parrot
main

acl2

8.3 (8.3dfsg-1)

acl2

8.0 (8.0dfsg-1)

acl2

8.3 (8.3dfsg-1)

acl2

7.2 (7.2dfsg-3)

acl2

7.2 (7.2dfsg-3)

acl2

8.3 (8.3dfsg-1)
Trisquel 6.0
toutatis/main

acl2

4.2 (4.2-1)
Trisquel 7.0
belenos/main

acl2

6.3 (6.3-5)
Trisquel 8.0
flidas/main

acl2

7.1 (7.1-1)
Trisquel 9.0
etiona/main

acl2

8.0 (8.0dfsg-1)
Ubuntu 12.04
precise/universe

acl2

4.2 (4.2-1)
Ubuntu 14.04
trusty/universe

acl2

6.3 (6.3-5)
Ubuntu 16.04
xenial/universe

acl2

7.1 (7.1-1)
Ubuntu 18.04
bionic/universe

acl2

8.0 (8.0dfsg-1)
Ubuntu 20.04
focal/universe

acl2

8.2 (8.2dfsg-3build1)
Ubuntu 20.10
groovy/universe

acl2

8.3 (8.3dfsg-1)