[ Source: haskell-quickcheck ]
Package: libghc-quickcheck2-dev (2.14.3-2 and others)
Links for libghc-quickcheck2-dev
Debian Resources:
Download Source Package haskell-quickcheck:
- [haskell-quickcheck_2.14.3-2.dsc]
- [haskell-quickcheck_2.14.3.orig.tar.gz]
- [haskell-quickcheck_2.14.3-2.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
libreria Haskell per test automatici per GHC
Questo pacchetto fornisce una libreria per il linguaggio di programmazione Haskell.
QuickCheck è una libreria per testare automaticamente programmi Haskell. Il programmatore fornisce una specifica del programma, in forma di proprietà che devono essere soddisfatte dalle funzioni, e QuickCheck quindi testa che le proprietà siano mantenute in un vasto numero di casi generati in modo casuale. Le specifiche sono espresse in Haskell, usando combinatori definiti nella libreria QuickCheck. QuickCheck fornisce combinatori per definire proprietà, osservare la distribuzione dei dati di test e definire generatori dei dati di test.
Other Packages Related to libghc-quickcheck2-dev
|
|
|
|
-
- dep: libc6 (>= 2.27) [riscv64, sh4]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.29) [not alpha, ia64, riscv64, sh4]
-
- dep: libc6.1 (>= 2.29) [alpha]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libghc-base-dev-4.10.1.0-28083 [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.18.2.1-038db [i386]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-3be9b [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-665fa [ppc64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-75247 [arm64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-8e81e [amd64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-aa03d [alpha]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-b19b4 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-c6b57 [sparc64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-e617e [hppa]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-f2473 [s390x]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.5.10.2-5d0b5 [sh4]
- Package not available
-
- dep: libghc-containers-dev-0.6.2.1-5e2b2 [x32]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.4.1-4d368 [m68k]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-138bd [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-180cf [sparc64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-338ff [hppa]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-3eda8 [arm64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-69002 [ppc64el, riscv64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-7a228 [alpha, amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-a1650 [ia64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-a865b [i386]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-e8181 [ppc64, s390x]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.3.0-fd7e3 [sh4]
- Package not available
-
- dep: libghc-deepseq-dev-1.4.4.0-7564c [x32]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.5.0-06789 [m68k]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.0-ddf16 [ia64]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-4e034 [i386]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-71feb [arm64]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-8e335 [sparc64]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-9013f [alpha, amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-a090a [hppa]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-ae077 [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-f9583 [ppc64, ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-random-dev-1.1-13617 [sh4]
- Package not available
-
- dep: libghc-random-dev-1.2.1.1-87f1c [m68k]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.1-977c0 [x32]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.1-b57c1 [ia64]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-1b659 [alpha, mips64el]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-30746 [hppa]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-321c2 [ppc64el]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-6192e [s390x]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-668b8 [i386]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-67d7d [amd64]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-8af52 [arm64]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-a7f85 [armel, armhf]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-b7597 [riscv64]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-f3a66 [ppc64]
- virtual package provided by libghc-random-dev
-
- dep: libghc-random-dev-1.2.1.2-f95d3 [sparc64]
- virtual package provided by libghc-random-dev
-
- dep: libghc-splitmix-dev-0.1.0.4-0b054 [x32]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-splitmix-dev-0.1.0.4-c19c0 [m68k]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-splitmix-dev-0.1.0.5-032ad [i386]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-splitmix-dev-0.1.0.5-3f169 [ppc64, ppc64el, riscv64, s390x]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-splitmix-dev-0.1.0.5-4938a [sparc64]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-splitmix-dev-0.1.0.5-64257 [arm64]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-splitmix-dev-0.1.0.5-a0b7f [armel, armhf]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-splitmix-dev-0.1.0.5-a1708 [alpha, amd64, mips64el]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-splitmix-dev-0.1.0.5-a7661 [ia64]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-splitmix-dev-0.1.0.5-e4061 [hppa]
- virtual package provided by libghc-splitmix-dev
-
- dep: libghc-template-haskell-dev-2.12.0.0-32535 [sh4]
- Package not available
-
- dep: libghc-template-haskell-dev-2.15.0.0-dd3f2 [x32]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.17.0.0-2dbff [m68k]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.19.0.0-a5ee2 [ia64]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-49014 [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-54f98 [amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-68f68 [i386]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-9325c [hppa]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-9a45e [alpha]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-a6103 [arm64]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-ac6ae [ppc64, ppc64el, s390x]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-ec2da [sparc64]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-f4bb3 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-tf-random-dev-0.5-14775 [sh4]
- Package not available
-
- dep: libghc-transformers-dev-0.5.2.0-08a0d [sh4]
- Package not available
-
- dep: libghc-transformers-dev-0.5.6.2-2970e [x32]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.5.6.2-8936e [m68k]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.5.6.2-931c3 [ia64]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.0-5335d [not armel, armhf, hppa, i386, ia64, m68k, sh4, x32]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.0-6ad3c [armel, armhf, hppa]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.0-b6e44 [i386]
- virtual package provided by ghc
-
- dep: libgmp10 [sh4]
- libreria aritmetica a precisione multipla
- 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]
- infrastruttura SGML e supporto per file catalogo SGML
-
- sug: libghc-quickcheck2-doc
- libreria Haskell per test automatici per GHC; documentazione
-
- sug: libghc-quickcheck2-prof
- libreria Haskell per test automatici per GHC; librerie di profilazione
Download libghc-quickcheck2-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 2.14.3-2+b1 | 1,041.6 kB | 12,636.0 kB | [list of files] |
| amd64 | 2.14.3-2+b1 | 667.0 kB | 6,908.0 kB | [list of files] |
| arm64 | 2.14.3-2+b1 | 679.0 kB | 8,014.0 kB | [list of files] |
| armel | 2.14.3-2 | 873.1 kB | 9,116.0 kB | [list of files] |
| armhf | 2.14.3-2+b1 | 850.1 kB | 8,984.0 kB | [list of files] |
| hppa (unofficial port) | 2.14.3-2+b1 | 1,279.3 kB | 12,990.0 kB | [list of files] |
| i386 | 2.14.3-2+b1 | 1,122.2 kB | 9,530.0 kB | [list of files] |
| ia64 (unofficial port) | 2.14.3-1+b1 | 1,194.1 kB | 23,848.0 kB | [list of files] |
| m68k (unofficial port) | 2.14.2-1+b3 | 1,015.3 kB | 9,418.0 kB | [list of files] |
| mips64el | 2.14.3-2 | 937.8 kB | 12,338.0 kB | [list of files] |
| ppc64 (unofficial port) | 2.14.3-2 | 846.2 kB | 12,173.0 kB | [list of files] |
| ppc64el | 2.14.3-2 | 880.1 kB | 11,020.0 kB | [list of files] |
| riscv64 | 2.14.3-2 | 1,205.9 kB | 13,927.0 kB | [list of files] |
| s390x | 2.14.3-2 | 1,147.8 kB | 14,702.0 kB | [list of files] |
| sh4 (unofficial port) | 2.11.3-1 | 824.0 kB | 8,548.0 kB | [list of files] |
| sparc64 (unofficial port) | 2.14.3-2 | 1,082.2 kB | 16,866.0 kB | [list of files] |
| x32 (unofficial port) | 2.14.2-1 | 1,220.6 kB | 10,471.0 kB | [list of files] |