mirror of
https://github.com/obsidiansystems/dependent-sum.git
synced 2024-10-26 17:40:38 +03:00
Merge branch 'master' into develop
This commit is contained in:
commit
12ef069572
@ -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`.
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user