aboutsummaryrefslogtreecommitdiffstats
path: root/math/cryptominisat
diff options
context:
space:
mode:
authorjbeich <jbeich@FreeBSD.org>2019-04-12 14:36:31 +0800
committerjbeich <jbeich@FreeBSD.org>2019-04-12 14:36:31 +0800
commit3f061922299a84333078544118aef89b2d7ee13c (patch)
tree919393f150a5705b76814a092d02703b32940682 /math/cryptominisat
parent13b9c0d71d15740fbfa0dc88223c2397d4602ef2 (diff)
downloadfreebsd-ports-gnome-3f061922299a84333078544118aef89b2d7ee13c.tar.gz
freebsd-ports-gnome-3f061922299a84333078544118aef89b2d7ee13c.tar.zst
freebsd-ports-gnome-3f061922299a84333078544118aef89b2d7ee13c.zip
devel/boost-*: update to 1.70.0
Changes: http://www.boost.org/users/history/version_1_70_0.html PR: 235956 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D19303
Diffstat (limited to 'math/cryptominisat')
-rw-r--r--math/cryptominisat/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile
index f554cbab0466..cae9b4cc1422 100644
--- a/math/cryptominisat/Makefile
+++ b/math/cryptominisat/Makefile
@@ -2,6 +2,7 @@
PORTNAME= cryptominisat
DISTVERSION= 5.6.8
+PORTREVISION= 1
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org