diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template index 88d4da371d0..45d44caf3c6 100644 --- a/srcpkgs/coq/template +++ b/srcpkgs/coq/template @@ -1,8 +1,9 @@ # Template file for 'coq' pkgname=coq version=8.16.1 -revision=1 +revision=2 hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith" +depends="ocaml-findlib" short_desc="Proof assistant written in OCaml" maintainer="Leah Neukirchen " license="LGPL-2.1-only"