summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2020-12-21 21:23:27 +0100
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-01-05 21:14:11 +0100
commitc221a8979459dc8432f8ddc7e507ff65b4d4056c (patch)
tree0bd4bf9f0c121ba21adcd3aa42a338fadf2221d9 /gnu/packages/lean.scm
parentc8ffcf7e6c83a6dfcc853a2fb1e6c53a2ff71b09 (diff)
gnu: Add rust-flume-0.9.
* gnu/packages/crates-io.scm (rust-flume-0.9): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions