Update Haskell library version.

Author: fkj

secav-prover.cabal

@@ -38,7 +38,7 @@ library interface
                      , ShortLexer
                      , ShortParser
                      , Unshortener
-  build-depends:       base ^>=4.14.0.0
+  build-depends:       base ^>=4.17.0.0
                      , prover
                      , parsec
                      , bimap
@@ -51,7 +51,7 @@ test-suite completeness
   type:                detailed-0.9
   test-module:         Runner
   other-modules:       Tests
-  build-depends:       base ^>=4.14.0.0
+  build-depends:       base ^>=4.17.0.0
                      , Cabal >= 1.9.2
                      , process
                      , directory
@@ -65,7 +65,7 @@ test-suite soundness
   type:                detailed-0.9
   test-module:         Runner
   other-modules:       Tests
-  build-depends:       base ^>=4.14.0.0
+  build-depends:       base ^>=4.17.0.0
                      , Cabal >= 1.9.2
                      , process
                      , mtl
@@ -76,7 +76,7 @@ test-suite soundness
 
 executable secav-prover
   main-is:             Main.hs
-  build-depends:       base ^>=4.14.0.0
+  build-depends:       base ^>=4.17.0.0
                      , prover
                      , interface
                      , filepath