diff options
author | Tanguy Le Carrour <tanguy@bioneland.org> | 2022-02-21 19:33:03 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-03-03 23:57:01 +0100 |
commit | bb41642077b67cd975d073e7904a90c67569ff56 (patch) | |
tree | cc8545936bd4cef403f7d6542ecc3a09e7f7f25f /gnu/packages/coq.scm | |
parent | f1c18e17663353d4a46f6dc23da72f49c53549cb (diff) | |
download | guix-bb41642077b67cd975d073e7904a90c67569ff56.tar.gz |
gnu: Add wtype.
* gnu/packages/freedesktop.scm (wtype): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions