[ Kaynak: haskell-quickcheck-safe ]
Paket: libghc-quickcheck-safe-dev (0.1.0.6-5 ve diğerleri)
libghc-quickcheck-safe-dev için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
haskell-quickcheck-safe Kaynak Paketini İndir:
- [haskell-quickcheck-safe_0.1.0.6-5.dsc]
- [haskell-quickcheck-safe_0.1.0.6.orig.tar.gz]
- [haskell-quickcheck-safe_0.1.0.6-5.debian.tar.xz]
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [hackage.haskell.org]
Benzer paketler:
Safe reimplementation of QuickCheck's core
QuickCheck-safe reimplements the quickCheck functionality with a pure interface and a very small trusted base (see Test.QuickCheck.Safe.Trusted).
* uses the existing Arbitrary instances * implemented features: testing, result minimization (i.e., shrinking) * missing features: expected failures, label frequencies, coverage
The package is targeted at users who want to leverage SafeHaskell for sandboxing.
>>> putStr $ quickCheck (inventQCGen ()) (\x -> length (x :: [()]) < 10) *** Failed! Falsifiable (after 18 tests and 3 shrinks): [(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
libghc-quickcheck-safe-dev ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386, m68k]
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket 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.3) [ppc64]
- dep: libc6 (>= 2.4) [armel, armhf]
-
- dep: libc6.1 (>= 2.1.3) [alpha]
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libghc-base-dev-4.13.0.0-f73fa [x32]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.15.1.0-64902 [m68k]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.17.2.0-e9124 [ia64]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-038db [i386]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-3be9b [armel, armhf]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-665fa [ppc64]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-75247 [arm64]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-8e81e [amd64]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-aa03d [alpha]
- Paket mevcut değil
-
- dep: libghc-base-dev-4.18.2.1-b19b4 [mips64el]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-c6b57 [sparc64]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-e617e [hppa]
- sanal paketi sağlayan ghc
-
- dep: libghc-base-dev-4.18.2.1-f2473 [s390x]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.2.1-5e2b2 [x32]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.4.1-4d368 [m68k]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.7-138bd [armel, armhf]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.7-180cf [sparc64]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.7-338ff [hppa]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.7-3eda8 [arm64]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.7-69002 [ppc64el, riscv64]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.7-7a228 [alpha, amd64, mips64el]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.7-a1650 [ia64]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.7-a865b [i386]
- sanal paketi sağlayan ghc
-
- dep: libghc-containers-dev-0.6.7-e8181 [ppc64, s390x]
- sanal paketi sağlayan ghc
-
- dep: libghc-quickcheck-dev-2.14.2-03843 [x32]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.2-cfc09 [m68k]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-1e824 [arm64]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-3727f [hppa]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-4c564 [sparc64]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-955ee [amd64]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-baad1 [armel, armhf]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-c4404 [mips64el]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-d246f [riscv64]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-ea736 [ia64]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-f44ce [s390x]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-f68cc [alpha]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-f6a1c [i386]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-fcaa5 [ppc64el]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.14.3-fec5f [ppc64]
- sanal paketi sağlayan libghc-quickcheck2-dev
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1) [m68k]
- Multiprecision arithmetic library
- dep: libgmp10 (>= 2:6.3.0+dfsg) [m68k, x32 değil]
-
- dep: sgml-base (>= 1.28) [x32]
- SGML infrastructure and SGML catalog file support
libghc-quickcheck-safe-dev indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| alpha (resmi olmayan port) | 0.1.0.6-5 | 49,5 kB | 415,0 kB | [dosya listesi] |
| amd64 | 0.1.0.6-5 | 39,0 kB | 260,0 kB | [dosya listesi] |
| arm64 | 0.1.0.6-5 | 38,7 kB | 284,0 kB | [dosya listesi] |
| armel | 0.1.0.6-5 | 45,1 kB | 312,0 kB | [dosya listesi] |
| armhf | 0.1.0.6-5 | 45,2 kB | 309,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 0.1.0.6-5 | 62,6 kB | 400,0 kB | [dosya listesi] |
| i386 | 0.1.0.6-5 | 55,2 kB | 320,0 kB | [dosya listesi] |
| ia64 (resmi olmayan port) | 0.1.0.6-4+b1 | 56,5 kB | 681,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 0.1.0.6-3+b2 | 50,4 kB | 310,0 kB | [dosya listesi] |
| mips64el | 0.1.0.6-5 | 47,2 kB | 426,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 0.1.0.6-5 | 43,6 kB | 407,0 kB | [dosya listesi] |
| ppc64el | 0.1.0.6-5 | 44,8 kB | 399,0 kB | [dosya listesi] |
| riscv64 | 0.1.0.6-5 | 54,3 kB | 435,0 kB | [dosya listesi] |
| s390x | 0.1.0.6-5 | 53,0 kB | 473,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 0.1.0.6-5 | 53,8 kB | 1.376,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 0.1.0.6-3 | 56,2 kB | 348,0 kB | [dosya listesi] |