svn commit: r489949 - head/devel/ikos
Yuri Victorovich
yuri at FreeBSD.org
Fri Jan 11 07:24:47 UTC 2019
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 at 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
More information about the svn-ports-head
mailing list