Changelog for ghc-logict-devel-0.7.0.2-bp153.1.20.x86_64.rpm :

* Fri Nov 08 2019 Peter Simons - Drop obsolete group attributes.
* Sat Jul 20 2019 psimonsAATTsuse.com- Update logict to version 0.7.0.2. [#] 0.7.0.2
* Add `Safe` pragmas.
* Mon Jul 08 2019 psimonsAATTsuse.com- Update logict to version 0.7.0.1. [#] 0.7.0.1
* Fix `MonadReader r (LogicT m)` instance again.
* Sun Jun 30 2019 psimonsAATTsuse.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 01 2019 psimonsAATTsuse.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 2018 Peter Simons - Use https URL to refer to bugs.opensuse.org.
* Wed Jul 18 2018 psimonsAATTsuse.com- Cosmetic: replace tabs with blanks, strip trailing white space, and update copyright headers with spec-cleaner.
* Wed May 16 2018 psimonsAATTsuse.com- Prefer the new %license attribute over %doc.
* Thu Aug 03 2017 psimonsAATTsuse.com- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
* Sun Jul 10 2016 psimonsAATTsuse.com- Update to version 0.6.0.2 revision 0 with cabal2obs.