diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |