diff options
author | Dennis Gosnell <cdep.illabout@gmail.com> | 2022-09-03 21:02:17 +0900 |
---|---|---|
committer | Dennis Gosnell <cdep.illabout@gmail.com> | 2022-09-03 21:02:17 +0900 |
commit | 49e6d1b81329a7847114dfa377f17d144a416acc (patch) | |
tree | 3fd679b111b9409bfcd28ba4f4b1994e4dcda058 /pkgs/build-support/coq | |
parent | 7efd4aa67c44be8fa854daf81243b300cf94259f (diff) |
tests.coq.overrideCoqDerivation: use runCommand instead of runCommandNoCC
Diffstat (limited to 'pkgs/build-support/coq')
0 files changed, 0 insertions, 0 deletions