aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devel/ikos/Makefile5
-rw-r--r--devel/ikos/distinfo6
2 files changed, 5 insertions, 6 deletions
diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile
index a44c9af8449b..7c697d380239 100644
--- a/devel/ikos/Makefile
+++ b/devel/ikos/Makefile
@@ -2,9 +2,8 @@
PORTNAME= ikos
DISTVERSIONPREFIX= v
-DISTVERSION= 2.1-69
-DISTVERSIONSUFFIX= -gbd6abc0
-PORTREVISION= 1
+DISTVERSION= 2.1-82
+DISTVERSIONSUFFIX= -g7113ac9
CATEGORIES= devel
MAINTAINER= yuri@FreeBSD.org
diff --git a/devel/ikos/distinfo b/devel/ikos/distinfo
index 78e3c421c795..e12e204751bd 100644
--- a/devel/ikos/distinfo
+++ b/devel/ikos/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1548473431
-SHA256 (NASA-SW-VnV-ikos-v2.1-69-gbd6abc0_GH0.tar.gz) = aeb2e576e16ede14edb93f962c2069f38abc2b1480869fb56c8b57696329d18c
-SIZE (NASA-SW-VnV-ikos-v2.1-69-gbd6abc0_GH0.tar.gz) = 1259272
+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