diff options
| author | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-03-10 17:46:04 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-03-10 17:46:04 +0000 |
| commit | c2a92a1aea4e66d25d82a5def112bb1b55660bd2 (patch) | |
| tree | 1c82614777155b2ed4f7f1e17008101717e3f011 /math/cvc3 | |
| parent | c8c2add0da50d91884aab31f6ed98faa827e08f7 (diff) | |
| download | ports-c2a92a1aea4e66d25d82a5def112bb1b55660bd2.tar.gz ports-c2a92a1aea4e66d25d82a5def112bb1b55660bd2.zip | |
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
Notes
Notes:
svn path=/head/; revision=464084
Diffstat (limited to 'math/cvc3')
| -rw-r--r-- | math/cvc3/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index e32088918add..3d5048f7720b 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -3,7 +3,7 @@ PORTNAME= cvc3 PORTVERSION= 2.4.1 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= math MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ |