diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-20 17:49:01 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-20 19:49:47 +0100 |
| commit | 8abbe5dc8232bb244bb3f615130d2d5d60911778 (patch) | |
| tree | ecc4f22f88ec925ebab44b8afd6646554dc818ea /Makefile.am | |
| parent | 324f192700b2b64631ced0d05576eeb1d2cf6918 (diff) | |
| download | guix-8abbe5dc8232bb244bb3f615130d2d5d60911778.tar.gz | |
gnu: coq-flocq: Update phase style.
* gnu/packages/ocaml.scm (coq-flocq)[arguments]: Substitute INVOKE for SYSTEM* and end all phases with an explicit #t.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions