From c829b623e2a72659873c342e7d9215f64d515159 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Sun, 19 May 2019 17:04:28 +0200 Subject: [PATCH] coq: update to 8.9.1. --- srcpkgs/coq/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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