diff --git a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal
index c68f15bb12..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
+    , extra                 >=1.7.8
     , filepath
     , fingertree
     , generic-lens