aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2023-10-12 18:32:22 +0300
committerEfraim Flashner <efraim@flashner.co.il>2023-10-18 11:36:29 +0300
commit6fcb1f8184f87f25a23282d86c173315a1ea4e10 (patch)
treedc6af94cd6bf38f68331b34e58af168c98e75e55 /gnu/packages/lean.scm
parente20214936f2b0c9ac6f9435acfa3726c93443e59 (diff)
downloadguix-6fcb1f8184f87f25a23282d86c173315a1ea4e10.tar.gz
guix-6fcb1f8184f87f25a23282d86c173315a1ea4e10.zip
gnu: rust-tower-service-0.3: Update to 0.3.2.
* gnu/packages/crates-io.scm (rust-tower-service-0.3): Update to 0.3.2. [cargo-development-inputs]: Add rust-futures-0.3, rust-tokio-1, rust-tower-layer-0.3. Replace rust-http-0.1 with 0.2.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions