diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-07-26 11:17:45 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-07-27 16:34:09 +0200 |
| commit | aadcdd2261cd08e8cf2c09cd644455785da57f8a (patch) | |
| tree | 6842bf92659510d40241bccd59e91ea491b0538c /gnu/packages/coq.scm | |
| parent | 38a3cacca042caa5eed6a287f017dd36fa75777a (diff) | |
| download | guix-aadcdd2261cd08e8cf2c09cd644455785da57f8a.tar guix-aadcdd2261cd08e8cf2c09cd644455785da57f8a.tar.gz | |
gnu: Add rust-tui-0.15.
* gnu/packages/crates-io.scm (rust-tui-0.15): New variable.
(rust-tui-0.14): Inherit from above.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions