diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template index 386399cdb86..d2b7d10d4f6 100644 --- a/srcpkgs/coq/template +++ b/srcpkgs/coq/template @@ -1,6 +1,6 @@ pkgname=coq version=8.8.0 -revision=1 +revision=2 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5" short_desc="Proof assistant written in OCaml" maintainer="Némo Fournier "