| Repository |
Package name |
Version |
Category |
Maintainer(s) |
|
AUR |
acl2 |
8.5 |
- |
soimort@aur |
Debian 10
buster/main |
acl2 |
8.0dfsg |
math |
[email protected] |
Debian 11
bullseye/main |
acl2 |
8.3dfsg |
math |
[email protected] |
Debian 12
bookworm/main |
acl2 |
8.5dfsg |
math |
[email protected] |
Debian 13
trixie/main |
acl2 |
8.5dfsg |
math |
[email protected] |
Debian Unstable
sid/main |
acl2 |
8.5dfsg |
math |
[email protected] |
deepin 20
main |
acl2 |
8.0dfsg |
- |
[email protected] |
Devuan 3.0
beowulf/main |
acl2 |
8.0dfsg |
math |
[email protected] |
Devuan 4.0
chimaera/main |
acl2 |
8.3dfsg |
math |
[email protected] |
Devuan Unstable
unstable/main |
acl2 |
8.5dfsg |
math |
[email protected] |
|
Gentoo |
sci-mathematics/acl2 |
8.5_p20240307 |
sci-mathematics |
[email protected] |
|
Gentoo |
sci-mathematics/acl2 |
8.5 |
sci-mathematics |
[email protected] |
|
Homebrew |
acl2 |
8.6 |
- |
- |
Kali Linux Rolling
main |
acl2 |
8.5dfsg |
math |
[email protected] |
|
LiGurOS stable |
sci-mathematics/acl2 |
8.5_p20240307 |
sci-mathematics |
[email protected] |
|
LiGurOS stable |
sci-mathematics/acl2 |
8.5 |
sci-mathematics |
[email protected] |
|
LiGurOS develop |
sci-mathematics/acl2 |
8.5_p20240307 |
sci-mathematics |
[email protected] |
|
LiGurOS develop |
sci-mathematics/acl2 |
8.5 |
sci-mathematics |
[email protected] |
|
MacPorts |
acl2 |
8.3 |
math |
ijackson@macports, jacksonisaac@github |
|
nixpkgs stable 21.11 |
acl2 |
8.4 |
- |
[email protected], [email protected] |
|
nixpkgs stable 21.11 |
acl2 |
8.4 |
- |
[email protected], [email protected] |
|
nixpkgs stable 22.05 |
acl2 |
8.4 |
- |
[email protected], [email protected] |
|
nixpkgs stable 22.05 |
acl2 |
8.4 |
- |
[email protected], [email protected] |
|
nixpkgs stable 22.11 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs stable 22.11 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs stable 23.05 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs stable 23.05 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs stable 23.11 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs stable 23.11 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs stable 24.05 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs stable 24.05 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs stable 24.11 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs stable 24.11 |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs unstable |
acl2 |
8.5 |
- |
[email protected], [email protected] |
|
nixpkgs unstable |
acl2 |
8.5 |
- |
[email protected], [email protected] |
Pardus 21
main |
acl2 |
8.3dfsg |
math |
[email protected] |
Parrot
parrot-updates/main |
acl2 |
8.5dfsg |
math |
[email protected] |
Parrot
parrot/main |
acl2 |
8.5dfsg |
math |
[email protected] |
PureOS amber
amber/main |
acl2 |
8.0dfsg |
math |
[email protected] |
PureOS byzantium
byzantium/main |
acl2 |
8.3dfsg |
math |
[email protected] |
PureOS landing
landing/main |
acl2 |
8.5dfsg |
math |
[email protected] |
Raspbian Oldstable
main |
acl2 |
8.3dfsg |
math |
[email protected] |
Raspbian Stable
main |
acl2 |
8.5dfsg |
math |
[email protected] |
Raspbian Testing
main |
acl2 |
8.5dfsg |
math |
[email protected] |
|
SlackBuilds |
academic/acl2 |
8.5 |
academic |
[email protected] |
Trisquel 10.0
nabia/main |
acl2 |
8.2dfsg |
universe/math |
[email protected] |
Trisquel 11.0
aramo/main |
acl2 |
8.4dfsg |
universe/math |
[email protected] |
Ubuntu 14.04
trusty/universe |
acl2 |
6.3 |
universe/math |
[email protected] |
Ubuntu 16.04
xenial/universe |
acl2 |
7.1 |
universe/math |
[email protected] |
Ubuntu 18.04
bionic/universe |
acl2 |
8.0dfsg |
universe/math |
[email protected] |
Ubuntu 20.04
focal/universe |
acl2 |
8.2dfsg |
universe/math |
[email protected] |
Ubuntu 22.04
jammy/universe |
acl2 |
8.4dfsg |
universe/math |
[email protected] |
Ubuntu 23.04
lunar/universe |
acl2 |
8.5dfsg |
universe/math |
[email protected] |
Ubuntu 23.10
mantic/universe |
acl2 |
8.5dfsg |
universe/math |
[email protected] |
Ubuntu 24.04
noble/universe |
acl2 |
8.5dfsg |
universe/math |
[email protected] |
Ubuntu 24.10
oracular/universe |
acl2 |
8.5dfsg |
universe/math |
[email protected] |
Ubuntu 25.04
plucky/universe |
acl2 |
8.5dfsg |
universe/math |
[email protected] |