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 /gnu/system.scm | |
parent | 324f192700b2b64631ced0d05576eeb1d2cf6918 (diff) | |
download | guix-patches-8abbe5dc8232bb244bb3f615130d2d5d60911778.tar guix-patches-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 'gnu/system.scm')
0 files changed, 0 insertions, 0 deletions