diff --git a/math/coq/Makefile b/math/coq/Makefile
index 131bd20b771..6fc1f00d176 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -1,14 +1,13 @@
-# $OpenBSD: Makefile,v 1.47 2019/10/08 10:56:29 sthen Exp $
+# $OpenBSD: Makefile,v 1.48 2019/10/16 06:40:03 daniel Exp $
 
 COMMENT=		proof assistant based on a typed lambda calculus
 
-V=			8.10+beta3
+V=			8.10.0
 GH_ACCOUNT =		coq
 GH_PROJECT =		coq
 GH_TAGNAME =		V${V}
-DISTNAME =		${GH_PROJECT}-${V:S/+//}
-WRKDIST =		${WRKDIR}/${GH_PROJECT}-${V:S/+/-/}
-REVISION =		1
+DISTNAME =		${GH_PROJECT}-${V}
+WRKDIST =		${WRKDIR}/${GH_PROJECT}-${V}
 
 CATEGORIES=		math
 HOMEPAGE=		https://coq.inria.fr/
diff --git a/math/coq/distinfo b/math/coq/distinfo
index 6b41b5a4e57..9a43f0aad0c 100644
--- a/math/coq/distinfo
+++ b/math/coq/distinfo
@@ -1,2 +1,2 @@
-SHA256 (coq-8.10beta3.tar.gz) = bg4NOETRztaP1HlgLSQ5QBLSLEfSrbTJoBtNCGoYAxg=
-SIZE (coq-8.10beta3.tar.gz) = 6220619
+SHA256 (coq-8.10.0.tar.gz) = KSxkFiYgxMSCXDI8HHF2LXZOvJzjm9ju6QCFHqymVfU=
+SIZE (coq-8.10.0.tar.gz) = 6220333