| Repository |
Package name |
Version |
Category |
Maintainer(s) |
|
AUR |
acl2 |
8.5 |
- |
soimort@aur |
Debian 10
buster/main |
acl2 |
8.0dfsg |
math |
camm@debian.org |
Debian 11
bullseye/main |
acl2 |
8.3dfsg |
math |
camm@debian.org |
Debian 12
bookworm/main |
acl2 |
8.5dfsg |
math |
camm@debian.org |
Debian 13
trixie/main |
acl2 |
8.5dfsg |
math |
camm@debian.org |
Debian Unstable
sid/main |
acl2 |
8.5dfsg |
math |
camm@debian.org |
Deepin
main |
acl2 |
8.0dfsg |
- |
camm@debian.org |
Devuan 3.0
beowulf/main |
acl2 |
8.0dfsg |
math |
camm@debian.org |
Devuan 4.0
chimaera/main |
acl2 |
8.3dfsg |
math |
camm@debian.org |
Devuan Unstable
unstable/main |
acl2 |
8.5dfsg |
math |
camm@debian.org |
|
Gentoo |
sci-mathematics/acl2 |
8.5 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
Homebrew |
acl2 |
8.5 |
- |
- |
Kali Linux Rolling
main |
acl2 |
8.5dfsg |
math |
camm@debian.org |
|
LiGurOS stable |
sci-mathematics/acl2 |
8.5 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/acl2 |
8.5 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
MacPorts |
acl2 |
8.3 |
math |
ijackson@macports, jacksonisaac@github |
|
nixpkgs stable 21.11 |
acl2 |
8.4 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
|
nixpkgs stable 21.11 |
acl2 |
8.4 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
|
nixpkgs stable 22.05 |
acl2 |
8.4 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
|
nixpkgs stable 22.05 |
acl2 |
8.4 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
|
nixpkgs stable 22.11 |
acl2 |
8.5 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
|
nixpkgs stable 22.11 |
acl2 |
8.5 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
|
nixpkgs stable 23.05 |
acl2 |
8.5 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
|
nixpkgs stable 23.05 |
acl2 |
8.5 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
|
nixpkgs unstable |
acl2 |
8.5 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
|
nixpkgs unstable |
acl2 |
8.5 |
- |
keshav.kini@gmail.com, 7c6f434c@mail.ru |
Pardus 21
main |
acl2 |
8.3dfsg |
math |
camm@debian.org |
Parrot
parrot-updates/main |
acl2 |
8.3dfsg |
math |
camm@debian.org |
Parrot
parrot/main |
acl2 |
8.3dfsg |
math |
camm@debian.org |
|
PureOS Amber |
acl2 |
8.0dfsg |
math |
camm@debian.org |
|
PureOS landing |
acl2 |
8.5dfsg |
math |
camm@debian.org |
Raspbian Oldstable
main |
acl2 |
8.3dfsg |
math |
camm@debian.org |
Raspbian Stable
main |
acl2 |
8.5dfsg |
math |
camm@debian.org |
Raspbian Testing
main |
acl2 |
8.5dfsg |
math |
camm@debian.org |
|
SlackBuilds |
academic/acl2 |
8.5 |
academic |
for_sbo.acl2_2023-07-16@lockywolf.net |
Trisquel 10.0
nabia/main |
acl2 |
8.2dfsg |
universe/math |
camm@debian.org |
Trisquel 11.0
aramo/main |
acl2 |
8.4dfsg |
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.0dfsg |
universe/math |
camm@debian.org |
Ubuntu 20.04
focal/universe |
acl2 |
8.2dfsg |
universe/math |
camm@debian.org |
Ubuntu 22.04
jammy/universe |
acl2 |
8.4dfsg |
universe/math |
camm@debian.org |
Ubuntu 23.04
lunar/universe |
acl2 |
8.5dfsg |
universe/math |
camm@debian.org |
Ubuntu 23.10
mantic/universe |
acl2 |
8.5dfsg |
universe/math |
camm@debian.org |