svn commit: r493829 - head/devel/ikos
Yuri Victorovich
yuri at FreeBSD.org
Mon Feb 25 02:06:16 UTC 2019
Author: yuri
Date: Mon Feb 25 02:06:14 2019
New Revision: 493829
URL: https://svnweb.freebsd.org/changeset/ports/493829
Log:
devel/ikos: Update 2.1-82 -> 2.1-104
Modified:
head/devel/ikos/Makefile
head/devel/ikos/distinfo
head/devel/ikos/pkg-plist
Modified: head/devel/ikos/Makefile
==============================================================================
--- head/devel/ikos/Makefile Mon Feb 25 00:40:56 2019 (r493828)
+++ head/devel/ikos/Makefile Mon Feb 25 02:06:14 2019 (r493829)
@@ -2,8 +2,8 @@
PORTNAME= ikos
DISTVERSIONPREFIX= v
-DISTVERSION= 2.1-82
-DISTVERSIONSUFFIX= -g7113ac9
+DISTVERSION= 2.1-104
+DISTVERSIONSUFFIX= -g5244fd8
CATEGORIES= devel
MAINTAINER= yuri at FreeBSD.org
Modified: head/devel/ikos/distinfo
==============================================================================
--- head/devel/ikos/distinfo Mon Feb 25 00:40:56 2019 (r493828)
+++ head/devel/ikos/distinfo Mon Feb 25 02:06:14 2019 (r493829)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1549307924
-SHA256 (NASA-SW-VnV-ikos-v2.1-82-g7113ac9_GH0.tar.gz) = 8f1c31c6f665959a17469491382b6cd4343fabf6e1335db3132c1c6893f61293
-SIZE (NASA-SW-VnV-ikos-v2.1-82-g7113ac9_GH0.tar.gz) = 1262513
+TIMESTAMP = 1551059458
+SHA256 (NASA-SW-VnV-ikos-v2.1-104-g5244fd8_GH0.tar.gz) = aba561ba808f3c2e9b0dd94c365f43eb11e993f0c4b107d228e5dc60d01b5263
+SIZE (NASA-SW-VnV-ikos-v2.1-104-g5244fd8_GH0.tar.gz) = 1272263
Modified: head/devel/ikos/pkg-plist
==============================================================================
--- head/devel/ikos/pkg-plist Mon Feb 25 00:40:56 2019 (r493828)
+++ head/devel/ikos/pkg-plist Mon Feb 25 02:06:14 2019 (r493829)
@@ -27,6 +27,7 @@ include/ikos/ar/semantic/function.hpp
include/ikos/ar/semantic/intrinsic.hpp
include/ikos/ar/semantic/statement.hpp
include/ikos/ar/semantic/statement_visitor.hpp
+include/ikos/ar/semantic/symbol_table.hpp
include/ikos/ar/semantic/type.hpp
include/ikos/ar/semantic/type_visitor.hpp
include/ikos/ar/semantic/value.hpp
More information about the svn-ports-head
mailing list