1 files changed, 2 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c0779e2916b4..bf5f8ea44c5e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = ikos-git
 	pkgdesc = Static analyzer for C and C++ developed by NASA
-	pkgver = 3.1.r436.2e64743
+	pkgver = 3.2.r481.1185cc8
 	pkgrel = 1
 	url = https://github.com/nasa-sw-vnv/ikos
 	arch = i686
@@ -20,6 +20,7 @@ pkgbase = ikos-git
 	depends = llvm14
 	depends = llvm14-libs
 	depends = clang14
+	depends = ppl
 	depends = apron
 	provides = ikos
 	source = ikos-git::git+http://github.com/nasa-sw-vnv/ikos.git