From 72f058115e50e4e701d193a4a132ed408c5534f3 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Tue, 24 Apr 2018 16:18:16 +0200
Subject: [PATCH] coq: update to 8.8.0.

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

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index e9085bfd8a2..386399cdb86 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,13 +1,13 @@
 pkgname=coq
-version=8.7.2
+version=8.8.0
 revision=1
 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
 maintainer="Némo Fournier <nemo@epicea.xyz>"
 license="LGPL-2.1"
 homepage="https://coq.inria.fr"
-distfiles="${homepage}/distrib/V${version}/files/${pkgname}-${version}.tar.gz"
-checksum=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2
+distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
+checksum=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d
 nopie=yes
 nocross=yes