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 / coqprime-tools
Primality certification for Coq (tools)
Debian OCaml Maintainers
debian-ocaml-maint@lists.debian.org
https://github.com/thery/coqprime
8.15-2+b1
coqprime-tools_8.15-2+b1_amd64.deb
132.3 KiB
ocaml
amd64
coqprime_8.15-2.debian.tar.xz
coqprime_8.15-2.dsc
coqprime_8.15.orig.tar.gz
Debian Versiyonu: 8.15-2+b1
Primality certification for Coq (tools)
Diğer Pardus sürümlerindeki versiyonlar
Pardus
Paket
Versiyon
yirmibes
coqprime-tools
8.20.1-1+b4