diff --git a/stack-8.10.2.yaml b/stack-8.10.2.yaml index d6df60ed16d..83268739770 100644 --- a/stack-8.10.2.yaml +++ b/stack-8.10.2.yaml @@ -14,6 +14,7 @@ packages: - ./plugins/hls-retrie-plugin - ./plugins/hls-splice-plugin - ./plugins/hls-tactics-plugin + - ./plugins/hls-brittany-plugin ghc-options: "$everything": -haddock diff --git a/stack-8.10.3.yaml b/stack-8.10.3.yaml index acfdf37837d..4cbb32858a2 100644 --- a/stack-8.10.3.yaml +++ b/stack-8.10.3.yaml @@ -14,6 +14,7 @@ packages: - ./plugins/hls-retrie-plugin - ./plugins/hls-splice-plugin - ./plugins/hls-tactics-plugin + - ./plugins/hls-brittany-plugin ghc-options: "$everything": -haddock diff --git a/stack-8.10.4.yaml b/stack-8.10.4.yaml index d1ecfa5a7f1..0eef66637b5 100644 --- a/stack-8.10.4.yaml +++ b/stack-8.10.4.yaml @@ -14,6 +14,7 @@ packages: - ./plugins/hls-retrie-plugin - ./plugins/hls-splice-plugin - ./plugins/hls-tactics-plugin + - ./plugins/hls-brittany-plugin ghc-options: "$everything": -haddock diff --git a/stack-8.6.4.yaml b/stack-8.6.4.yaml index 9086ddf5023..980379899c6 100644 --- a/stack-8.6.4.yaml +++ b/stack-8.6.4.yaml @@ -15,6 +15,7 @@ packages: - ./plugins/hls-retrie-plugin - ./plugins/hls-splice-plugin - ./plugins/hls-tactics-plugin + - ./plugins/hls-brittany-plugin ghc-options: "$everything": -haddock diff --git a/stack-8.6.5.yaml b/stack-8.6.5.yaml index 6c3d61fda82..2f8c2f3da07 100644 --- a/stack-8.6.5.yaml +++ b/stack-8.6.5.yaml @@ -14,6 +14,7 @@ packages: - ./plugins/hls-retrie-plugin - ./plugins/hls-splice-plugin - ./plugins/hls-tactics-plugin + - ./plugins/hls-brittany-plugin ghc-options: "$everything": -haddock diff --git a/stack-8.8.2.yaml b/stack-8.8.2.yaml index 8ca84f620cc..d1a7ce6e033 100644 --- a/stack-8.8.2.yaml +++ b/stack-8.8.2.yaml @@ -14,6 +14,7 @@ packages: - ./plugins/hls-retrie-plugin - ./plugins/hls-splice-plugin - ./plugins/hls-tactics-plugin + - ./plugins/hls-brittany-plugin ghc-options: "$everything": -haddock diff --git a/stack-8.8.3.yaml b/stack-8.8.3.yaml index 6ccea7c2459..c19b62c3b0b 100644 --- a/stack-8.8.3.yaml +++ b/stack-8.8.3.yaml @@ -14,6 +14,7 @@ packages: - ./plugins/hls-retrie-plugin - ./plugins/hls-splice-plugin - ./plugins/hls-tactics-plugin + - ./plugins/hls-brittany-plugin ghc-options: "$everything": -haddock diff --git a/stack-8.8.4.yaml b/stack-8.8.4.yaml index 56c018cb9a6..b2b11715693 100644 --- a/stack-8.8.4.yaml +++ b/stack-8.8.4.yaml @@ -14,6 +14,7 @@ packages: - ./plugins/hls-retrie-plugin - ./plugins/hls-splice-plugin - ./plugins/hls-tactics-plugin + - ./plugins/hls-brittany-plugin ghc-options: "$everything": -haddock diff --git a/stack.yaml b/stack.yaml index 82c28566fed..bbccc4e77e6 100644 --- a/stack.yaml +++ b/stack.yaml @@ -14,6 +14,7 @@ packages: - ./plugins/hls-retrie-plugin - ./plugins/hls-splice-plugin - ./plugins/hls-tactics-plugin + - ./plugins/hls-brittany-plugin ghc-options: "$everything": -haddock