aboutsummaryrefslogtreecommitdiff
path: root/build-aux
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-01-25 09:24:41 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-01-25 13:21:18 +0100
commita48d6acc23f426ca70e190e717a20cdb21df297f (patch)
treed6d2c14663f7c3ceb6cc5eb4ac5125f5081e50be /build-aux
parent8543ccf87b9a8664fd02d595e8015c62d0f6841d (diff)
downloadguix-a48d6acc23f426ca70e190e717a20cdb21df297f.tar.gz
guix-a48d6acc23f426ca70e190e717a20cdb21df297f.zip
gnu: proof-general: Use INVOKE.
* gnu/packages/coq.scm (proof-general)[arguments]: Use INVOKE in build phases.
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions