summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2023-03-20 12:27:57 +0100
committerRicardo Wurmus <rekado@elephly.net>2023-03-20 17:22:33 +0100
commitcc2f5cd99897e59978b336b4a2f5f68fac6405ed (patch)
tree9ce6c301c821bb05cd73e6088a5428b42e453ae2 /gnu/packages/agda.scm
parent50e63a675b8316027b4c8ae2409eb144895d6d43 (diff)
downloadguix-cc2f5cd99897e59978b336b4a2f5f68fac6405ed.tar.gz
gnu: Add rust-temp-testdir-0.2.
* gnu/packages/crates-io.scm (rust-temp-testdir-0.2): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions