Hi Yozo, a new release of coq has been made. I've already updated compcert
to v3.8 which supports this new version of coq and is the only consumer
of coq.
ok if we update coq to the latest version?
Index: Makefile
===================================================================
RCS file: /cvs/ports/math/coq/Makefile,v
retrieving revision 1.52
diff -u -p -u -r1.52 Makefile
--- Makefile 16 Sep 2020 21:13:09 -0000 1.52
+++ Makefile 22 Nov 2020 15:32:09 -0000
@@ -2,13 +2,12 @@
COMMENT= proof assistant based on a typed lambda calculus
-V= 8.12.0
+V= 8.12.1
GH_ACCOUNT = coq
GH_PROJECT = coq
GH_TAGNAME = V${V}
DISTNAME = ${GH_PROJECT}-${V}
WRKDIST = ${WRKDIR}/${GH_PROJECT}-${V}
-REVISION = 0
CATEGORIES= math
HOMEPAGE= https://coq.inria.fr/
Index: distinfo
===================================================================
RCS file: /cvs/ports/math/coq/distinfo,v
retrieving revision 1.20
diff -u -p -u -r1.20 distinfo
--- distinfo 9 Aug 2020 02:45:34 -0000 1.20
+++ distinfo 22 Nov 2020 15:32:09 -0000
@@ -1,2 +1,2 @@
-SHA256 (coq-8.12.0.tar.gz) = 7N4UxhMvWrtFnn9HJHiHiJKBdK1EhP/4joawCGd5vO4=
-SIZE (coq-8.12.0.tar.gz) = 6774001
+SHA256 (coq-8.12.1.tar.gz) = 2rrZESOcaez3mTG1E8tCcQHC8V8EUa8Fb78YHfUm+KU=
+SIZE (coq-8.12.1.tar.gz) = 6855317
