| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2022-07-27 | acl2: 8.4 -> 8.5 | Keshav Kini | 1 | -117/+20 |
| 2021-11-12 | acl2: fix build on darwin | Mario Rodas | 1 | -2/+2 |
| 2021-08-15 | acl2: 8.3 -> 8.4 | Keshav Kini | 1 | -82/+46 |
| 2020-08-01 | acl2, acl2-minimal: build standard library, init | Keshav Kini | 1 | -0/+190 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |