From ec1ec86ef38098f6268a42fbc66e284b921d1c0a Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Tue, 17 Nov 2020 00:23:57 +0900 Subject: [PATCH] coq: update to 8.12.1 Signed-off-by: Sora Morimoto --- srcpkgs/coq/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template index d700c176c63..01a7829b50f 100644 --- a/srcpkgs/coq/template +++ b/srcpkgs/coq/template @@ -1,6 +1,6 @@ # Template file for 'coq' pkgname=coq -version=8.12.0 +version=8.12.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=ecde14c6132f5abb459e7f4724788788928174ad4484fff88e86b0086779bcee +checksum=dabad911239c69ecf79931b513cb427101c2f15f0451af056fbf181df526f8a5 nopie=yes nocross=yes