diff options
| author | Arthur Azevedo de Amorim <arthur.aa@gmail.com> | 2025-05-05 10:55:41 -0400 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-05-05 21:52:17 +0200 |
| commit | 90db71098f5ec29399336621b30edc421769024d (patch) | |
| tree | 2e7e387f7a57d96c2393a5152f7eb840a360679a /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 76084a6a33d44d5de3ca0147fd618a9e122d70d6 (diff) | |
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.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions