diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2020-07-09 15:44:39 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2020-07-09 15:44:39 +0000 |
| commit | 16693b1f60db483d3e9dc22c01278f324f3c99f2 (patch) | |
| tree | 91ef1cd2c87fe4faee078a5599b14bb1523b5412 /math/cvc4 | |
| parent | d691c9d0e17ffc1210b44a2dd5922409d28cea6b (diff) | |
| download | ports-16693b1f60db483d3e9dc22c01278f324f3c99f2.tar.gz ports-16693b1f60db483d3e9dc22c01278f324f3c99f2.zip | |
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Bump PORTREVISIONs of consumer ports.
Notes
Notes:
svn path=/head/; revision=541757
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 4f924d54ce79..5e5085d95c9b 100644 --- a/math/cvc4/Makefile +++ b/math/cvc4/Makefile @@ -2,7 +2,7 @@ PORTNAME= cvc4 DISTVERSION= 1.7 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= math java MASTER_SITES+= http://www.antlr3.org/download/:antlr3 DISTFILES+= antlr-3.4-complete.jar:antlr3 |