diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 11:39:57 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 13:21:19 +0100 |
| commit | e09e83880f0ad1901011ae516db59495fe582caa (patch) | |
| tree | 856116414bafd8418d9d4051fe3207631eb08e72 /AUTHORS | |
| parent | 1530b17aa14df91399f2dab0f5ee7951e27c6071 (diff) | |
gnu: coq-coquelicot: Use INVOKE.
* gnu/packages/coq.scm (coq-coquelicot)[arguments]: Use INVOKE.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions