summaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
Diffstat (limited to 'math')
-rw-r--r--math/coq/Makefile2
-rw-r--r--math/ess/Makefile2
2 files changed, 2 insertions, 2 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile
index 96050b0d52da..31de7f54df6f 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -1,6 +1,6 @@
PORTNAME= coq
PORTVERSION= 8.19
-PORTREVISION= 3
+PORTREVISION= 4
PORTEPOCH= 3
CATEGORIES= math
DISTVERSIONPREFIX= V
diff --git a/math/ess/Makefile b/math/ess/Makefile
index adfc1b4b4c9c..88ae1d574fc4 100644
--- a/math/ess/Makefile
+++ b/math/ess/Makefile
@@ -1,6 +1,6 @@
PORTNAME= ess
DISTVERSION= 24.01.1
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= math
MASTER_SITES= http://ess.r-project.org/ \
http://stat.ethz.ch/ESS/downloads/ess/