diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,11 @@
+2022-07-07
+        * Version bump (3.10). (#356)
+        * Remove comment from cabal file. (#325)
+        * Remove unnecessary dependencies from Cabal package. (#326)
+        * Remove duplicated compiler option. (#328)
+        * Relax version bounds of dependencies. (#335)
+        * Include repo info in cabal file. (#333)
+
 2022-05-06
         * Version bump (3.9). (#320)
         * Compliance with style guide (partial). (#316)
diff --git a/copilot-theorem.cabal b/copilot-theorem.cabal
--- a/copilot-theorem.cabal
+++ b/copilot-theorem.cabal
@@ -14,7 +14,7 @@
   <https://copilot-language.github.io>.
 
 
-version                   : 3.9
+version                   : 3.10
 license                   : BSD3
 license-file              : LICENSE
 maintainer                : Ivan Perez <ivan.perezdominguez@nasa.gov>
@@ -30,51 +30,40 @@
 
 x-curation: uncurated
 
+source-repository head
+    type:       git
+    location:   https://github.com/Copilot-Language/copilot.git
+    subdir:     copilot-theorem
+
 library
   default-language        : Haskell2010
   hs-source-dirs          : src
 
-  ghc-options             : -Wall -fwarn-tabs
+  ghc-options             : -Wall
                             -fno-warn-name-shadowing
                             -fno-warn-unused-binds
                             -fno-warn-missing-signatures
                             -fcontext-stack=100
 
-                            -- -fpackage-trust
-                            -- -trust=array
-                            -- -trust=base
-                            -- -trust=containers
-                            -- -- -trust=copilot-core
-                            -- -trust=directory
-                            -- -- -trust=exceptions
-                            -- -trust=process
-                            -- -- -trust=random
-                            -- -trust=unix
-                            -- -- -trust=parsec
-                            -- -trust=bytestring
-                            -- -- -trust=text
-
   build-depends           : base          >= 4.9 && < 5
-                          , ansi-terminal >= 0.8 && < 0.10
-                          , bimap         >= 0.3 && < 0.4
+                          , bimap         (>= 0.3 && < 0.4) || (>= 0.5 && < 0.6)
                           , bv-sized      >= 1.0.2 && < 1.1
                           , containers    >= 0.4 && < 0.7
                           , data-default  >= 0.7 && < 0.8
                           , directory     >= 1.3 && < 1.4
-                          , filepath      >= 1.4.2 && < 1.5
                           , libBF         >= 0.6.2 && < 0.7
-                          , mtl           >= 2.0 && < 2.3
+                          , mtl           >= 2.0 && < 2.4
                           , panic         >= 0.4.0 && < 0.5
                           , parsec        >= 2.0 && < 3.2
                           , parameterized-utils >= 2.1.1 && < 2.2
                           , pretty        >= 1.0 && < 1.2
                           , process       >= 1.6 && < 1.7
-                          , random        >= 1.1 && < 1.2
-                          , transformers  >= 0.5 && < 0.6
+                          , random        >= 1.1 && < 1.3
+                          , transformers  >= 0.5 && < 0.7
                           , xml           >= 1.3 && < 1.4
-                          , what4         >= 1.1 && < 1.3
+                          , what4         >= 1.1 && < 1.4
 
-                          , copilot-core  >= 3.9 && < 3.10
+                          , copilot-core  >= 3.10 && < 3.11
 
   exposed-modules         : Copilot.Theorem
                           , Copilot.Theorem.Prove