Update to the newest version

1 files changed, 4 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index dfd7024c4fff..aa5cafda0b31 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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