diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 09:26:29 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 13:21:18 +0100 |
| commit | ace73a93cdb70e2d470387516f22465d170c2d14 (patch) | |
| tree | 8840bc165e94cd43cc5f9c466c33c437dcd84dce /gnu/services.scm | |
| parent | a48d6acc23f426ca70e190e717a20cdb21df297f (diff) | |
| download | patches-ace73a93cdb70e2d470387516f22465d170c2d14.tar patches-ace73a93cdb70e2d470387516f22465d170c2d14.tar.gz | |
gnu: coq-gappa: Use INVOKE.
* gnu/packages/coq.scm (coq-gappa)[arguments]: Unconditionally return #T from
build phases by using INVOKE.
Diffstat (limited to 'gnu/services.scm')
0 files changed, 0 insertions, 0 deletions