diff options
| author | Yasuhiro Kimura <yasu@FreeBSD.org> | 2022-09-17 07:20:20 +0900 |
|---|---|---|
| committer | Yasuhiro Kimura <yasu@FreeBSD.org> | 2022-09-21 16:48:19 +0900 |
| commit | 164249e86734bd23f17182913f13a3a3f346a3ca (patch) | |
| tree | 96448fc6026754af4520f4e03c6cbf1ade5e748e /math/coq | |
| parent | sysutils/UEFITool: fix build on aarch64 (diff) | |
editors/emacs: Update to 28.2
* Remove FCITXPATCH option as extra-patch-src_xfns.c can't be applied
since 28.1.
* Tidy up Makefile with portfmt.
* Bump PORTREVISION of consumers.
ChangeLog: https://www.gnu.org/software/emacs/news/NEWS.28.2
PR: 266454
Exp-run by: antoine
Reviewed by: ashish, jrm
Differential Revision: https://reviews.freebsd.org/D36613
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 bcc9b8ca0469..0618418cad6c 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -1,6 +1,6 @@ PORTNAME= coq PORTVERSION= 8.6 -PORTREVISION= 11 +PORTREVISION= 12 PORTEPOCH= 3 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \ |