diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2020-12-21 09:48:03 +0100 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-01-04 19:29:22 +0100 |
| commit | 6ede8a178d02284e279aaae257a93ab3b245138f (patch) | |
| tree | 053af41f61a8066e36e93de1b38dca252c2b05f2 /gnu/packages/lean.scm | |
| parent | 56e70c04d4be7a0051e865681f965ce40b5f2f27 (diff) | |
gnu: Add rust-async-mutex-1.
* gnu/packages/crates-io.scm (rust-async-mutex-1): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions