Yirmiuc / debian-coq-tools

various tools to manage Coq-related Debian packages

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