aboutsummaryrefslogtreecommitdiff
path: root/math/cryptominisat
diff options
context:
space:
mode:
authorJan Beich <jbeich@FreeBSD.org>2019-12-11 17:53:48 +0000
committerJan Beich <jbeich@FreeBSD.org>2019-12-11 17:53:48 +0000
commit701aa3bcf8f940635c21058703c134eb101540de (patch)
treecc7e3927e6059c78bd94d69bcb5d1dcdb8825323 /math/cryptominisat
parentf574447d5ab8dcd7207c9f6667554e913d3fb433 (diff)
downloadports-701aa3bcf8f940635c21058703c134eb101540de.tar.gz
ports-701aa3bcf8f940635c21058703c134eb101540de.zip
devel/boost-*: update to 1.72.0
Notes
Notes: svn path=/head/; revision=519824
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 d261aeb553a1..76bcce444dca 100644
--- a/math/cryptominisat/Makefile
+++ b/math/cryptominisat/Makefile
@@ -2,7 +2,7 @@
PORTNAME= cryptominisat
DISTVERSION= 5.6.8
-PORTREVISION= 3
+PORTREVISION= 4
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org