1 files changed, 6 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 459f3d762324..9bd347d24dfc 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,15 @@
 pkgbase = btor2tools-git
 	pkgdesc = A generic parser and tool package for the BTOR2 format.
-	pkgver = r77.9831f99
+	pkgver = r79.6ba194b
 	pkgrel = 1
 	url = https://github.com/Boolector/btor2tools
-	arch = any
+	arch = x86_64
 	license = MIT
+	makedepends = git
+	makedepends = cmake
+	depends = gcc-libs
+	provides = btor2tools
 	source = git://github.com/Boolector/btor2tools.git
 	sha256sums = SKIP
-	sha512sums = SKIP
 
 pkgname = btor2tools-git
-