all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-quickchick (2.0.2-1)

Links for coq-quickchick

Debian Resources:

Maintainers:

External Resources:

Наступні двійкові пакунки побудовано з цього джерельного пакунка:
libcoq-quickchick
randomized testing framework for Coq (plugin)
quickchick
randomized testing framework for Coq (tools)

Інші пакунки пов'язані з coq-quickchick

  • build-depends
  • build-depends-indep

Download coq-quickchick

ФайлРозмір (в кБ)MD5 checksum
coq-quickchick_2.0.2-1.dsc 2.2 kB 6a8dc622d43fb7d98da07153b6db6e09
coq-quickchick_2.0.2.orig.tar.gz 405.9 kB dc00eb702277d91fecc9501e8f1e0347
coq-quickchick_2.0.2-1.debian.tar.xz 3.0 kB 811932a2468b199b324eafffaccfca8a
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-quickchick.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-quickchick