aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2021-02-09 11:35:25 +0100
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-02-13 11:49:38 +0100
commit630c8a8d6534b678bdee459a671a840725810b17 (patch)
tree216d696be6467d174fc3f77daaf6d8673fbc845d /gnu/packages/lean.scm
parent35341877dc6397b4bca8c54be62e344d9a3fa3e2 (diff)
downloadguix-630c8a8d6534b678bdee459a671a840725810b17.tar.gz
guix-630c8a8d6534b678bdee459a671a840725810b17.zip
gnu: Add rust-rust-crypto-0.2.
* gnu/packages/crates-io.scm (rust-rust-crypto-0.2): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions
span>Efraim Flashner 2019-09-06Merge branch 'master' into core-updatesMark H Weaver 2019-09-05gnu: libvisio: Update to 0.1.7....* gnu/packages/libreoffice.scm (libvisio): Update to 0.1.7. Marius Bakke 2019-09-05gnu: libabw: Update to 0.1.3....* gnu/packages/libreoffice.scm (libabw): Update to 0.1.3. [arguments]: Remove. Marius Bakke 2019-08-22Merge branch 'master' into core-updatesMark H Weaver 2019-08-21gnu: libabw: Don't use NAME in source URI....* gnu/packages/libreoffice.scm (libabw)[source]: Hard-code NAME. Tobias Geerinckx-Rice