[ Source: haskell-logict ]
Package: libghc-logict-dev (0.8.2.0-1 and others)
Links for libghc-logict-dev
Debian Resources:
Download Source Package haskell-logict:
- [haskell-logict_0.8.2.0-1.dsc]
- [haskell-logict_0.8.2.0.orig.tar.gz]
- [haskell-logict_0.8.2.0-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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]
- Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner
-
- dep: libc6 (>= 2.1.3) [i386, m68k]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.16) [x32]
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.2) [hppa, 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) [armhf]
- dep: libc6 (>= 2.42) [loong64]
-
- dep: libc6.1 (>= 2.1.3) [alpha]
- GNU C-bibliotek: Delte biblioteker
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-e9124 [ia64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-08385 [arm64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-0dacb [hppa]
- Package not available
-
- dep: libghc-base-dev-4.20.2.0-0e259 [alpha]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-1162a [loong64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-30faa [riscv64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-40f5b [armhf]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-47ff0 [amd64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-62d1f [i386]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-96920 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-bc730 [ppc64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-c4d33 [sparc64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.20.2.0-e941f [s390x]
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.9-0cd6e [i386]
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.9-2170c [arm64, ppc64, ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.9-2a02c [armhf]
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.9-61fcc [hppa]
- Package not available
-
- dep: libghc-exceptions-dev-0.10.9-d3a18 [alpha, amd64, loong64, sparc64]
- 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-6f39a [ia64]
- 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: libghc-mtl-dev-2.3.1-0785e [armhf, hppa]
- virtual package provided by ghc
-
- dep: libghc-mtl-dev-2.3.1-a7bc5 [i386]
- virtual package provided by ghc
-
- dep: libghc-mtl-dev-2.3.1-edf82 [not armhf, hppa, i386, ia64, m68k, sh4, x32]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.1-26140 [not armhf, hppa, i386, ia64, m68k, sh4, x32]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.1-3bf29 [armhf, hppa]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.1-fe3a5 [i386]
- virtual package provided by ghc
-
- dep: libgmp10 [sh4]
- Bibliotek til multipræcision i aritmetik
- 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]
- Understøttelse af SGML-infrastruktur og SGML-katalogfil
-
- sug: libghc-logict-doc
- Backtracking logic-programming monad; documentation
-
- sug: libghc-logict-prof
- Backtracking logic-programming monad; profiling libraries
Download libghc-logict-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 0.8.2.0-1+b1 | 156.4 kB | 1,794.0 kB | [list of files] |
| amd64 | 0.8.2.0-1+b1 | 108.2 kB | 1,028.0 kB | [list of files] |
| arm64 | 0.8.2.0-1+b1 | 111.1 kB | 1,170.0 kB | [list of files] |
| armhf | 0.8.2.0-1+b1 | 139.3 kB | 1,295.0 kB | [list of files] |
| hppa (unofficial port) | 0.8.2.0-1+b1 | 190.8 kB | 1,609.0 kB | [list of files] |
| i386 | 0.8.2.0-1+b1 | 109.6 kB | 889.0 kB | [list of files] |
| ia64 (unofficial port) | 0.8.0.0-1+b1 | 172.3 kB | 2,611.0 kB | [list of files] |
| loong64 | 0.8.2.0-1 | 188.3 kB | 2,217.0 kB | [list of files] |
| m68k (unofficial port) | 0.7.1.0-1+b3 | 98.4 kB | 846.0 kB | [list of files] |
| ppc64 (unofficial port) | 0.8.2.0-1+b1 | 134.0 kB | 1,721.0 kB | [list of files] |
| ppc64el | 0.8.2.0-1+b1 | 136.3 kB | 1,615.0 kB | [list of files] |
| riscv64 | 0.8.2.0-1+b1 | 197.6 kB | 1,974.0 kB | [list of files] |
| s390x | 0.8.2.0-1+b1 | 161.4 kB | 1,898.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.2.0-1+b1 | 187.5 kB | 2,644.0 kB | [list of files] |
| x32 (unofficial port) | 0.7.1.0-1 | 107.9 kB | 922.0 kB | [list of files] |