diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 09:28:53 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 13:21:18 +0100 |
| commit | 492ee4f83bbb803e0135cc42d8a0d80d5e1787ad (patch) | |
| tree | f251007fadfe068b71eb265de52559a9a377338a /release.nix | |
| parent | ace73a93cdb70e2d470387516f22465d170c2d14 (diff) | |
| download | patches-492ee4f83bbb803e0135cc42d8a0d80d5e1787ad.tar patches-492ee4f83bbb803e0135cc42d8a0d80d5e1787ad.tar.gz | |
gnu: coq-mathcomp: Use INVOKE.
* gnu/packages/coq.scm (coq-mathcomp)[arguments]: Unconditionally return #T
from build phases.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions