diff --git a/coq/Makefile b/coq/Makefile
index 80d663022c..49adec4777 100644
--- a/coq/Makefile
+++ b/coq/Makefile
@@ -1,7 +1,7 @@
 # $NetBSD: Makefile,v 1.128 2020/01/24 15:54:48 jaapb Exp $
 #
 
-DISTNAME=	coq-8.11+beta1
+DISTNAME=	coq-8.11.0
 CATEGORIES=	lang math
 MASTER_SITES=	${MASTER_SITE_GITHUB:=coq/}
 GITHUB_TAG=	V${PKGVERSION_NOREV:S/_/+/}
diff --git a/coq/distinfo b/coq/distinfo
index 2cd63e6b8a..52bd9136cb 100644
--- a/coq/distinfo
+++ b/coq/distinfo
@@ -1,7 +1,8 @@
 $NetBSD: distinfo,v 1.35 2020/01/24 15:54:48 jaapb Exp $
 
-SHA1 (coq-8.11+beta1.tar.gz) = 3c2a882534417817eb5cefebf58edbb5bbd82470
-RMD160 (coq-8.11+beta1.tar.gz) = c932bb68f73623d5542603f3ce7f259dc360e7a7
-SHA512 (coq-8.11+beta1.tar.gz) = bcb3b63e80795e44b94591eefb2caa1a2f3782dff8ba592606dd8c30160b1f2c8dfcbc78127a058fd8af6c8dc33346ff4ec2c03593c71659ed5b53a7516af516
-Size (coq-8.11+beta1.tar.gz) = 6544784 bytes
+SHA1 (coq-8.11.0.tar.gz) = 2c91144debeaa370082b6eeb31b8c21b76a9c1b1
+RMD160 (coq-8.11.0.tar.gz) = e3ac2f67e9db3351bdf68f38609142999bcd3bab
+SHA512 (coq-8.11.0.tar.gz) = db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89
+Size (coq-8.11.0.tar.gz) = 6555390 bytes
+SHA1 (patch-Makefile) = 7190750f09938fd7b5eb2a99823509758019bea2
 SHA1 (patch-Makefile.common) = 85bcb271103f87f1e1573d3856740319ee0344cd
diff --git a/coq/patches/patch-Makefile b/coq/patches/patch-Makefile
new file mode 100644
index 0000000000..bef513e6bf
--- /dev/null
+++ b/coq/patches/patch-Makefile
@@ -0,0 +1,13 @@
+$NetBSD$
+
+--- Makefile.orig	2020-01-24 22:02:03.000000000 +0000
++++ Makefile
+@@ -48,7 +48,7 @@
+ # !! FIND_SKIP_DIRS section of dev/doc/build-system.dev.txt         !!
+ # "-not -name ." to avoid skipping everything since we "find ."
+ # "-type d" to be able to find .merlin.in files
+-FIND_SKIP_DIRS:=-not -name . '(' \
++FIND_SKIP_DIRS:=! -name . '(' \
+   -name '{arch}' -o \
+   -name '.*' -type d -o \
+   -name '_darcs' -o \