Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |