Yirmibes / debian-coq-tools

various tools to manage Coq-related Debian packages

•     Debian OCaml Maintainers
•     debian-ocaml-maint@lists.debian.org
•    
•     0.14
•     debian-coq-tools_0.14_all.deb
•     9.6 KiB
•     ocaml
•     all
•      dh-coq_0.14.dsc
            dh-coq_0.14.tar.xz
•     Debian Versiyonu: 0.14
•     various tools to manage Coq-related Debian packages

Diğer Pardus sürümlerindeki versiyonlar