Package Release Info

ghc-logict-0.7.0.2-bp152.1.14

Update Info: Base Release
Available in Package Hub : 15 SP2

platforms

AArch64
ppc64le
s390x
x86-64

subpackages

ghc-logict
ghc-logict-devel

Change Logs

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