[ Kaynak: ocaml-qcheck ]
Paket: libqcheck-core-ocaml (0.21.3-1)
libqcheck-core-ocaml 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 (Runtime library)
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 ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.4) [armhf]
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libstdlib-ocaml-058x2 [ppc64el]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-dkl58 [i386]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-ep7y0 [amd64]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-fyga0 [arm64]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-gats1 [ppc64]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-rayz1 [armhf]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-rg5q2 [amd64, arm64, armhf, i386, ppc64, ppc64el, riscv64, s390x değil]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-vjut8 [riscv64]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-vneg5 [s390x]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: ocaml-base-4.14.1
- sanal paketi sağlayan ocaml-base
-
- rec: ocaml-findlib
- management tool for OCaml libraries
libqcheck-core-ocaml indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| alpha (resmi olmayan port) | 346,0 kB | 1.144,0 kB | [dosya listesi] |
| amd64 | 498,4 kB | 1.858,0 kB | [dosya listesi] |
| arm64 | 514,2 kB | 2.022,0 kB | [dosya listesi] |
| armel | 346,0 kB | 1.144,0 kB | [dosya listesi] |
| armhf | 498,0 kB | 1.638,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 346,0 kB | 1.144,0 kB | [dosya listesi] |
| i386 | 485,1 kB | 1.726,0 kB | [dosya listesi] |
| ia64 (resmi olmayan port) | 346,0 kB | 1.144,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 346,0 kB | 1.144,0 kB | [dosya listesi] |
| mips64el | 346,0 kB | 1.144,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 507,4 kB | 2.086,0 kB | [dosya listesi] |
| ppc64el | 507,4 kB | 2.022,0 kB | [dosya listesi] |
| riscv64 | 505,8 kB | 1.874,0 kB | [dosya listesi] |
| s390x | 498,5 kB | 1.906,0 kB | [dosya listesi] |
| sh4 (resmi olmayan port) | 346,0 kB | 1.144,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 346,0 kB | 1.144,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 346,0 kB | 1.144,0 kB | [dosya listesi] |