svn commit: r510329 - head/devel/ikos

[Yuri Victorovich]

Author: yuri
Date: Sat Aug 31 06:49:47 2019
New Revision: 510329
URL: https://svnweb.freebsd.org/changeset/ports/510329

Log:
  devel/ikos: Update 2.1-152 -> 2.2
  
  Reported by:	portscout

Modified:
  head/devel/ikos/Makefile
  head/devel/ikos/distinfo
  head/devel/ikos/pkg-plist

Modified: head/devel/ikos/Makefile
==============================================================================
--- head/devel/ikos/Makefile	Sat Aug 31 06:42:20 2019	(r510328)
+++ head/devel/ikos/Makefile	Sat Aug 31 06:49:47 2019	(r510329)
@@ -2,9 +2,7 @@
 
 PORTNAME=	ikos
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2.1-152
-DISTVERSIONSUFFIX=	-gbf4ac4a
-PORTREVISION=	3
+DISTVERSION=	2.2
 CATEGORIES=	devel
 
 MAINTAINER=	yuri at FreeBSD.org

Modified: head/devel/ikos/distinfo
==============================================================================
--- head/devel/ikos/distinfo	Sat Aug 31 06:42:20 2019	(r510328)
+++ head/devel/ikos/distinfo	Sat Aug 31 06:49:47 2019	(r510329)
@@ -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

Modified: head/devel/ikos/pkg-plist
==============================================================================
--- head/devel/ikos/pkg-plist	Sat Aug 31 06:42:20 2019	(r510328)
+++ head/devel/ikos/pkg-plist	Sat Aug 31 06:49:47 2019	(r510329)
@@ -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