[ Kaynak: ocaml-qcheck ]
Paket: libqcheck-core-ocaml-dev (0.22-1 ve diğerleri)
libqcheck-core-ocaml-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
ocaml-qcheck Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
QuickCheck inspired property-based testing for OCaml (Development package)
This module allows one to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.
libqcheck-core-ocaml-dev ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libqcheck-core-ocaml-k9sw4 [amd64, arm64, ia64, ppc64el, riscv64, s390x değil]
- sanal paketi sağlayan libqcheck-core-ocaml
-
- dep: libqcheck-core-ocaml-ll2j4 [s390x]
- sanal paketi sağlayan libqcheck-core-ocaml
-
- dep: libqcheck-core-ocaml-qr3k2 [ia64]
- sanal paketi sağlayan libqcheck-core-ocaml
-
- dep: libqcheck-core-ocaml-r0cl9 [amd64, arm64, ppc64el, riscv64]
- sanal paketi sağlayan libqcheck-core-ocaml
-
- dep: libstdlib-ocaml-dev-0d647 [arm64]
- sanal paketi sağlayan libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2a614 [ppc64el]
- sanal paketi sağlayan libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-7l663 [amd64]
- sanal paketi sağlayan libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-bkvu1 [amd64, arm64, ia64, ppc64el, riscv64, s390x değil]
- sanal paketi sağlayan libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-r1af2 [s390x]
- sanal paketi sağlayan libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-rg5q2 [ia64]
- sanal paketi sağlayan libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-vvst5 [riscv64]
- sanal paketi sağlayan libstdlib-ocaml-dev
-
- dep: ocaml-4.14.1 [ia64]
- sanal paketi sağlayan ocaml
-
- dep: ocaml-5.2.0 [ia64 değil]
- sanal paketi sağlayan ocaml
-
- rec: ocaml-findlib
- management tool for OCaml libraries
libqcheck-core-ocaml-dev indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
alpha (resmi olmayan port) | 0.22-1+b1 | 1.316,3 kB | 1.614,0 kB | [dosya listesi] |
amd64 | 0.22-1+b1 | 1.501,7 kB | 2.827,0 kB | [dosya listesi] |
arm64 | 0.22-1+b1 | 1.504,8 kB | 2.926,0 kB | [dosya listesi] |
armel | 0.22-1+b1 | 1.316,3 kB | 1.614,0 kB | [dosya listesi] |
armhf | 0.22-1+b1 | 1.316,3 kB | 1.614,0 kB | [dosya listesi] |
hppa (resmi olmayan port) | 0.22-1+b1 | 1.316,2 kB | 1.614,0 kB | [dosya listesi] |
i386 | 0.22-1+b1 | 1.316,1 kB | 1.614,0 kB | [dosya listesi] |
ia64 (resmi olmayan port) | 0.21.3-1 | 916,3 kB | 3.796,0 kB | [dosya listesi] |
m68k (resmi olmayan port) | 0.22-1+b1 | 1.316,3 kB | 1.614,0 kB | [dosya listesi] |
mips64el | 0.22-1+b1 | 1.316,4 kB | 1.614,0 kB | [dosya listesi] |
ppc64 (resmi olmayan port) | 0.22-1+b1 | 1.316,1 kB | 1.614,0 kB | [dosya listesi] |
ppc64el | 0.22-1+b1 | 1.524,7 kB | 3.162,0 kB | [dosya listesi] |
riscv64 | 0.22-1+b1 | 1.611,7 kB | 4.794,0 kB | [dosya listesi] |
s390x | 0.22-1+b1 | 1.488,7 kB | 2.749,0 kB | [dosya listesi] |
sh4 (resmi olmayan port) | 0.22-1+b1 | 1.316,3 kB | 1.614,0 kB | [dosya listesi] |
sparc64 (resmi olmayan port) | 0.22-1+b1 | 1.316,2 kB | 1.614,0 kB | [dosya listesi] |
x32 (resmi olmayan port) | 0.22-1+b1 | 1.316,3 kB | 1.614,0 kB | [dosya listesi] |