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

From OpenSuSE Leap 15.3 for x86_64

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

• ghc-logict
• ghc-logict(x86-64)
• libHSlogict-0.7.0.2-FZgR28yoM8C8KGCe6RR5Ek-ghc8.10.4.so()(64bit)

Requires

• libHSbase-4.14.1.0-ghc8.10.4.so()(64bit)
• libHSghc-prim-0.6.1-ghc8.10.4.so()(64bit)
• libHSinteger-gmp-1.0.3.0-ghc8.10.4.so()(64bit)
• libHSmtl-2.2.2-ghc8.10.4.so()(64bit)
• libHStransformers-0.5.6.2-ghc8.10.4.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1

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 14:00:23 2024