ghc-logict-0.6.0.2-lp151.3.2.x86_64.rpm


Advertisement

Description

ghc-logict - A backtracking logic-programming monad

Property Value
Distribution openSUSE Leap 15.1
Repository openSUSE Oss all
Package filename ghc-logict-0.6.0.2-lp151.3.2.x86_64.rpm
Package name ghc-logict
Package version 0.6.0.2
Package release lp151.3.2
Package architecture x86_64
Package type rpm
Category Development/Libraries/Haskell
Homepage https://hackage.haskell.org/package/logict
License BSD-3-Clause
Maintainer -
Download size 33.81 KB
Installed size 150.58 KB
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>.

Alternatives

Package Version Architecture Repository
ghc-logict - - -

Requires

Name Value
libHSbase-4.12.0.0-ghc8.6.4.so()(64bit) -
libHSghc-prim-0.5.3-ghc8.6.4.so()(64bit) -
libHSinteger-gmp-1.0.2.0-ghc8.6.4.so()(64bit) -
libHSmtl-2.2.2-ghc8.6.4.so()(64bit) -
libHStransformers-0.5.6.2-ghc8.6.4.so()(64bit) -
libatomic.so.1()(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libgmp.so.10()(64bit) -
libm.so.6()(64bit) -

Provides

Name Value
ghc-logict = 0.6.0.2-lp151.3.2
ghc-logict(x86-64) = 0.6.0.2-lp151.3.2
libHSlogict-0.6.0.2-7kzxfuFd7UY9IiY3jFziUO-ghc8.6.4.so()(64bit) -

Download

Type URL
Mirror widehat.opensuse.org
Binary Package ghc-logict-0.6.0.2-lp151.3.2.x86_64.rpm
Source Package ghc-logict-0.6.0.2-lp151.3.2.src.rpm

Install Howto

Install ghc-logict rpm package:

# zypper install ghc-logict

Files

Path
/usr/lib64/ghc-8.6.4/logict-0.6.0.2-7kzxfuFd7UY9IiY3jFziUO/libHSlogict-0.6.0.2-7kzxfuFd7UY9IiY3jFziUO-ghc8.6.4.so
/usr/share/licenses/ghc-logict/LICENSE

Changelog

2018-10-20 - Peter Simons <psimons@suse.com>
- Use https URL to refer to bugs.opensuse.org.
2018-07-18 - psimons@suse.com
- Cosmetic: replace tabs with blanks, strip trailing white space,
and update copyright headers with spec-cleaner.
2018-05-16 - psimons@suse.com
- Prefer the new %license attribute over %doc.
2017-08-03 - psimons@suse.com
- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
2016-07-10 - psimons@suse.com
- Update to version 0.6.0.2 revision 0 with cabal2obs.

See Also

Package Description
ghc-logict-devel-0.6.0.2-lp151.3.2.x86_64.rpm Haskell logict library development files
ghc-loop-0.3.0-lp151.2.5.x86_64.rpm Fast loops (for when GHC can't optimize forM_)
ghc-loop-devel-0.3.0-lp151.2.5.x86_64.rpm Haskell loop library development files
ghc-managed-1.0.6-lp151.1.2.x86_64.rpm A monad for managed values
ghc-managed-devel-1.0.6-lp151.1.2.x86_64.rpm Haskell managed library development files
ghc-math-functions-0.3.1.0-lp151.1.2.x86_64.rpm Collection of tools for numeric computations
ghc-math-functions-devel-0.3.1.0-lp151.1.2.x86_64.rpm Haskell math-functions library development files
ghc-megaparsec-7.0.4-lp151.1.2.x86_64.rpm Monadic parser combinators
ghc-megaparsec-devel-7.0.4-lp151.1.2.x86_64.rpm Haskell megaparsec library development files
ghc-memory-0.14.18-lp151.1.3.x86_64.rpm Memory and related abstraction stuff
ghc-memory-devel-0.14.18-lp151.1.3.x86_64.rpm Haskell memory library development files
ghc-microlens-0.4.10-lp151.1.2.x86_64.rpm Tiny lens library for Haskell
ghc-microlens-devel-0.4.10-lp151.1.2.x86_64.rpm Haskell microlens library development files
ghc-microlens-th-0.4.2.3-lp151.1.2.x86_64.rpm Automatic generation of record lenses for microlens
ghc-microlens-th-devel-0.4.2.3-lp151.1.2.x86_64.rpm Haskell microlens-th library development files
Advertisement
Advertisement