aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorHartmut Goebel <h.goebel@crazy-compilers.com>2020-04-24 23:28:17 +0200
committerHartmut Goebel <h.goebel@crazy-compilers.com>2020-05-05 13:20:21 +0200
commit304c702f6084a864634c3283190e4c56d159ad83 (patch)
treeef145f0fa848d5e9af3dd61f6d1f4f57cda5166b /gnu/packages/lean.scm
parent30b610d68c07e903ff3e2f5453d88f31da510a15 (diff)
downloadguix-304c702f6084a864634c3283190e4c56d159ad83.tar
guix-304c702f6084a864634c3283190e4c56d159ad83.tar.gz
gnu: Add rust-futures-timer-0.1.
* gnu/packages/crates-io.scm (rust-futures-timer-0.1): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions