summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 3 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index f5eb10bbbb93..3510f1767872 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,9 @@
+# Generated by mksrcinfo v8
+# Sat Dec 5 22:35:56 UTC 2015
pkgbase = cbmc-bin
pkgdesc = Bounded Model Checking for ANSI-C
pkgver = 5.3
- pkgrel = 1
+ pkgrel = 2
url = http://www.cprover.org/cbmc/
arch = i686
arch = x86_64