diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-01-29 23:55:54 +0100 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-01-31 09:50:47 +0100 |
| commit | 63ef731ebd83388a4babe9623af7d1ece715e09a (patch) | |
| tree | 3275a5476f21d8b2ddba1400c2021b117abedca7 /gnu/packages/coq.scm | |
| parent | 6ee85bc499cd16e685433fd3a18a499a0f69d4fd (diff) | |
gnu: Add rust-alacritty-terminal-0.12.
* gnu/packages/crates-io.scm (rust-alacritty-terminal-0.12): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions