summaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
authorJoseph Mingrone <jrm@FreeBSD.org>2025-02-23 21:36:51 -0400
committerJoseph Mingrone <jrm@FreeBSD.org>2025-02-24 17:44:48 -0400
commit12940d868adaa84dd41c22fafe337e1de81bb201 (patch)
tree21a53a45eb1bb89bd15a24b5522a52f7d0ccaa9e /math
parenteditors/emacs: Update to 30.1 (diff)
*/*: Chase editors/emacs update
Sponsored by: The FreeBSD Foundation
Diffstat (limited to 'math')
-rw-r--r--math/coq/Makefile1
-rw-r--r--math/ess/Makefile1
2 files changed, 2 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile
index f23f57e52b53..365b50b4aef8 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -1,5 +1,6 @@
PORTNAME= coq
PORTVERSION= 8.20.1
+PORTREVISION= 1
PORTEPOCH= 3
CATEGORIES= math
DISTVERSIONPREFIX= V
diff --git a/math/ess/Makefile b/math/ess/Makefile
index c6876fa68d1d..c1fc6fe26a3d 100644
--- a/math/ess/Makefile
+++ b/math/ess/Makefile
@@ -1,5 +1,6 @@
PORTNAME= ess
DISTVERSION= 25.01.0
+PORTREVISION= 1
CATEGORIES= math
MASTER_SITES= http://ess.r-project.org/ \
http://stat.ethz.ch/ESS/downloads/ess/ \