diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template index 9b7ba6bd9b9..d23a7634d39 100644 --- a/srcpkgs/coq/template +++ b/srcpkgs/coq/template @@ -1,6 +1,6 @@ # Template file for 'coq' pkgname=coq -version=8.10.0 +version=8.10.1 revision=1 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5" short_desc="Proof assistant written in OCaml" @@ -8,7 +8,7 @@ maintainer="Leah Neukirchen " license="LGPL-2.1-only" homepage="https://coq.inria.fr" distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz" -checksum=292c64162620c4c4825c323c1c71762d764ebc9ce39bd8eee900851eaca655f5 +checksum=f8eb889c4974b89db1303b22382b2de4116ede1db673afefc67e3abff8955612 nopie=yes nocross=yes