diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 11:37:54 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 13:21:19 +0100 |
| commit | 1530b17aa14df91399f2dab0f5ee7951e27c6071 (patch) | |
| tree | fcd7ecdcf62dfe51305aaba381e7366022808028 /gnu/packages/coq.scm | |
| parent | 843ce5b41939f213e588921d5a8e11e4051b4e40 (diff) | |
| download | guix-patches-1530b17aa14df91399f2dab0f5ee7951e27c6071.tar guix-patches-1530b17aa14df91399f2dab0f5ee7951e27c6071.tar.gz | |
gnu: imb: Use INVOKE.
* gnu/packages/benchmark.scm (imb)[arguments]: Use INVOKE.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions