diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 09:24:41 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 13:21:18 +0100 |
| commit | a48d6acc23f426ca70e190e717a20cdb21df297f (patch) | |
| tree | d6d2c14663f7c3ceb6cc5eb4ac5125f5081e50be /THANKS | |
| parent | 8543ccf87b9a8664fd02d595e8015c62d0f6841d (diff) | |
| download | patches-a48d6acc23f426ca70e190e717a20cdb21df297f.tar patches-a48d6acc23f426ca70e190e717a20cdb21df297f.tar.gz | |
gnu: proof-general: Use INVOKE.
* gnu/packages/coq.scm (proof-general)[arguments]: Use INVOKE in build phases.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions