Versions Packages Information History Badges Report

Packages for acl2

49 package(s) known

acl2

8.3 (8.3-1)
Debian 8
jessie/main

acl2

6.5 (6.5-2)
Debian 9
stretch/main

acl2

7.2dfsg (7.2dfsg-3)
Debian 10
buster/main

acl2

8.0dfsg (8.0dfsg-1)
Debian 11
bullseye/main

acl2

8.3dfsg (8.3dfsg-2)
Deepin
main

acl2

8.0dfsg (8.0dfsg-1)

acl2

6.5 (6.5-2)

acl2

7.2dfsg (7.2dfsg-3)

acl2

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

acl2

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

acl2

8.3dfsg (8.3dfsg-4)

sci-mathematics/acl2

8.4 (8.4-r1)

sci-mathematics/acl2

8.4

sci-mathematics/acl2

8.3 (8.3-r1)

sci-mathematics/acl2

8.3 (8.3-r2)

acl2

8.3

acl2

8.3dfsg (8.3dfsg-4)

acl2

8.3

acl2

8.3
  • Summary:
    An interpreter and a prover for a Lisp dialect
  • Maintainers:
  • Licenses:
    • BSD-3-Clause
    • MIT
    • GPL-2.0
    • Lisp LGPL; GNU Lesser General Public License version 2.1 with Franz Inc. preamble for clarification of LGPL terms in context of Lisp
    • CC0-1.0
    • Public Domain
    • Unfree redistributable
  • Links(s):

acl2

8.4
  • Summary:
    An interpreter and a prover for a Lisp dialect
  • Maintainers:
  • Licenses:
    • BSD-3-Clause
    • MIT
    • GPL-2.0
    • Lisp LGPL; GNU Lesser General Public License version 2.1 with Franz Inc. preamble for clarification of LGPL terms in context of Lisp
    • CC0-1.0
    • Public Domain
    • Unfree redistributable
  • Links(s):

acl2

8.4

acl2

7.2dfsg (7.2dfsg-3)

acl2

8.0dfsg (8.0dfsg-1)

acl2

8.3dfsg (8.3dfsg-2)
Parrot
main

acl2

8.3dfsg (8.3dfsg-2)

acl2

8.0dfsg (8.0dfsg-1)

acl2

8.3dfsg (8.3dfsg-2)

acl2

7.2dfsg (7.2dfsg-3)

acl2

8.3dfsg (8.3dfsg-1)

acl2

8.3dfsg (8.3dfsg-2)
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.0dfsg (8.0dfsg-1)
Trisquel 10.0
nabia/main

acl2

8.2dfsg (8.2dfsg-3build1)
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.0dfsg (8.0dfsg-1)
Ubuntu 20.04
focal/universe

acl2

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

acl2

8.3dfsg (8.3dfsg-1)
Ubuntu 21.04
hirsute/universe

acl2

8.3dfsg (8.3dfsg-2)
Ubuntu 21.10
impish/universe

acl2

8.3dfsg (8.3dfsg-2)