diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -1,17 +1,15 @@ # Generated by mksrcinfo v8 -# Sun Nov 20 04:52:29 UTC 2016 +# Sun Nov 20 05:00:37 UTC 2016 pkgbase = z3-bin pkgdesc = An automatic theorem prover - pkgver = 4.1 + pkgver = 4.5.0 pkgrel = 1 url = http://research.microsoft.com/en-us/um/redmond/projects/z3 arch = i686 arch = x86_64 license = custom - source = http://research.microsoft.com/projects/z3/z3-4.1.tar.gz - source = http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/Z%203%20MSR-LA%20(2007-07-07).txt - md5sums = 4b7b4836264a7969f052cea45057e55b - md5sums = c5f05e7f2f95c796d5101069276d326f + source = https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x86-ubuntu-14.04.zip + md5sums = 243d48eb4c3531f323056040b94459ad pkgname = z3-bin |