diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2019-12-12 19:38:09 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-12-12 20:10:18 +0100 |
| commit | 4d6d88bb7e7c8fd1a406c063eb7771343a18ad4a (patch) | |
| tree | 3e6026b31ef668c21e4c17a89008bcb0130bf5c4 /README | |
| parent | d8421fef1db92908719dfa92b78fce7952319abb (diff) | |
| download | guix-4d6d88bb7e7c8fd1a406c063eb7771343a18ad4a.tar guix-4d6d88bb7e7c8fd1a406c063eb7771343a18ad4a.tar.gz | |
gnu: coq: Split coqide.
* gnu/packages/coq.scm (coq)[outputs]: Add "ide" output.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions