diff options
author | kaptoxic | 2016-11-20 00:21:20 -0500 |
---|---|---|
committer | kaptoxic | 2016-11-20 00:21:20 -0500 |
commit | 884f70fb960f06ead078f2b516c43f92f763670a (patch) | |
tree | 0319ea64849aa07d31f04c0672a6565bea9c2db2 /PKGBUILD | |
parent | 1cd1880e2e8061404bd1a1c75b0ffa7624709064 (diff) | |
download | aur-884f70fb960f06ead078f2b516c43f92f763670a.tar.gz |
Update description
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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') |