Merge branch 'master' into develop

obsidiansystems · Nov 20, 2023 · 12ef069 · 12ef069
2 parents b066b50 + e52a81e
commit 12ef069
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/ChangeLog.md b/ChangeLog.md
@@ -1,5 +1,11 @@
 # Revision history for dependent-sum
 
+## 0.7.2.0 revision 2 - 2023-11-20
+
+Bump upper bound of `some` from `1.0.5` to `1.0.6`.
+
+Same rationale as below.
+
 ## 0.7.2.0 revision 1 - 2023-05-10
 
 Bump upper bound of `some` from `1.0.4` to `1.0.5`.

diff --git a/dependent-sum.cabal b/dependent-sum.cabal
@@ -52,7 +52,7 @@ Library
                       , constraints-extras >= 0.2 && < 0.5
 
   -- tight bounds, so re-exported API is versioned properly.
-  build-depends:        some >= 1.0.4 && < 1.0.6
+  build-depends:        some >= 1.0.4 && < 1.0.7
 
   if impl(ghc >= 7.2)
     ghc-options:        -trust base