summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO2
1 files changed, 1 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ddff66f567e1..ab4f36e95320 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
# Generated by mksrcinfo v8
-# Sun Nov 20 05:12:26 UTC 2016
+# Sun Nov 20 05:14:50 UTC 2016
pkgbase = z3-bin
pkgdesc = An automatic theorem prover
pkgver = 4.5.0