diff options
author | Julien Lepiller <julien@lepiller.eu> | 2016-12-13 11:22:06 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-12-21 17:54:18 +0100 |
commit | 4da696877cc01077a3a159a7ef4c71ab214458e5 (patch) | |
tree | e3bcf7baa2575d974466ccf9312e0996c298891b /gnu/packages/qemu.scm | |
parent | 8afd19585f826e72197bc8775437f6d03ea8f813 (diff) |
gnu: coq: Build coqide
* gnu/packages/ocaml.scm (coq): Build coqide.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/qemu.scm')
0 files changed, 0 insertions, 0 deletions