Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-logict-0.7.0.2-bp153.1.20 RPM for aarch64

From OpenSuSE Leap 15.3 for aarch64

Name: ghc-logict Distribution: SUSE Linux Enterprise 15 SP3
Version: 0.7.0.2 Vendor: openSUSE
Release: bp153.1.20 Build date: Sat Apr 10 10:47:36 2021
Group: Unspecified Build host: obs-arm-9
Size: 270084 Source RPM: ghc-logict-0.7.0.2-bp153.1.20.src.rpm
Packager: https://bugs.opensuse.org
Url: https://hackage.haskell.org/package/logict
Summary: A backtracking logic-programming monad
A continuation-based, backtracking, logic programming monad. An adaptation of
the two-continuation implementation found in the paper "Backtracking,
Interleaving, and Terminating Monad Transformers" available here:
<http://okmij.org/ftp/papers/LogicT.pdf>.

Provides

Requires

License

BSD-3-Clause

Changelog

* 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.
* 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.
* 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.

Files

/usr/lib64/ghc-8.10.4/logict-0.7.0.2
/usr/lib64/ghc-8.10.4/logict-0.7.0.2/libHSlogict-0.7.0.2-FZgR28yoM8C8KGCe6RR5Ek-ghc8.10.4.so
/usr/share/licenses/ghc-logict
/usr/share/licenses/ghc-logict/LICENSE


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 13:54:43 2024