diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template index 5ebe0bba49e..0d5142c872d 100644 --- a/srcpkgs/coq/template +++ b/srcpkgs/coq/template @@ -1,5 +1,5 @@ pkgname=coq -version=8.9.0 +version=8.9.1 revision=1 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5" short_desc="Proof assistant written in OCaml" @@ -7,7 +7,7 @@ maintainer="Leah Neukirchen " license="LGPL-2.1" homepage="https://coq.inria.fr" distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz" -checksum=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0 +checksum=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea nopie=yes nocross=yes