summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2022-10-18 22:46:14 +0300
committerEfraim Flashner <efraim@flashner.co.il>2022-10-24 10:46:19 +0300
commit2b6f344918acbf6daeec599425bb1a1ba984f682 (patch)
tree7f983eda89d56f9c8de2105df604503fffc0d90b /gnu/packages/idris.scm
parent2e5c08bb05686f5c0001d77ac968d3ecd2c6e0da (diff)
gnu: Remove rust-rls-span-0.5.
* gnu/packages/crates-io.scm (rust-rls-span-0.5): Delete variable.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions