summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMaxime Arthaud2016-10-22 19:15:09 -0700
committerMaxime Arthaud2016-10-22 19:15:09 -0700
commit4edc760d57dae6533487d6094146d36682bc2ce0 (patch)
treefd1e8c943b412ea72657f31a164628ec441f89c8
parent63fcdff17fcb418c6f4cdc34d254cc3e9b007e92 (diff)
downloadaur-4edc760d57dae6533487d6094146d36682bc2ce0.tar.gz
Fix: forgot to update .SRCINFO
-rw-r--r--.SRCINFO8
1 files changed, 5 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 2b2423eb77d5..7874c208ab7b 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,8 @@
+# Generated by mksrcinfo v8
+# Sun Oct 23 02:14:54 UTC 2016
pkgbase = ikos
pkgdesc = A static analysis tool for C/C++ developed by NASA
- pkgver = 1.1.0
+ pkgver = 1.2
pkgrel = 1
url = https://ti.arc.nasa.gov/opensource/ikos/
arch = any
@@ -14,9 +16,9 @@ pkgbase = ikos
depends = llvm
depends = llvm-libs
depends = clang
- source = https://ti.arc.nasa.gov/m/opensource/downloads/ikos/ikos-1.1.0.tar.gz
+ source = https://ti.arc.nasa.gov/m/opensource/downloads/ikos-1.2.tar.gz
source = https://ti.arc.nasa.gov/m/opensource/downloads/ikos/IKOS_NASA_Open_Source_Agreement.pdf
- sha512sums = aee0e0851c6d7a05b1c9f12efd3dba71aafc889c93fcfe958970b88dc2b134ed193f06010501ff0d40f9e5834eb0866b89f17c2a9b3b144c96213f733273dc66
+ sha512sums = b8d594ae6fd2c6458242eeac30cd6350e2837705e5aae057133ab4a19457161c81c641b68043c807e488e15f352061cd29544c407ca10d7ad9bc98b33e7f44f9
sha512sums = 3caeffbe06254b3a181eee1f172bde48d7c8007e989b07928b0ce4e737759d5e2649d25419722c3b7a78ca8ddf408ce150a143490489641527cbcac479c241b7
pkgname = ikos