From 92caedb60c8fb6961446d223b623c41bed808acd Mon Sep 17 00:00:00 2001 From: Lars-Dominik Braun Date: Wed, 25 Jan 2023 10:01:36 +0100 Subject: gnu: idris: Fix overly zealous regular expression. * 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(-) (limited to 'gnu') 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 _ -- cgit v1.2.3