SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for ghc-constraints-devel-0.10.1-1.3.x86_64.rpm :
Mon Jul 9 14:00:00 2018 psimonsAATTsuse.com
- Update constraints to version 0.10.1.
0.10.1 [2018.07.02]
- ------------------

* Allow building with GHC 8.6.

* Add three axioms about `(+)` and `(-)` to `Data.Constraint.Nat`.

Thu Apr 12 14:00:00 2018 psimonsAATTsuse.com
- Update constraints to version 0.10.
A more detailed change log is not available.

Thu Aug 3 14:00:00 2017 psimonsAATTsuse.com
- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.

Mon Mar 27 14:00:00 2017 psimonsAATTsuse.com
- Update to version 0.9.1 with cabal2obs.

Sun Feb 12 13:00:00 2017 psimonsAATTsuse.com
- Update to version 0.9 with cabal2obs.

Sun Jul 10 14:00:00 2016 psimonsAATTsuse.com
- Update to version 0.8 revision 0 with cabal2obs.

Wed Jan 20 13:00:00 2016 mimi.vxAATTgmail.com
- update to 0.8

* Remove the need for closed type families from the new Forall.

* Found a nicer encoding of the initial object in the category of constraints
using a nullary constraint.

* binary 0.8 compatibility

* transformers 0.5 compatibility

Tue Dec 15 13:00:00 2015 mimi.vxAATTgmail.com
- update to 0.6

Mon Sep 7 14:00:00 2015 cfarrellAATTsuse.com
- license update: BSD-2-Clause
Look at LICENSE file

Fri Sep 4 14:00:00 2015 mimi.vxAATTgmail.com
- initial commit


 
ICM