全部搜尋項
bookworm  ] [  trixie  ] [  sid  ]

原始碼套件:coq-quickchick(1.6.4-3)

coq-quickchick 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
libcoq-quickchick
randomized testing framework for Coq (plugin)
quickchick
randomized testing framework for Coq (tools)

其他與 coq-quickchick 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

Download coq-quickchick

檔案大小(單位:kB)MD5 校驗碼
coq-quickchick_1.6.4-3.dsc 2。2 kB 88adbcc080a4fe72201c8c9771ee55e7
coq-quickchick_1.6.4.orig.tar.gz 379。4 kB cce1caca2698a92e8b66158d431dd7db
coq-quickchick_1.6.4-3.debian.tar.xz 2。7 kB 11f825d309dcc72d437e79223e81530d
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/ocaml-team/quickchick.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/ocaml-team/quickchick