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