From b11f571b075b063ba513d6dcc7a213e5eac7b01c Mon Sep 17 00:00:00 2001 From: Christian Neukirchen Date: Sat, 28 Mar 2015 17:54:36 +0100 Subject: [PATCH] z3: revbump for rebuild --- srcpkgs/z3/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template index 5b533ae7437..7bc579617e6 100644 --- a/srcpkgs/z3/template +++ b/srcpkgs/z3/template @@ -1,7 +1,7 @@ # Template file for 'z3' pkgname=z3 version=4.3.2 -revision=1 +revision=2 _gitrev=ac21ffebdf1512da2a77dc46c47bde87cc3850f3 wrksrc=${pkgname}-${_gitrev} hostmakedepends="python"