Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new Z3 4.3.2 component, based on more recent repository version, and whose Mac binary was built on Mac OS X 10.7
authorblanchet
Tue, 03 Jun 2014 14:38:41 +0200
changeset 57167 d42a5c885cd5
parent 57165 7b1bf424ec5f
child 57168 af95a414136a
new Z3 4.3.2 component, based on more recent repository version, and whose Mac binary was built on Mac OS X 10.7
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Jun 03 11:43:07 2014 +0200
+++ b/Admin/components/components.sha1	Tue Jun 03 14:38:41 2014 +0200
@@ -95,3 +95,4 @@
 d94a716502c8503d63952bcb4d4176fac8b28704  z3-4.0.tar.gz
 86e721296c400ada440e4a9ce11b9e845eec9e25  z3-4.3.0.tar.gz
 06b30757ff23aefbc30479785c212685ffd39f4d  z3-4.3.2pre.tar.gz
+a8917c31b31c182edeec0aaa48870844960c8a61  z3-4.3.2pre-1.tar.gz
--- a/Admin/components/main	Tue Jun 03 11:43:07 2014 +0200
+++ b/Admin/components/main	Tue Jun 03 14:38:41 2014 +0200
@@ -12,6 +12,6 @@
 scala-2.11.1
 spass-3.8ds
 z3-3.2-1
-z3-4.3.2pre
+z3-4.3.2pre-1
 xz-java-1.2-1
 ProofGeneral-4.2-1
isabelle