Changelog for ghc-constraints-devel-0.12-lp152.1.4.x86_64.rpm :

* Fri Feb 07 2020 psimonsAATTsuse.com- Update constraints to version 0.12. 0.12 [2020.02.03] - ----------------
* Relax the type signature for `divideTimes`: ```diff - dividesTimes :: (Divides a b, Divides a c) :- Divides a (b
* c) +dividesTimes :: Divides a b :- Divides a (b
* c) ```
* Simplify the type signature of `dividesDef`: ```diff - dividesDef :: forall a b. Divides a b :- ((a
* Div b a) ~ b) +dividesDef :: forall a b. Divides a b :- (Mod b a ~ 0) ``` The original type of `diviesDef` can be (partially) recovered by defining it in terms of the new `dividesDef`: ```hs dividesDef\' :: forall a b. (1 <= a, Divides a b) :- ((a
* Div b a) ~ b) dividesDef\' = Sub $ case (dividesDef AATTa AATTb, euclideanNat AATTa AATTb) of (Sub Dict, Sub Dict) -> Dict ```
* Fri Nov 08 2019 Peter Simons - Drop obsolete group attributes.
* Sat Sep 07 2019 psimonsAATTsuse.com- Update constraints to version 0.11.2. 0.11.2 [2019.09.06] - ------------------
* Depend on the `type-equality` compatibility library so that `(:~~:)` may be used when compiling this library with GHC 8.0. This avoids having to redefine `(:~~:)` directly in the internals of `constraints` itself.
* Wed Aug 28 2019 psimonsAATTsuse.com- Update constraints to version 0.11.1. 0.11.1 [2019.08.27] - ------------------
* Make `Data.Constraint.Deferrable.UnsatisfiedConstraint` a newtype.
* Sat May 11 2019 psimonsAATTsuse.com- Update constraints to version 0.11. Upstream has edited the change log file since the last release in a non-trivial way, i.e. they did more than just add a new entry at the top. You can review the file at: http://hackage.haskell.org/package/constraints-0.11/src/CHANGELOG.markdown
* Sat Oct 20 2018 Peter Simons - Use https URL to refer to bugs.opensuse.org.
* Mon Jul 09 2018 psimonsAATTsuse.com- Add constraints at version 0.10.1.