summary refs log tree commit diff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2023-12-11 08:55:44 +0200
committerEfraim Flashner <efraim@flashner.co.il>2023-12-11 08:55:44 +0200
commit579f706fc9e8635331631409d876e4b055451ac5 (patch)
treedfda3bce3118c940dfeecb6282b2e8ea737ab160 /gnu/packages/lean.scm
parent043fee4db6b65cf0f3dbcb94d8dff503fc3324b7 (diff)
downloadguix-579f706fc9e8635331631409d876e4b055451ac5.tar.gz
gnu: rust-twox-hash-1: Update to 1.6.3.
* gnu/packages/crates-io.scm (rust-twox-hash-1): Update to 1.6.3.
[cargo-inputs]: Add rust-digest-0.10.  Replace rust-rand-0.7 with 0.8.

Change-Id: I0bc497bba4dfa01d054e415c4ac1c2757aa29ecf
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions