diff options
| author | Joseph Mingrone <jrm@FreeBSD.org> | 2021-10-23 12:11:31 -0300 |
|---|---|---|
| committer | Joseph Mingrone <jrm@FreeBSD.org> | 2021-11-15 11:19:58 -0400 |
| commit | 061afcca16999e2e4e791d4517a918d0d606d692 (patch) | |
| tree | 7a09d24beecd7c9b7381886c89755b1fe49a47ca /math/coq | |
| parent | UPDATING: Document removal of emacs version from package names (diff) | |
USES=emacs: Chase package name changes
PR: 259259
Differential Revision: https://reviews.freebsd.org/D32613
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 70d559f4004f..0c236a0a76a7 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -1,6 +1,6 @@ PORTNAME= coq PORTVERSION= 8.6 -PORTREVISION= 7 +PORTREVISION= 8 PORTEPOCH= 3 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \ |