Package: libghc-logict-dev (0.8.0.0-1 and others)

[ Source: haskell-logict  ]

Backtracking logic-programming monad

It is 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

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Other Packages Related to libghc-logict-dev

• dep: libatomic1 (>= 4.8) [sh4]

  support library providing __atomic built-in functions

• dep: libc6 (>= 2.1.3) [i386, m68k]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.16) [x32]

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.2) [hppa, mips64el, s390x, sparc64]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.28) [sh4]

  dep: libc6 (>= 2.3) [ppc64]

  dep: libc6 (>= 2.4) [armel, armhf]

• dep: libc6.1 (>= 2.1.3) [alpha]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libghc-base-dev-4.12.0.0-1d098 [sh4]

  Package not available

• dep: libghc-base-dev-4.13.0.0-f73fa [x32]

  virtual package provided by ghc

• dep: libghc-base-dev-4.15.1.0-64902 [m68k]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-09ce5 [alpha]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-42c25 [mips64el]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-68dfe [amd64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-696e5 [s390x]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-9226a [ppc64el]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-9c962 [riscv64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-a042f [i386]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-a0b40 [armel, armhf]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-cbe25 [hppa]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-cddcc [ppc64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-ce2a7 [arm64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-de4d5 [sparc64]

  Package not available

• dep: libghc-base-dev-4.17.2.0-e9124 [ia64]

  virtual package provided by ghc

• dep: libghc-mtl-dev-2.2.2-0ad77 [m68k]

  virtual package provided by ghc

• dep: libghc-mtl-dev-2.2.2-66399 [armel, armhf, hppa]

  virtual package provided by ghc

• dep: libghc-mtl-dev-2.2.2-6f39a [not armel, armhf, hppa, i386, m68k, sh4, x32]

  virtual package provided by ghc

• dep: libghc-mtl-dev-2.2.2-75383 [i386]

  virtual package provided by ghc

• dep: libghc-mtl-dev-2.2.2-c2ded [x32]

  virtual package provided by ghc

• dep: libghc-mtl-dev-2.2.2-c3ce5 [sh4]

  Package not available

• dep: libgmp10 [sh4]

  Multiprecision arithmetic library

  dep: libgmp10 (>= 2:6.2.1+dfsg1) [m68k]

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not m68k, sh4, x32]

• dep: sgml-base (>= 1.28) [x32]

  SGML infrastructure and SGML catalog file support

• sug: libghc-logict-doc

  Backtracking logic-programming monad; documentation

• sug: libghc-logict-prof

  Backtracking logic-programming monad; profiling libraries

Download libghc-logict-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	0.8.0.0-1+b1	137.6 kB	1,491.0 kB	[list of files]
amd64	0.8.0.0-1+b1	93.6 kB	849.0 kB	[list of files]
arm64	0.8.0.0-1+b1	96.3 kB	1,026.0 kB	[list of files]
armel	0.8.0.0-1+b2	116.3 kB	1,087.0 kB	[list of files]
armhf	0.8.0.0-1+b2	114.9 kB	1,075.0 kB	[list of files]
hppa (unofficial port)	0.8.0.0-1+b2	191.1 kB	1,548.0 kB	[list of files]
i386	0.8.0.0-1+b1	146.5 kB	1,222.0 kB	[list of files]
ia64 (unofficial port)	0.8.0.0-1+b1	172.3 kB	2,611.0 kB	[list of files]
m68k (unofficial port)	0.7.1.0-1+b3	98.4 kB	846.0 kB	[list of files]
mips64el	0.8.0.0-1+b1	124.9 kB	1,467.0 kB	[list of files]
ppc64 (unofficial port)	0.8.0.0-1+b1	124.8 kB	1,521.0 kB	[list of files]
ppc64el	0.8.0.0-1+b1	123.4 kB	1,389.0 kB	[list of files]
riscv64	0.8.0.0-1+b1	155.9 kB	1,627.0 kB	[list of files]
s390x	0.8.0.0-1+b1	148.1 kB	1,715.0 kB	[list of files]
sh4 (unofficial port)	0.6.0.3-1	92.4 kB	873.0 kB	[list of files]
sparc64 (unofficial port)	0.8.0.0-1+b5	174.3 kB	2,071.0 kB	[list of files]
x32 (unofficial port)	0.7.1.0-1	107.9 kB	922.0 kB	[list of files]