Debian packaging for Coq