diff options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ # Generated by mksrcinfo v8 -# Sun Nov 20 05:19:29 UTC 2016 +# Sun Nov 20 05:21:18 UTC 2016 pkgbase = z3-bin - pkgdesc = An automatic theorem prover + pkgdesc = An automatic high-performance theorem prover pkgver = 4.5.0 pkgrel = 1 url = http://research.microsoft.com/en-us/um/redmond/projects/z3 @@ -4,7 +4,7 @@ pkgname=z3-bin pkgver=4.5.0 pkgrel=1 -pkgdesc="An automatic theorem prover" +pkgdesc="An automatic high-performance theorem prover" arch=(i686 x86_64) url="http://research.microsoft.com/en-us/um/redmond/projects/z3" license=('MIT') |