[ Paquet source : ocaml-qcheck ]
Paquet : libqcheck-ocaml-dev (0.22-1 et autres)
Liens pour libqcheck-ocaml-dev
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source ocaml-qcheck :
Responsables :
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
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.
This is a compatibility library, depends on libqcheck-ocaml.
Autres paquets associés à libqcheck-ocaml-dev
|
|
|
|
-
- dep: libounit-ocaml-dev-1m367 [s390x]
- paquet virtuel fourni par libounit-ocaml-dev
-
- dep: libounit-ocaml-dev-h10z2 [amd64, arm64, ppc64el, riscv64]
- paquet virtuel fourni par libounit-ocaml-dev
-
- dep: libounit-ocaml-dev-mfs87 [ia64]
- paquet virtuel fourni par libounit-ocaml-dev
-
- dep: libounit-ocaml-dev-pnni6 [non amd64, arm64, ia64, ppc64el, riscv64, s390x]
- paquet virtuel fourni par libounit-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-k9sw4 [non amd64, arm64, ia64, ppc64el, riscv64, s390x]
- paquet virtuel fourni par libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-ll2j4 [s390x]
- paquet virtuel fourni par libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-qr3k2 [ia64]
- paquet virtuel fourni par libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-r0cl9 [amd64, arm64, ppc64el, riscv64]
- paquet virtuel fourni par libqcheck-core-ocaml-dev
-
- dep: libqcheck-ocaml-3q7c8 [s390x]
- paquet virtuel fourni par libqcheck-ocaml
-
- dep: libqcheck-ocaml-ch4v9 [amd64, arm64, ppc64el, riscv64]
- paquet virtuel fourni par libqcheck-ocaml
-
- dep: libqcheck-ocaml-d5tu0 [non amd64, arm64, ia64, ppc64el, riscv64, s390x]
- paquet virtuel fourni par libqcheck-ocaml
-
- dep: libqcheck-ocaml-ymmn0 [ia64]
- paquet virtuel fourni par libqcheck-ocaml
-
- dep: libqcheck-ounit-ocaml-dev-1wca1 [ia64]
- paquet virtuel fourni par libqcheck-ounit-ocaml-dev
-
- dep: libqcheck-ounit-ocaml-dev-bptj4 [amd64, arm64, ppc64el, riscv64]
- paquet virtuel fourni par libqcheck-ounit-ocaml-dev
-
- dep: libqcheck-ounit-ocaml-dev-caxg5 [s390x]
- paquet virtuel fourni par libqcheck-ounit-ocaml-dev
-
- dep: libqcheck-ounit-ocaml-dev-tldx0 [non amd64, arm64, ia64, ppc64el, riscv64, s390x]
- paquet virtuel fourni par libqcheck-ounit-ocaml-dev
-
- dep: libstdlib-ocaml-dev-0d647 [arm64]
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2a614 [ppc64el]
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-7l663 [amd64]
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-bkvu1 [non amd64, arm64, ia64, ppc64el, riscv64, s390x]
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-r1af2 [s390x]
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-rg5q2 [ia64]
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-vvst5 [riscv64]
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: ocaml-4.14.1 [ia64]
- paquet virtuel fourni par ocaml
-
- dep: ocaml-5.2.0 [non ia64]
- paquet virtuel fourni par ocaml
-
- rec: ocaml-findlib
- management tool for OCaml libraries
Télécharger libqcheck-ocaml-dev
Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|---|
alpha (portage non officiel) | 0.22-1+b1 | 18,2 ko | 44,0 ko | [liste des fichiers] |
amd64 | 0.22-1+b1 | 21,0 ko | 59,0 ko | [liste des fichiers] |
arm64 | 0.22-1+b1 | 21,1 ko | 60,0 ko | [liste des fichiers] |
armel | 0.22-1+b1 | 18,3 ko | 44,0 ko | [liste des fichiers] |
armhf | 0.22-1+b1 | 18,3 ko | 44,0 ko | [liste des fichiers] |
hppa (portage non officiel) | 0.22-1+b1 | 18,2 ko | 44,0 ko | [liste des fichiers] |
i386 | 0.22-1+b1 | 18,3 ko | 44,0 ko | [liste des fichiers] |
ia64 (portage non officiel) | 0.21.3-1 | 14,9 ko | 53,0 ko | [liste des fichiers] |
m68k (portage non officiel) | 0.22-1+b1 | 18,2 ko | 44,0 ko | [liste des fichiers] |
mips64el | 0.22-1+b1 | 18,3 ko | 44,0 ko | [liste des fichiers] |
ppc64 (portage non officiel) | 0.22-1+b1 | 18,3 ko | 44,0 ko | [liste des fichiers] |
ppc64el | 0.22-1+b1 | 21,2 ko | 60,0 ko | [liste des fichiers] |
riscv64 | 0.22-1+b1 | 21,8 ko | 69,0 ko | [liste des fichiers] |
s390x | 0.22-1+b1 | 20,9 ko | 59,0 ko | [liste des fichiers] |
sh4 (portage non officiel) | 0.22-1+b1 | 18,2 ko | 44,0 ko | [liste des fichiers] |
sparc64 (portage non officiel) | 0.22-1+b1 | 18,3 ko | 44,0 ko | [liste des fichiers] |
x32 (portage non officiel) | 0.22-1+b1 | 18,3 ko | 44,0 ko | [liste des fichiers] |