diff options
| author | Dima Panov <fluffy@FreeBSD.org> | 2024-02-13 14:44:22 +0000 |
|---|---|---|
| committer | Dima Panov <fluffy@FreeBSD.org> | 2024-02-13 14:44:22 +0000 |
| commit | db616534ff99d6268997e2f30858891e20641a1e (patch) | |
| tree | e3937d423689a28e366962c6cb72528eede35bbb /math/cryptominisat | |
| parent | 83981262c4d664574bcf589a7668c3a157202e65 (diff) | |
| download | ports-db616534ff99d6268997e2f30858891e20641a1e.tar.gz ports-db616534ff99d6268997e2f30858891e20641a1e.zip | |
Diffstat (limited to 'math/cryptominisat')
| -rw-r--r-- | math/cryptominisat/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index 78fd49b95299..cfd898f90730 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,5 +1,6 @@ PORTNAME= cryptominisat DISTVERSION= 5.11.21 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org |