summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2020-12-21 09:57:34 +0100
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-01-04 19:29:22 +0100
commit20e1e22dbe1cad0a7d1810d9923ee69270b22cf4 (patch)
tree4d2697cd5779f0dbe9c5a068170cd5745158f8c2 /gnu/packages/lean.scm
parent6ede8a178d02284e279aaae257a93ab3b245138f (diff)
gnu: Add rust-async-process-1.
* gnu/packages/crates-io.scm (rust-async-process-1): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions