summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2021-01-03 11:11:45 +0200
committerEfraim Flashner <efraim@flashner.co.il>2021-01-03 12:49:34 +0200
commite6e350e6e3f3f2ca45c2f4e8fcff8f8bc05deaa3 (patch)
treede0055e980717c1e8851631704ede7078291e534 /gnu/packages/agda.scm
parent8b9cb0b381cc2eb555dff0cb54453b82cb64f0ca (diff)
gnu: Add rust-nom-6.
* gnu/packages/crates-io.scm (rust-nom-6): New variable. (rust-nom-5): Inherit from rust-nom-6.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions