summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorValentin Ignatev <valentignatev@gmail.com>2020-01-26 01:46:08 +0300
committerEfraim Flashner <efraim@flashner.co.il>2020-02-25 16:48:58 +0200
commit341069bac61ed83eab9771839cae0214a8c1ddd7 (patch)
tree6474d9f2bcd1e87cbede1badde2bb5866b915630 /gnu/packages/coq.scm
parentef6242415b4918a4efc70f35c960ea37c5d6b114 (diff)
gnu: Add rust-genmesh-0.6.
* gnu/packages/crates-io.scm (rust-genmesh-0.6): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions