diff options
| author | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-12-12 01:35:33 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-12-12 01:35:33 +0000 |
| commit | a9f015d155018758628ec8858a3d05e162673f67 (patch) | |
| tree | 404c2c9646ff0f64f0fea93eaedcd120dc980500 /math/cvc3 | |
| parent | af8af6976396d69ceebeff1fd9ca5d74d8394c7b (diff) | |
Notes
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 dab412f7541f..26d00984bf10 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -3,7 +3,7 @@ PORTNAME= cvc3 PORTVERSION= 2.4.1 -PORTREVISION= 5 +PORTREVISION= 6 CATEGORIES= math MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ |