File ghc-logict.changes of Package ghc-logict
------------------------------------------------------------------- Fri Nov 8 16:14:09 UTC 2019 - Peter Simons <psimons@suse.com> - Drop obsolete group attributes. ------------------------------------------------------------------- Sat Jul 20 02:02:44 UTC 2019 - psimons@suse.com - Update logict to version 0.7.0.2. # 0.7.0.2 * Add `Safe` pragmas. ------------------------------------------------------------------- Mon Jul 8 02:01:00 UTC 2019 - psimons@suse.com - Update logict to version 0.7.0.1. # 0.7.0.1 * Fix `MonadReader r (LogicT m)` instance again. ------------------------------------------------------------------- Sun Jun 30 02:01:08 UTC 2019 - psimons@suse.com - Update logict to version 0.7.0.0. # 0.7.0.0 * Remove unlawful `MonadLogic (Writer T w m)` instances. * Fix `MonadReader r (LogicT m)` instance. * Move `lnot` into `MonadLogic` class. ------------------------------------------------------------------- Wed May 1 02:03:14 UTC 2019 - psimons@suse.com - Update logict to version 0.6.0.3. Upstream added a new change log file in this release. With no previous version to compare against, the automatic updater cannot reliable determine the relevante entries for this release. ------------------------------------------------------------------- Sat Oct 20 11:31:41 UTC 2018 - Peter Simons <psimons@suse.com> - Use https URL to refer to bugs.opensuse.org. ------------------------------------------------------------------- Wed Jul 18 14:26:31 UTC 2018 - psimons@suse.com - Cosmetic: replace tabs with blanks, strip trailing white space, and update copyright headers with spec-cleaner. ------------------------------------------------------------------- Wed May 16 13:06:56 UTC 2018 - psimons@suse.com - Prefer the new %license attribute over %doc. ------------------------------------------------------------------- Thu Aug 3 15:38:38 UTC 2017 - psimons@suse.com - Updated with latest spec-cleaner version 0.9.8-8-geadfbbf. ------------------------------------------------------------------- Sun Jul 10 17:30:12 UTC 2016 - psimons@suse.com - Update to version 0.6.0.2 revision 0 with cabal2obs.
