| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2022-09-03 | tests.coq.overrideCoqDerivation: use runCommand instead of runCommandNoCC | Dennis Gosnell | 1 | -2/+2 |
| 2022-08-29 | tests.coq.overrideCoqDerivation: add test | Dennis Gosnell | 2 | -0/+46 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |