]> git.pld-linux.org Git - packages/z3.git/history - z3.spec
projects / packages / z3.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- updated to 4.8.13
[packages/z3.git] / z3.spec
2021-12-20 Jakub Bogusz- updated to 4.8.13 blob | commitdiff | raw
2021-11-20 Jan Rękorajskirebuild with separate debuginfo build-ids auto/th/z3-4.8.7-4 blob | commitdiff | raw | diff to current
2021-03-27 Jan Rękorajski- update ocaml META file location auto/th/z3-4.8.7-3 blob | commitdiff | raw | diff to current
2021-03-26 Jan Rękorajski- release 2 (by relup.sh) auto/th/z3-4.8.7-2 blob | commitdiff | raw | diff to current
2021-02-28 Jan Rękorajski- unconditional noarch subpackages blob | commitdiff | raw | diff to current
2019-12-28 Jakub Bogusz- updated cmake options auto/th/z3-4.8.7-1 blob | commitdiff | raw | diff to current
2019-12-28 Jakub Bogusz- updated to 4.8.7 blob | commitdiff | raw | diff to current
2019-10-05 Jakub Bogusz- fix build without ocaml_opt auto/th/z3-4.8.5-1 blob | commitdiff | raw | diff to current
2019-10-05 Jakub Bogusz- updated to 4.8.5 blob | commitdiff | raw | diff to current
2013-05-16 Jan Rękorajski- new blob | commitdiff | raw | diff to current
High-performance theorem prover developed at Microsoft Research
This page took 0.189302 seconds and 17 git commands to generate.