aboutsummaryrefslogtreecommitdiffstats
path: root/math/cryptominisat
diff options
context:
space:
mode:
authorjbeich <jbeich@FreeBSD.org>2019-08-19 23:35:27 +0800
committerjbeich <jbeich@FreeBSD.org>2019-08-19 23:35:27 +0800
commitf38e8d33c608eec7a94aa6fdfc46714d4181d246 (patch)
treeeced3a067f69c836396f6dab708c086619b9da8d /math/cryptominisat
parent2fdf0a1ac796c5792c25e6d36c6fa0b3c8ca5fb1 (diff)
downloadfreebsd-ports-gnome-f38e8d33c608eec7a94aa6fdfc46714d4181d246.tar.gz
freebsd-ports-gnome-f38e8d33c608eec7a94aa6fdfc46714d4181d246.tar.zst
freebsd-ports-gnome-f38e8d33c608eec7a94aa6fdfc46714d4181d246.zip
devel/boost-*: update to 1.71.0
Changes: http://www.boost.org/users/history/version_1_71_0.html PR: 238827 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D20774
Diffstat (limited to 'math/cryptominisat')
-rw-r--r--math/cryptominisat/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile
index 5c22ea07cd26..d261aeb553a1 100644
--- a/math/cryptominisat/Makefile
+++ b/math/cryptominisat/Makefile
@@ -2,7 +2,7 @@
PORTNAME= cryptominisat
DISTVERSION= 5.6.8
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org