diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Sun Nov 20 05:15:55 UTC 2016 +# Sun Nov 20 05:16:16 UTC 2016 pkgbase = z3-bin pkgdesc = An automatic theorem prover pkgver = 4.5.0 @@ -12,6 +12,10 @@ pkgbase = z3-bin makedepends = python depends = gcc-libs optdepends = python: bindings for python + provides = z3 + conflicts = z3 + conflicts = z3-git + conflicts = z3-codeplex source = https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x86-ubuntu-14.04.zip md5sums = 243d48eb4c3531f323056040b94459ad |