diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-24 23:12:38 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 13:21:18 +0100 |
| commit | 8543ccf87b9a8664fd02d595e8015c62d0f6841d (patch) | |
| tree | 076c687286b098f97787c3900fe28d93ed385734 /gnu/packages/coq.scm | |
| parent | e60b3e14a1b4a35ab7d8afb3da85ad59b44ee367 (diff) | |
| download | patches-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