Yirmiuc / dh-coq

debhelper tool for Coq-related Debian packages

•     Debian OCaml Maintainers
•     [email protected]
•    
•     0.5
•     dh-coq_0.5_all.deb
•     7.3 KiB
•     ocaml
•     all
•      dh-coq_0.5.dsc
            dh-coq_0.5.tar.xz
•     Debian Versiyonu: 0.5
•     debhelper tool for Coq-related Debian packages