upgrading package: z3 20160806 -> 20160916

9 years ago · 3a92978eff
1 changed files with 2 additions and 2 deletions
--- a/z3/z3.spec
+++ b/z3/z3.spec
@ -31,8 +31,8 @@ Distribution: OpenPKG Community
 Class:        EVAL
 Group:        Algorithm
 License:      MIT
-Version:      20160806
-Release:      20160806
+Version:      20160916
+Release:      20160917

 #   list of sources
 Source0:      http://download.openpkg.org/components/versioned/z3/z3-%{version}.tar.xz