5 Commits

Author	SHA1	Message	Date
nicoo	633f94fa4a	doc/coq: sha256 → hash	2024-09-17 10:47:31 +02:00
Philip Taron	c4d420345d	Avoid top-level with ...; in pkgs/build-support/coq/extra-lib.nix	2024-03-19 22:31:19 +01:00
Dennis Gosnell	346454873e	coqPackages.lib.overrideCoqDerivation: update documentation for overriding version	2022-09-11 07:41:17 +09:00
Dennis Gosnell	06ece659f0	coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation function ... `overrideCoqDerivation` allows end-users the ability to easily override arguments to the underlying call to `mkCoqDerivation` for a given Coq library. This is similar to `haskell.lib.overrideCabal` for Haskell packages and `.overridePythonAttrs` for Python packges.	2022-08-29 14:41:03 +09:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00