aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2019-10-23 09:46:31 +0300
committerEfraim Flashner <efraim@flashner.co.il>2019-10-23 10:31:00 +0300
commit795835aa44cf17749522552aae6610bfa03e9b3b (patch)
tree75eb37e0bb4a86038c458190bc8d5c57a66b4f4b /gnu/packages/agda.scm
parent71d111f5410f1b558c34491013fbb4378d87828a (diff)
downloadguix-795835aa44cf17749522552aae6610bfa03e9b3b.tar
guix-795835aa44cf17749522552aae6610bfa03e9b3b.tar.gz
gnu: Add rust-fuchsia-cprng-0.1.
* gnu/packages/rust-cbindgen.scm (rust-fucshia-cprng-0.1): New hidden variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions