From fb0f69db1c93a87d3dcdd705a698c2fda0818cb2 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sun, 10 Jan 2021 16:13:53 +0100
Subject: [PATCH] coq: update to 8.13.0.

---
 srcpkgs/coq/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index d71c89bae92..cf49b27d018 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,14 +1,14 @@
 # Template file for 'coq'
 pkgname=coq
-version=8.12.2
+version=8.13.0
 revision=1
-hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
+hostmakedepends="camlp5 ocaml ocaml-findlib ocaml-num ocaml-zarith"
 short_desc="Proof assistant written in OCaml"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1-only"
 homepage="https://coq.inria.fr"
 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
-checksum=2c57416e3ec737b212610512eae7e40259fb17a4e487b49981556f28838e8b17
+checksum=06445dbd6cb3c8a2e4e957dbd12e094d609a62fcb0c8c3cad0cd1fdedda25c9b
 nopie=yes
 nocross=yes