AArch64 | |
ppc64le | |
s390x | |
x86-64 |
- Drop obsolete group attributes.
- Update logict to version 0.7.0.2. [#] 0.7.0.2 * Add `Safe` pragmas.
- Update logict to version 0.7.0.1. [#] 0.7.0.1 * Fix `MonadReader r (LogicT m)` instance again.
- 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.
- 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.
- Use https URL to refer to bugs.opensuse.org.
- Cosmetic: replace tabs with blanks, strip trailing white space, and update copyright headers with spec-cleaner.
- Prefer the new %license attribute over %doc.
- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
- Update to version 0.6.0.2 revision 0 with cabal2obs.