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 |
summary refs log tree commit diff |
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 |