| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2016-01-30 | acl2: use mkDerivation | Robin Gloster | 1 | -30/+20 |
| 2014-09-20 | Adopt fix from ewemoa to give more memory to acl2 build | Michael Raskin | 1 | -2/+2 |
| 2014-09-01 | Update ACL2 | Michael Raskin | 1 | -2/+2 |
| 2012-01-18 | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 1 | -1/+1 |
| 2010-01-21 | Add myself as a maintainer | Michael Raskin | 1 | -1/+5 |
| 2009-08-13 | Adding ACL2. | Michael Raskin | 1 | -0/+41 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| summary refs log tree commit diff |