ghc-logict-0.6.0.2-5.8.x86_64.rpm


Advertisement

Description

ghc-logict - A backtracking logic-programming monad

Property Value
Distribution openSUSE Tumbleweed
Repository openSUSE Oss all
Package filename ghc-logict-0.6.0.2-5.8.x86_64.rpm
Package name ghc-logict
Package version 0.6.0.2
Package release 5.8
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.78 KB
Installed size 154.62 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-0.6.0.2-5.8.i586.rpm 0.6.0.2 i586 openSUSE Oss
ghc-logict - - -

Requires

Name Value
libHSbase-4.12.0.0-ghc8.6.5.so()(64bit) -
libHSghc-prim-0.5.3-ghc8.6.5.so()(64bit) -
libHSinteger-gmp-1.0.2.0-ghc8.6.5.so()(64bit) -
libHSmtl-2.2.2-ghc8.6.5.so()(64bit) -
libHStransformers-0.5.6.2-ghc8.6.5.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-5.8
ghc-logict(x86-64) = 0.6.0.2-5.8
libHSlogict-0.6.0.2-7kzxfuFd7UY9IiY3jFziUO-ghc8.6.5.so()(64bit) -

Download

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

Install Howto

Install ghc-logict rpm package:

# zypper install ghc-logict

Files

Path
/usr/lib64/ghc-8.6.5/logict-0.6.0.2-7kzxfuFd7UY9IiY3jFziUO/libHSlogict-0.6.0.2-7kzxfuFd7UY9IiY3jFziUO-ghc8.6.5.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-5.8.i586.rpm Haskell logict library development files
ghc-logict-devel-0.6.0.2-5.8.x86_64.rpm Haskell logict library development files
ghc-managed-1.0.6-2.8.i586.rpm A monad for managed values
ghc-managed-1.0.6-2.8.x86_64.rpm A monad for managed values
ghc-managed-devel-1.0.6-2.8.i586.rpm Haskell managed library development files
ghc-managed-devel-1.0.6-2.8.x86_64.rpm Haskell managed library development files
ghc-math-functions-0.3.1.0-1.6.i586.rpm Collection of tools for numeric computations
ghc-math-functions-0.3.1.0-1.6.x86_64.rpm Collection of tools for numeric computations
ghc-math-functions-devel-0.3.1.0-1.6.i586.rpm Haskell math-functions library development files
ghc-math-functions-devel-0.3.1.0-1.6.x86_64.rpm Haskell math-functions library development files
ghc-megaparsec-7.0.4-1.7.i586.rpm Monadic parser combinators
ghc-megaparsec-7.0.4-1.7.x86_64.rpm Monadic parser combinators
ghc-megaparsec-devel-7.0.4-1.7.i586.rpm Haskell megaparsec library development files
ghc-megaparsec-devel-7.0.4-1.7.x86_64.rpm Haskell megaparsec library development files
ghc-memory-0.14.18-1.8.i586.rpm Memory and related abstraction stuff
Advertisement
Advertisement