» Ubuntu » Paketit » stonking » ocaml » quickchick
[  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Source: coq-quickchick  ]

Paketti: quickchick (2.1.0-1.1build5) [universe]

Links for quickchick

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti coq-quickchick:

Ylläpitäjä:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Samankaltaisia paketteja:

randomized testing framework for Coq (tools)

Muut pakettiin quickchick liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libc6 (>= 2.42)
    GNU C Library: Shared libraries
  • dep: ocaml-base
    Runtime system for OCaml bytecode executables
    tai ocaml
    ML language implementation with a class-based object system

Imuroi quickchick

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 538.1 kt1,809.0 kt [tiedostoluettelo]
arm64 606.1 kt2,177.0 kt [tiedostoluettelo]
ppc64el 600.1 kt2,113.0 kt [tiedostoluettelo]
riscv64 585.1 kt1,938.0 kt [tiedostoluettelo]
s390x 575.9 kt2,117.0 kt [tiedostoluettelo]