diff options
| author | Jan Beich <jbeich@FreeBSD.org> | 2019-12-11 17:53:48 +0000 |
|---|---|---|
| committer | Jan Beich <jbeich@FreeBSD.org> | 2019-12-11 17:53:48 +0000 |
| commit | 701aa3bcf8f940635c21058703c134eb101540de (patch) | |
| tree | cc7e3927e6059c78bd94d69bcb5d1dcdb8825323 /math/cvc4 | |
| parent | f574447d5ab8dcd7207c9f6667554e913d3fb433 (diff) | |
| download | ports-701aa3bcf8f940635c21058703c134eb101540de.tar.gz ports-701aa3bcf8f940635c21058703c134eb101540de.zip | |
devel/boost-*: update to 1.72.0
Changes: http://www.boost.org/users/history/version_1_72_0.html
PR: 241449
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D22136
Notes
Notes:
svn path=/head/; revision=519824
Diffstat (limited to 'math/cvc4')
| -rw-r--r-- | math/cvc4/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/cvc4/Makefile b/math/cvc4/Makefile index 4538ff8e8cc7..abfe3c1d26dd 100644 --- a/math/cvc4/Makefile +++ b/math/cvc4/Makefile @@ -2,7 +2,7 @@ PORTNAME= cvc4 DISTVERSION= 1.7 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= math java MASTER_SITES+= http://www.antlr3.org/download/:antlr3 DISTFILES+= antlr-3.4-complete.jar:antlr3 |