| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-03-19 | Avoid top-level `with ...;` in pkgs/build-support/coq/extra-lib.nix | Philip Taron | 1 | -1/+21 |
| 2022-09-11 | coqPackages.lib.overrideCoqDerivation: update documentation for overriding ve... | Dennis Gosnell | 1 | -1/+12 |
| 2022-08-29 | coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation func... | Dennis Gosnell | 1 | -0/+37 |
| 2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -0/+145 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |