Date: Mon, 25 Feb 2019 02:06:15 +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: r493829 - head/devel/ikos Message-ID: <201902250206.x1P26FvI097957@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201902250206.x1P26FvI097957>