Ondokuz / libcoq-ocaml-dev

development libraries and tools for Coq



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir libcoq-ocaml-dev 8.12.0-3+b3