Pardus Paket İzleyici
Ana Sayfa
GitHub İstatistikleri
Tüm İstatistikler
Sadece Ekip Dışı İstatistikler
Güncellemeler
Pardus 25 Güncellemeleri
Pardus 23 Güncellemeleri
English
Türkçe
Yirmiuc / libcoq-quickchick
randomized testing framework for Coq (plugin)
Debian OCaml Maintainers
debian-ocaml-maint@lists.debian.org
https://github.com/Quickchick/Quickchick
1.6.4-3+b1
libcoq-quickchick_1.6.4-3+b1_amd64.deb
1.5 MiB
ocaml
amd64
coq-quickchick_1.6.4-3.debian.tar.xz
coq-quickchick_1.6.4-3.dsc
coq-quickchick_1.6.4.orig.tar.gz
Debian Versiyonu: 1.6.4-3+b1
randomized testing framework for Coq (plugin)
Diğer Pardus sürümlerindeki versiyonlar
Pardus
Paket
Versiyon
yirmibes
libcoq-quickchick
2.1.0-1+b2