summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/idris-build-with-haskeline-0.8.patch
diff options
context:
space:
mode:
authorFelix Gruber <[email protected]>2021-09-28 06:34:41 +0000
committerLudovic Courtès <[email protected]>2021-10-12 18:13:30 +0200
commit1c27038a06bb89e745062299bf8738c8c88b7aba (patch)
treea40ab001fec217355e8ce80b07e88f2a0e61ca31 /gnu/packages/patches/idris-build-with-haskeline-0.8.patch
parent2a312105f261913163e0e35842b29dc28d32081d (diff)
gnu: Add python-pyproj.
* gnu/packages/geo.scm (python-pyproj): New variable. Signed-off-by: Ludovic Courtès <[email protected]>
Diffstat (limited to 'gnu/packages/patches/idris-build-with-haskeline-0.8.patch')
0 files changed, 0 insertions, 0 deletions