Versions Packages Information History Badges Report

Versions for acl2

46 package(s) known

Repository Package name Version Category Maintainer(s)
AUR acl2 8.3 - soimort@aur
Debian 8
jessie/main
acl2 6.5 math camm@debian.org
Debian 9
stretch/main
acl2 7.2 math camm@debian.org
Debian 10
buster/main
acl2 8.0 math camm@debian.org
Debian 11
bullseye/main
acl2 8.3 math camm@debian.org
Debian 12
bookworm/main
acl2 8.3 math camm@debian.org
Debian Stable
stable/main
acl2 8.3 math camm@debian.org
Debian Testing
testing/main
acl2 8.3 math camm@debian.org
Debian Unstable
sid/main
acl2 8.3 math camm@debian.org
Debian Unstable
sid/main
acl2 8.3 math camm@debian.org
Deepin
main
acl2 8.0 math camm@debian.org
Devuan 1.0 (Jessie)
jessie/main
acl2 6.5 math camm@debian.org
Devuan 2.0 (ASCII)
ascii/main
acl2 7.2 math camm@debian.org
Devuan 3.0 (Beowulf)
beowulf/main
acl2 8.0 math camm@debian.org
Devuan 4.0 (Chimaera)
chimaera/main
acl2 8.3 math camm@debian.org
Devuan Unstable
unstable/main
acl2 8.3 math camm@debian.org
Gentoo Science overlay sci-mathematics/acl2 8.4 sci-mathematics dongxuli2011@gmail.com, sci-mathematics@gentoo.org
Gentoo Science overlay sci-mathematics/acl2 8.3 sci-mathematics dongxuli2011@gmail.com, sci-mathematics@gentoo.org
Homebrew acl2 8.3 - -
Kali Linux Rolling
main
acl2 8.3 math camm@debian.org
Linuxbrew acl2 8.3 - -
MacPorts acl2 8.3 math ijackson@macports, jacksonisaac@github
nixpkgs stable 21.05 acl2 8.3 - keshav.kini@gmail.com, 7c6f434c@mail.ru
nixpkgs stable 21.05 acl2 8.3 - keshav.kini@gmail.com, 7c6f434c@mail.ru
nixpkgs unstable acl2 8.4 - keshav.kini@gmail.com, 7c6f434c@mail.ru
nixpkgs unstable acl2 8.4 - keshav.kini@gmail.com, 7c6f434c@mail.ru
Pardus 17
main
acl2 7.2 math camm@debian.org
Pardus 19
main
acl2 8.0 math camm@debian.org
Pardus 21
main
acl2 8.3 math camm@debian.org
Parrot
main
acl2 8.3 math camm@debian.org
PureOS Amber acl2 8.0 misc camm@debian.org
PureOS landing acl2 8.3 misc camm@debian.org
Raspbian Oldstable
main
acl2 7.2 math camm@debian.org
Raspbian Stable
main
acl2 8.3 math camm@debian.org
Raspbian Testing
main
acl2 8.3 math camm@debian.org
Trisquel 6.0
toutatis/main
acl2 4.2 universe/math camm@debian.org
Trisquel 7.0
belenos/main
acl2 6.3 universe/math camm@debian.org
Trisquel 8.0
flidas/main
acl2 7.1 universe/math camm@debian.org
Trisquel 9.0
etiona/main
acl2 8.0 universe/math camm@debian.org
Ubuntu 14.04
trusty/universe
acl2 6.3 universe/math camm@debian.org
Ubuntu 16.04
xenial/universe
acl2 7.1 universe/math camm@debian.org
Ubuntu 18.04
bionic/universe
acl2 8.0 universe/math camm@debian.org
Ubuntu 20.04
focal/universe
acl2 8.2 universe/math camm@debian.org
Ubuntu 20.10
groovy/universe
acl2 8.3 universe/math camm@debian.org
Ubuntu 21.04
hirsute/universe
acl2 8.3 universe/math camm@debian.org
Ubuntu 21.10
impish/universe
acl2 8.3 universe/math camm@debian.org