diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-01-04 21:36:52 -0800 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-01-05 01:38:10 -0800 |
| commit | 0d52d8cbc0456348df6167a9d20f651ef276d5d3 (patch) | |
| tree | 0bf8cac542a95a3cc6b3830329fb737891a8b22f | |
| parent | 52c326a4da0cb7d822b50d782b299d54cdd0bd51 (diff) | |
| download | freebsd-ports-0d52d8cbc0456348df6167a9d20f651ef276d5d3.zip | |
math/cvc5: Update the PORTSCOUT line
| -rw-r--r-- | math/cvc5/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile index 0a001a3f6813..566c591db89b 100644 --- a/math/cvc5/Makefile +++ b/math/cvc5/Makefile @@ -88,6 +88,6 @@ LICENSE= GPLv3 CMAKE_ARGS+= -DENABLE_GPL:BOOL=ON .endif -PORTSCOUT= limit:^cvc5-[1-9].* # prevent older generation versions like 1.8 +PORTSCOUT= limit:^[1-9]\.[0-9]+\.[0-9]+ # prevent older generation versions like 1.8, 1.7, etc. .include <bsd.port.mk> |