Arthur Azevedo de Amorim 90db71098f coq: Fix bug when supplying release src. ...

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.

2025-05-05 21:52:17 +02:00

..

meta-fetch

coq: Fix bug when supplying release src.

2025-05-05 21:52:17 +02:00

default.nix

…

extra-lib.nix

…