From b0c3284348a3473b55c5250882a474f1c963e14d Mon Sep 17 00:00:00 2001 From: Pepe Iborra Date: Thu, 8 Jul 2021 17:57:54 +0100 Subject: [PATCH 1/2] fix extra minbound --- 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 c68f15bb12..ace4bf8d79 100644 --- a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal +++ b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal @@ -69,7 +69,7 @@ library , containers , deepseq , directory - , extra + , extra >=1.7.9 , filepath , fingertree , generic-lens From 6d1231007e139aeacd09fd82784b55cae787ea53 Mon Sep 17 00:00:00 2001 From: Pepe Iborra Date: Thu, 8 Jul 2021 18:47:08 +0100 Subject: [PATCH 2/2] correct extra minbound --- 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 ace4bf8d79..95a5228a3a 100644 --- a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal +++ b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal @@ -69,7 +69,7 @@ library , containers , deepseq , directory - , extra >=1.7.9 + , extra >=1.7.8 , filepath , fingertree , generic-lens