aboutsummaryrefslogtreecommitdiff
path: root/misc/ompl
diff options
context:
space:
mode:
Diffstat (limited to 'misc/ompl')
-rw-r--r--misc/ompl/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/ompl/Makefile b/misc/ompl/Makefile
index e49314da0bfb..c18940be9129 100644
--- a/misc/ompl/Makefile
+++ b/misc/ompl/Makefile
@@ -3,7 +3,7 @@
PORTNAME= ompl
DISTVERSION= 1.4.1
DISTVERSIONSUFFIX= -Source
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= misc comms
MASTER_SITES= http://cdn.bitbucket.org/${PORTNAME}/${PORTNAME}/downloads/