dev-haskell / logict-state

Library for logic programming based on haskell package logict

Official package sites : https://github.com/atzedijkstra/logict-state ·

Logic programming built on top of part of logict library, in particular for dealing with backtrackable state

v0.1.0.2 :: 0/0.1.0.2 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
doc hscolour profile

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
hscolour
Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
profile
Add support for software performance analysis (will likely vary from ebuild to ebuild)

dev-haskell / cabal : A framework for packaging Haskell software

dev-haskell / haddock : A documentation-generation tool for Haskell libraries

dev-haskell / hscolour : Colourise Haskell code

dev-haskell / logict : A backtracking logic-programming monad

dev-haskell / mtl : Monad classes, using functional dependencies

dev-haskell / transformers : Concrete functor and monad transformers

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / logict : A backtracking logic-programming monad

dev-haskell / mtl : Monad classes, using functional dependencies

dev-haskell / transformers : Concrete functor and monad transformers

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / uhc-util : UHC utilities

Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Inline mirror://hackage and update URIs
This change inlines mirror://hackage in all ebuilds, and updates URIs to the modern form (old URIs redirect to that). The change has been made using the following command: find -name '*.ebuild' -exec sed -r -i \ -e 's@mirror://hackage/@https://hackage.haskell.org/@g' \ -e 's@https://hackage.haskell.org/packages/archive/([^/]*)/([^/]*)/@https://hackage.haskell.org/package/\1-\2/@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{PV}@${P}@g' \ -e '/hackage\.haskell\.org/s@\$\{MY_PN}-\$\{PV}@${MY_P}@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{MY_PV}@${MY_P}@g' \ {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Sergei Trofimovich · gentoo
dev-haskell/logict-state: new package, a depend of sci-mathematics/agda-2.5.2
Library for logic programming based on haskell package logict Package-Manager: Portage-2.3.3, Repoman-2.3.1