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/local.mk | |
| parent | 8afd19585f826e72197bc8775437f6d03ea8f813 (diff) | |
| download | patches-4da696877cc01077a3a159a7ef4c71ab214458e5.tar patches-4da696877cc01077a3a159a7ef4c71ab214458e5.tar.gz | |
gnu: coq: Build coqide
* gnu/packages/ocaml.scm (coq): Build coqide.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions