diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2020-03-04 18:03:42 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2020-03-04 18:03:42 +0000 |
| commit | 11026f3b38dbe83fd75f79f037dced848844b1ed (patch) | |
| tree | 47833eaa3dc389a20b41f93b8daddd907233b40d /math/stp | |
| parent | 83d5d25b1d2b1530c8994c72a8a586efe7c5c4a5 (diff) | |
| download | ports-11026f3b38dbe83fd75f79f037dced848844b1ed.tar.gz ports-11026f3b38dbe83fd75f79f037dced848844b1ed.zip | |
math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was affected by this issue.
Notes
Notes:
svn path=/head/; revision=527792
Diffstat (limited to 'math/stp')
| -rw-r--r-- | math/stp/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index e53d66d6f537..a2dae5d4fc3d 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -3,7 +3,7 @@ PORTNAME= stp DISTVERSION= 2.3.3 -PORTREVISION= 3 +PORTREVISION= 4 PORTEPOCH= 1 CATEGORIES= math |