summary refs log tree commit diff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2021-08-26 10:54:49 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-08-26 14:25:02 +0200
commit82637c1aeffcc8286eff5e825aeb1ff56826a6be (patch)
treede5b95c09d0b33a50564a4272f4ae83474631485 /gnu/packages/lean.scm
parent4a8e07e326c9d371dc101d3f5de5320796dcbdd5 (diff)
downloadguix-82637c1aeffcc8286eff5e825aeb1ff56826a6be.tar.gz
gnu: Add rust-polars-0.15.
* gnu/packages/crates-io.scm (rust-polars-0.15): New variable.
(rust-polars-0.14): Inherit from above.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions