summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2019-08-28 16:02:13 +0300
committerEfraim Flashner <efraim@flashner.co.il>2019-08-28 16:53:05 +0300
commita567cde9b19bb0b1f82c4a0cb51e92c65fb4c837 (patch)
tree1aeb176a4af85da5ad8c73bdfc8d3041d9a1cc02 /gnu/packages/coq.scm
parent33d93a0aec86a60c9e2c2033b2c1cebb9617bb06 (diff)
downloadguix-a567cde9b19bb0b1f82c4a0cb51e92c65fb4c837.tar.gz
gnu: Add rust-modifier.
* gnu/packages/crates-io.scm (rust-modifier): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions