aboutsummaryrefslogtreecommitdiff
path: root/math/cryptominisat/Makefile
diff options
context:
space:
mode:
authorJan Beich <jbeich@FreeBSD.org>2018-08-09 06:58:30 +0000
committerJan Beich <jbeich@FreeBSD.org>2018-08-09 06:58:30 +0000
commit0b055d47f28aa0146c1cb2f8e85cd71f127dd553 (patch)
tree1cdec2aa532edb5042e8b80a8ee691de38be0ab7 /math/cryptominisat/Makefile
parentd105717fd776352f833b81cacbb311fb41495b24 (diff)
Notes
Diffstat (limited to 'math/cryptominisat/Makefile')
-rw-r--r--math/cryptominisat/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile
index 8673a1ff925d..aa98c1e6c0b1 100644
--- a/math/cryptominisat/Makefile
+++ b/math/cryptominisat/Makefile
@@ -2,7 +2,7 @@
PORTNAME= cryptominisat
DISTVERSION= 5.6.1
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org