diff --git a/osek-verification.cabal b/osek-verification.cabal
index 041b826f8a21b2699d0748857996d6d22bf4b684..df3a1da548903622f0f449aa5fba2769291b4896 100644
--- a/osek-verification.cabal
+++ b/osek-verification.cabal
@@ -33,7 +33,7 @@ library
                      , Compare.Matching
   hs-source-dirs:      src
   build-depends:       base >=4.9 && <4.10
-                     , megaparsec >= 5 && <5.1
+                     , megaparsec >= 5 && <5.3
                      , text >= 1.2 && <1.3
                      , containers >= 0.5 && <0.6
                      , array >= 0.5 && <0.6
@@ -46,7 +46,7 @@ library
                      , microlens >= 0.4 && < 0.5
                      , microlens-th >= 0.4 && < 0.5
   default-language:    Haskell2010
-  ghc-options:         -Wall -fdefer-typed-holes -fno-warn-name-shadowing
+  ghc-options:         -Wall -fno-warn-name-shadowing
 
 executable mockup_generator
   main-is:             Main.hs
@@ -54,11 +54,11 @@ executable mockup_generator
                      , text >= 1.2 && <1.3
                      , bytestring >= 0.10 && <0.11
                      , osek-verification
-                     , optparse-applicative >= 0.12 && <0.13
+                     , optparse-applicative >= 0.12 && <0.14
                      , microlens >= 0.4 && < 0.5
   hs-source-dirs:      src/main
   default-language:    Haskell2010
-  ghc-options:         -Wall -fdefer-typed-holes -fno-warn-name-shadowing
+  ghc-options:         -Wall -fno-warn-name-shadowing
 
 test-suite spec
   type:                exitcode-stdio-1.0
@@ -76,8 +76,8 @@ test-suite spec
                      , Compare.CompareSpec
   build-depends:       base >= 4.8 && <4.10
                      , osek-verification
-                     , hspec >= 2.2.3 && <2.3
-                     , QuickCheck >= 2.8 && <2.9
+                     , hspec >= 2.2.3 && <2.5
+                     , QuickCheck >= 2.8 && <2.10
                      , quickcheck-text >= 0.1.2 && <0.2
                      , text
                      , array >= 0.5 && <0.6
@@ -91,4 +91,4 @@ test-suite spec
                      , fgl >= 5.5 && < 5.6
                      , microlens >= 0.4 && < 0.5
   default-language:    Haskell2010
-  ghc-options:         -Wall -fdefer-typed-holes -fno-warn-name-shadowing
+  ghc-options:         -Wall -fno-warn-name-shadowing
diff --git a/src/main/Main.hs b/src/main/Main.hs
index 600dbb3aa2cf698c457c093ba500bb6d01f8cdeb..96c6ce5db653601b1fd9c47946dbf7fc32c75507 100644
--- a/src/main/Main.hs
+++ b/src/main/Main.hs
@@ -3,8 +3,9 @@
 module Main where
 
 import           Control.Monad
-import           System.IO
+import           Data.Semigroup
 import           System.Exit
+import           System.IO
 
 import qualified Data.ByteString.Lazy as BS
 import qualified Data.Text.IO as T
diff --git a/stack.yaml b/stack.yaml
index 7fa0d198b1f2e307824b7414c5924d7712914b8c..a28dbdbf4eede06e30efba331d6f9746b25b6a43 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -3,5 +3,4 @@ extra-package-dbs: []
 packages:
 - '.'
 extra-deps:
-- aeson-1.0.2.1
-resolver: lts-7.13
+resolver: lts-8.5