From 3b32098411d2c66338bf36b1601708466afd84ac Mon Sep 17 00:00:00 2001 From: Pepe Iborra Date: Sun, 27 Jun 2021 16:29:17 +0100 Subject: [PATCH] relax megaparsec constraint --- plugins/hls-tactics-plugin/hls-tactics-plugin.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal index b8b7fd7f21..c68f15bb12 100644 --- a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal +++ b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal @@ -83,7 +83,7 @@ library , hyphenation , lens , lsp - , megaparsec ^>=9 + , megaparsec >=8 && < 10 , mtl , parser-combinators , prettyprinter