- libc6 (>= 2.38)
- libedit2 (>= 2.11-20080614-0)
- libgmp10 (>= 2:6.3.0+dfsg)
- libtirpc3t64 (>= 1.0.2)
- libx11-6
ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
.
This package contains the base ACL2 binary.
Installed Size: 251.9 MB
Architectures: amd64 arm64