| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Alpine Linux Edge
testing |
ocaml-qcheck |
0.18.1 |
- |
andy@onthewings.net |
Alpine Linux Edge
testing |
ocaml-qcheck-dev |
0.18.1 |
- |
andy@onthewings.net |
|
ALT Linux p9 |
ocaml-qcheck |
0.9 |
Development/ML |
rider@altlinux.org |
|
ALT Linux p10 |
ocaml-qcheck |
0.18 |
Development/ML |
rider@altlinux.org |
|
ALT Linux p11 |
ocaml-qcheck |
0.23 |
Development/ML |
rider@altlinux.org |
|
ALT Sisyphus |
ocaml-qcheck |
0.23 |
Development/ML |
rider@altlinux.org |
|
AUR |
ocaml-qcheck |
0.24 |
- |
dpeukert@aur |
Debian 10
buster/main |
ocaml-qcheck |
0.8 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Debian 11
bullseye/main |
ocaml-qcheck |
0.15 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Debian 12
bookworm/main |
ocaml-qcheck |
0.20 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Debian 13
trixie/main |
ocaml-qcheck |
0.25 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Debian Unstable
sid/main |
ocaml-qcheck |
0.25 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
deepin 20
main |
ocaml-qcheck |
0.8 |
- |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Devuan 3.0
beowulf/main |
ocaml-qcheck |
0.8 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Devuan 4.0
chimaera/main |
ocaml-qcheck |
0.15 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Devuan Unstable
unstable/main |
ocaml-qcheck |
0.25 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
|
EPEL 8 |
ocaml-qcheck |
0.10 |
Unspecified |
- |
Fedora 37
release |
ocaml-qcheck |
0.19.1 |
Unspecified |
- |
Fedora 38
updates |
ocaml-qcheck |
0.21.1 |
Unspecified |
- |
Fedora 38
release |
ocaml-qcheck |
0.20 |
Unspecified |
- |
Fedora 39
release |
ocaml-qcheck |
0.21.2 |
Unspecified |
- |
Fedora 40
release |
ocaml-qcheck |
0.21.3 |
Unspecified |
- |
Fedora 41
updates |
ocaml-qcheck |
0.23 |
Unspecified |
- |
Fedora 41
release |
ocaml-qcheck |
0.22 |
Unspecified |
- |
Fedora 42
release |
ocaml-qcheck |
0.24 |
Unspecified |
- |
Fedora Rawhide
development |
ocaml-qcheck |
0.24 |
Unspecified |
- |
|
Gentoo |
dev-ml/qcheck |
0.22 |
dev-ml |
ml@gentoo.org |
|
Gentoo |
dev-ml/qcheck |
0.20 |
dev-ml |
ml@gentoo.org |
|
Gentoo |
dev-ml/qcheck |
0.18 |
dev-ml |
ml@gentoo.org |
|
GNU Guix |
ocaml-qcheck |
0.20 |
- |
- |
Kali Linux Rolling
main |
ocaml-qcheck |
0.25 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
|
LiGurOS stable |
dev-ml/qcheck |
0.22 |
dev-ml |
ml@gentoo.org |
|
LiGurOS stable |
dev-ml/qcheck |
0.20 |
dev-ml |
ml@gentoo.org |
|
LiGurOS stable |
dev-ml/qcheck |
0.18 |
dev-ml |
ml@gentoo.org |
|
LiGurOS develop |
dev-ml/qcheck |
0.22 |
dev-ml |
ml@gentoo.org |
|
LiGurOS develop |
dev-ml/qcheck |
0.20 |
dev-ml |
ml@gentoo.org |
|
LiGurOS develop |
dev-ml/qcheck |
0.18 |
dev-ml |
ml@gentoo.org |
Mageia 8
core/release |
ocaml-qcheck |
0.13 |
Development/OCaml |
- |
Mageia 9
core/release |
ocaml-qcheck |
0.20 |
Development/OCaml |
- |
Mageia cauldron
core/release |
ocaml-qcheck |
0.20 |
Development/OCaml |
- |
|
nixpkgs stable 22.11 |
ocaml4.14.1-qcheck |
0.20 |
ocamlPackages |
vincent.laporte@gmail.com |
|
nixpkgs stable 23.05 |
ocaml4.14.1-qcheck |
0.20 |
ocamlPackages |
vincent.laporte@gmail.com |
|
nixpkgs stable 23.11 |
ocaml4.14.2-qcheck |
0.21.2 |
ocamlPackages |
vincent.laporte@gmail.com |
|
nixpkgs stable 24.05 |
ocaml5.1.1-qcheck |
0.21.2 |
ocamlPackages |
vincent.laporte@gmail.com |
|
nixpkgs stable 24.11 |
ocaml5.2.1-qcheck |
0.22 |
ocamlPackages |
vincent.laporte@gmail.com |
|
nixpkgs stable 25.05 |
ocaml5.3.0-qcheck |
0.25 |
ocamlPackages |
vincent.laporte@gmail.com |
|
nixpkgs unstable |
ocaml5.3.0-qcheck |
0.25 |
ocamlPackages |
vincent.laporte@gmail.com |
|
opam |
qcheck |
0.25 |
- |
- |
Pardus 21
main |
ocaml-qcheck |
0.15 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Parrot
parrot-updates/main |
ocaml-qcheck |
0.20 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Parrot
parrot/main |
ocaml-qcheck |
0.20 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
PureOS amber
amber/main |
ocaml-qcheck |
0.8 |
ocaml |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
PureOS byzantium
byzantium/main |
ocaml-qcheck |
0.15 |
ocaml |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
PureOS landing
landing/main |
ocaml-qcheck |
0.25 |
ocaml |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Raspbian Oldstable
main |
ocaml-qcheck |
0.15 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Raspbian Stable
main |
ocaml-qcheck |
0.20 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Raspbian Testing
main |
ocaml-qcheck |
0.25 |
misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Trisquel 10.0
nabia/main |
ocaml-qcheck |
0.11 |
universe/misc |
ubuntu-devel-discuss@lists.ubuntu.com, andy@onthewings.net |
Trisquel 11.0
aramo/main |
ocaml-qcheck |
0.18.1 |
universe/misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Ubuntu 20.04
focal/universe |
ocaml-qcheck |
0.11 |
universe/misc |
ubuntu-devel-discuss@lists.ubuntu.com, andy@onthewings.net |
Ubuntu 22.04
jammy/universe |
ocaml-qcheck |
0.18.1 |
universe/misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Ubuntu 24.04
noble/universe |
ocaml-qcheck |
0.21.3 |
universe/misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Ubuntu 24.10
oracular/universe |
ocaml-qcheck |
0.22 |
universe/misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Ubuntu 25.04
plucky/universe |
ocaml-qcheck |
0.24 |
universe/misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |
Ubuntu 25.10
questing/universe |
ocaml-qcheck |
0.25 |
universe/misc |
debian-ocaml-maint@lists.debian.org, andy@onthewings.net |