mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-06-09 19:13:26 +03:00
90db71098f
Because of Nix precedence rules, the previous version of `mkCoqDerivation` required that the supplied `src` parameter to a package's release were a function that returned the source. If an actual source was provided, a confusing error message was thrown. This commit fixes this issue. |
||
|---|---|---|
| .. | ||
| meta-fetch | ||
| default.nix | ||
| extra-lib.nix | ||