diff options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Sun Nov 20 05:00:37 UTC 2016 +# Sun Nov 20 05:01:45 UTC 2016 pkgbase = z3-bin pkgdesc = An automatic theorem prover pkgver = 4.5.0 @@ -7,7 +7,7 @@ pkgbase = z3-bin url = http://research.microsoft.com/en-us/um/redmond/projects/z3 arch = i686 arch = x86_64 - license = custom + license = MIT source = https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x86-ubuntu-14.04.zip md5sums = 243d48eb4c3531f323056040b94459ad @@ -7,7 +7,7 @@ pkgrel=1 pkgdesc="An automatic theorem prover" arch=(i686 x86_64) url="http://research.microsoft.com/en-us/um/redmond/projects/z3" -license=('custom') +license=('MIT') source=("https://github.com/Z3Prover/z3/releases/download/z3-${pkgver}/z3-${pkgver}-x86-ubuntu-14.04.zip") md5sums=('243d48eb4c3531f323056040b94459ad') [[ "$CARCH" = x86_64 ]] && { |