acl2 8.6 maintained unfree
Interpreter and prover for a Lisp dialect
- Name
acl2-8.6- Package set
- top-level
- Homepage
- https://www.cs.utexas.edu/users/moore/acl2/
- Main program
acl2- Source
- pkgs/by-name/ac/acl2/package.nix:164
- Derivation
/nix/store/2j4mxjbkfqmvhh2nl1cz0n24hgqylgib-acl2-8.6.drv
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| 7c6f434c | Michael Raskin | GitHub · 7c6f434c@mail.ru | listed on package |
| kini | Keshav Kini | GitHub · keshav.kini@gmail.com | listed on package |
Dependencies 10
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| abc-verifier 0.62 | buildInputs | 21 | maintained | |
| glucose 4.2.1 | buildInputs | 3 | unmaintained | |
| hostname 3.25 | buildInputs | 390 | unmaintained | |
| minisat 2.2.1 | buildInputs | 7 | single | |
| perl 5.42.3 | buildInputs | 80,356 | team-only | |
| which 2.25 | buildInputs | 69,382 | single | |
| z3 5.1.0 | buildInputs | 114 | maintained | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.