summary refs log tree commit diff
path: root/gnu/packages/patches/python-flint-includes.patch
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2022-10-24 13:53:53 +0300
committerEfraim Flashner <efraim@flashner.co.il>2022-10-24 17:40:41 +0300
commit200405c49050655282968faea3e5d09f97fbd5df (patch)
tree66511e0162435ab407c5e9bebe457b73ebd372a5 /gnu/packages/patches/python-flint-includes.patch
parent9f310ab6caf52c135584bdbb2ca0cb819aa6423e (diff)
downloadguix-200405c49050655282968faea3e5d09f97fbd5df.tar.gz
gnu: Remove rust-shell2batch-0.4.
* gnu/packages/crates-io.scm (rust-shell2batch-0.4): Delete variable.
* gnu/packages/patches/rust-shell2batch-lint-fix.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'gnu/packages/patches/python-flint-includes.patch')
0 files changed, 0 insertions, 0 deletions