summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-01-24 23:12:38 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-01-25 13:21:18 +0100
commit8543ccf87b9a8664fd02d595e8015c62d0f6841d (patch)
tree076c687286b098f97787c3900fe28d93ed385734 /gnu/packages/coq.scm
parente60b3e14a1b4a35ab7d8afb3da85ad59b44ee367 (diff)
downloadpatches-8543ccf87b9a8664fd02d595e8015c62d0f6841d.tar
patches-8543ccf87b9a8664fd02d595e8015c62d0f6841d.tar.gz
gnu: eschalot: Use INVOKE.
* gnu/packages/crypto.scm (eschalot)[arguments]: Unconditionally return #T from check phase.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions