» Ubuntu » Pakketten » stonking » ocaml » quickchick
[  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Bron: coq-quickchick  ]

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

Verwijzigingen voor quickchick

Screenshot

Ubuntu bronnen:

Het bronpakket coq-quickchick downloaden:

Beheerder:

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.

Externe bronnen:

Vergelijkbare pakketten:

randomized testing framework for Coq (tools)

Andere aan quickchick gerelateerde pakketten

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

quickchick downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 538,1 kB1.809,0 kB [overzicht]
arm64 606,1 kB2.177,0 kB [overzicht]
ppc64el 600,1 kB2.113,0 kB [overzicht]
riscv64 585,1 kB1.938,0 kB [overzicht]
s390x 575,9 kB2.117,0 kB [overzicht]