[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#61420] [PATCH 17/31] gnu: idris: Fix overly zealous regular express
From: |
Lars-Dominik Braun |
Subject: |
[bug#61420] [PATCH 17/31] gnu: idris: Fix overly zealous regular expression. |
Date: |
Sat, 11 Feb 2023 11:08:11 +0100 |
* gnu/packages/idris.scm (idris)[arguments]: Limit characters matched
after package name in cabal file substitutions.
---
gnu/packages/idris.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 5e4979edc3..2a5f63c174 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -99,7 +99,7 @@ (define-public idris
(add-before 'configure 'update-constraints
(lambda _
(substitute* "idris.cabal"
-
(("(aeson|ansi-terminal|bytestring|haskeline|libffi|megaparsec|network|optparse-applicative)\\s+[^,]+"
all dep)
+
(("(aeson|ansi-terminal|bytestring|haskeline|libffi|megaparsec|network|optparse-applicative)\\s+[<>=0-9.
&|]+" all dep)
dep))))
(add-before 'configure 'set-cc-command
(lambda _
--
2.38.2
- [bug#61420] [PATCH 12/31] build: haskell-build-system: Remove unused linker flags., (continued)
- [bug#61420] [PATCH 12/31] build: haskell-build-system: Remove unused linker flags., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 21/31] gnu: ghc-lua: Disable symbol export., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 11/31] build: haskell-build-system: Process all transitive dependencies., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 16/31] gnu: ghc-parsec: Update to 3.1.15.0., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 06/31] import: hackage: Add upstream-name property., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 20/31] gnu: ghc-9.2: Support static linking with glibc < 2.34., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 18/31] gnu: elm: Support GHC 9.2., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 26/31] gnu: git-annex: Drop Haskell documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 14/31] gnu: ghc-9.2: Increase make verbosity., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 17/31] gnu: idris: Fix overly zealous regular expression.,
Lars-Dominik Braun <=
- [bug#61420] [PATCH 30/31] gnu: xmobar: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 23/31] gnu: ngless: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 19/31] build-system: haskell: Drop default "static" output., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 29/31] gnu: purescript: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 31/31] gnu: idris: Adapt to changed haskell-build-system., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 27/31] gnu: shellcheck: Drop Haskell libraries., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 24/31] gnu: hledger: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 25/31] gnu: darcs: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11
- [bug#61420] [PATCH 28/31] gnu: pandoc: Drop Haskell libraries and documentation., Lars-Dominik Braun, 2023/02/11