Date: Fri, 11 Jan 2019 07:24:46 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r489949 - head/devel/ikos Message-ID: <201901110724.x0B7Okp8080624@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Fri Jan 11 07:24:45 2019 New Revision: 489949 URL: https://svnweb.freebsd.org/changeset/ports/489949 Log: devel/ikos: Update 2.1-49 -> 2.1-52 They fixed the bug that I reported yesterday. Modified: head/devel/ikos/Makefile head/devel/ikos/distinfo head/devel/ikos/pkg-plist Modified: head/devel/ikos/Makefile ============================================================================== --- head/devel/ikos/Makefile Fri Jan 11 07:23:28 2019 (r489948) +++ head/devel/ikos/Makefile Fri Jan 11 07:24:45 2019 (r489949) @@ -2,8 +2,8 @@ PORTNAME= ikos DISTVERSIONPREFIX= v -DISTVERSION= 2.1-49 -DISTVERSIONSUFFIX= -g704adae +DISTVERSION= 2.1-52 +DISTVERSIONSUFFIX= -ge5db052 CATEGORIES= devel MAINTAINER= yuri@FreeBSD.org Modified: head/devel/ikos/distinfo ============================================================================== --- head/devel/ikos/distinfo Fri Jan 11 07:23:28 2019 (r489948) +++ head/devel/ikos/distinfo Fri Jan 11 07:24:45 2019 (r489949) @@ -1,3 +1,3 @@ -TIMESTAMP = 1546933907 -SHA256 (NASA-SW-VnV-ikos-v2.1-49-g704adae_GH0.tar.gz) = 160e0124058de648f1cf2275faaa2e0fa33e9940488f9e39688b5c7123c86cc7 -SIZE (NASA-SW-VnV-ikos-v2.1-49-g704adae_GH0.tar.gz) = 1254355 +TIMESTAMP = 1547093519 +SHA256 (NASA-SW-VnV-ikos-v2.1-52-ge5db052_GH0.tar.gz) = 82bd6636df96a0399f7025e1e97a7cc020262e53f784a4b50ceb52a6ded1b717 +SIZE (NASA-SW-VnV-ikos-v2.1-52-ge5db052_GH0.tar.gz) = 1253559 Modified: head/devel/ikos/pkg-plist ============================================================================== --- head/devel/ikos/pkg-plist Fri Jan 11 07:23:28 2019 (r489948) +++ head/devel/ikos/pkg-plist Fri Jan 11 07:24:45 2019 (r489949) @@ -18,7 +18,6 @@ include/ikos/ar/pass/name_values.hpp include/ikos/ar/pass/pass.hpp include/ikos/ar/pass/simplify_cfg.hpp include/ikos/ar/pass/simplify_upcast_comparison.hpp -include/ikos/ar/pass/unify_exit_nodes.hpp include/ikos/ar/semantic.hpp include/ikos/ar/semantic/bundle.hpp include/ikos/ar/semantic/code.hpp
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201901110724.x0B7Okp8080624>