aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorSteve George <steve@futurile.net>2023-10-30 21:06:24 +0000
committerEfraim Flashner <efraim@flashner.co.il>2023-11-28 07:59:30 +0200
commitff7a62698ed356872bd41f3f7e8165c263282c86 (patch)
treee26408eae1986e4fdad164f13bb936d372fa9333 /gnu/packages/agda.scm
parent022c9c6c7540f595cbdb3c091c8b1e5d2a2380a8 (diff)
downloadguix-ff7a62698ed356872bd41f3f7e8165c263282c86.tar.gz
guix-ff7a62698ed356872bd41f3f7e8165c263282c86.zip
gnu: rust-sha-1-0.10: Downgrade to 0.10.1
Later versions of this crate are yanked upstream. * gnu/packages/crates-io.scm (rust-sha-1): Downgrade to 0.10.1. [arguments]: Don't skip tests. Change-Id: I1e736520ea8904dc83e17cf3a37196db296b0250
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions