diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-01-24 23:03:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-01-24 23:56:43 +0100 |
| commit | 6713589d6beca4bdc3b7acbeb4e8975ef3ceb7cf (patch) | |
| tree | 6658bee688ca22e1d9e35f82142e7db23dde36eb /gnu/packages/coq.scm | |
| parent | 01e5d63c87b6b110f0632597e89a6a7476fc7d1c (diff) | |
gnu: guile-ics: Add "guile3.0-ics" variant.
* gnu/packages/guile-xyz.scm (guile-ics)[source]: Add 'modules' and 'snippet'.
(guile3.0-ics): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions