diff options
Diffstat (limited to 'devel/ikos')
| -rw-r--r-- | devel/ikos/Makefile | 4 | ||||
| -rw-r--r-- | devel/ikos/distinfo | 6 | ||||
| -rw-r--r-- | devel/ikos/pkg-plist | 2 |
3 files changed, 5 insertions, 7 deletions
diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile index 3a4c2551026b..a921f578d359 100644 --- a/devel/ikos/Makefile +++ b/devel/ikos/Makefile @@ -2,9 +2,7 @@ PORTNAME= ikos DISTVERSIONPREFIX= v -DISTVERSION= 2.1-152 -DISTVERSIONSUFFIX= -gbf4ac4a -PORTREVISION= 3 +DISTVERSION= 2.2 CATEGORIES= devel MAINTAINER= yuri@FreeBSD.org diff --git a/devel/ikos/distinfo b/devel/ikos/distinfo index e4efa256d1e8..02787bd0b487 100644 --- a/devel/ikos/distinfo +++ b/devel/ikos/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1560361273 -SHA256 (NASA-SW-VnV-ikos-v2.1-152-gbf4ac4a_GH0.tar.gz) = c163071b1f56c75da72dce0acb6698c8d0dc8a6c206c802bd9e268e6301767b3 -SIZE (NASA-SW-VnV-ikos-v2.1-152-gbf4ac4a_GH0.tar.gz) = 1305042 +TIMESTAMP = 1567232625 +SHA256 (NASA-SW-VnV-ikos-v2.2_GH0.tar.gz) = 46f47045f199e25eac4f56876edcdc10c2f7b31a9347d437fa2073fca8cb97f1 +SIZE (NASA-SW-VnV-ikos-v2.2_GH0.tar.gz) = 1363251 diff --git a/devel/ikos/pkg-plist b/devel/ikos/pkg-plist index 30972d40e8f8..465e058ff325 100644 --- a/devel/ikos/pkg-plist +++ b/devel/ikos/pkg-plist @@ -168,7 +168,7 @@ include/ikos/frontend/llvm/pass.hpp lib/libikos-ar.so lib/libikos-llvm-to-ar.so lib/libikos-pp.so -%%PYTHON_SITELIBDIR%%/ikos-2.1-py%%PYTHON_VER%%.egg-info +%%PYTHON_SITELIBDIR%%/ikos-2.2-py%%PYTHON_VER%%.egg-info %%PYTHON_SITELIBDIR%%/ikos/__init__.py %%PYTHON_SITELIBDIR%%/ikos/__init__.pyc %%PYTHON_SITELIBDIR%%/ikos/abs_int.py |