Commit message (Expand) | Author | Age | |
---|---|---|---|
* | z3: 4.8.5 -> 4.8.7 | Austin Seipp | 2019-12-14 |
* | z3: 4.8.4 -> 4.8.5 | Will Dietz | 2019-06-10 |
* | z3: Patch file to get rid of python error | Samuel W. Flint | 2019-02-14 |
* | z3-tptp: init | Michael Raskin | 2019-01-22 |
* | z3: 4.8.3 -> 4.8.4 | Austin Seipp | 2019-01-08 |
* | z3: 4.8.1 -> 4.8.3 | Will Dietz | 2018-11-27 |
* | z3: restrict to x86_64 | Jörg Thalheim | 2018-11-15 |
* | z3: 4.7.1 -> 4.8.1 | Will Dietz | 2018-10-16 |
* | z3: fix darwin build (#43526) | Mario Rodas | 2018-07-14 |
* | z3: move to multiple output packages | Austin Seipp | 2018-07-12 |
* | z3: 4.6.0 -> 4.7.1 | Will Dietz | 2018-05-30 |
* | nixpkgs: remove z3 4.5.0 | Austin Seipp | 2018-04-07 |
* | z3: also needs setuptools | Jörg Thalheim | 2018-02-14 |
* | z3: 4.5.0-2017-11-06 -> 4.6.0 | Austin Seipp | 2018-01-03 |
* | z3_4_5_0: New expression, to access the release version's API | John Wiegley | 2017-12-14 |
* | z3: update to latest git | Austin Seipp | 2017-11-09 |
* | use https://github.com for all homepages | Matthew Bauer | 2017-08-17 |
* | haskellPackages.z3: fix #16357 | Domen Kožar | 2017-01-03 |
* | z3: 4.4.1 -> 4.5.0 | Gabriel Ebner | 2016-11-08 |
* | z3: use python2 | Frederik Rietdijk | 2016-10-18 |
* | z3: 4.4.0 -> 4.4.1 | Ricardo M. Correia | 2016-01-21 |
* | nixpkgs: z3 4.3.2 -> 4.4.0 | Austin Seipp | 2015-06-11 |
* | nixpkgs: z3 is now MIT licensed. | Austin Seipp | 2015-03-28 |
* | z3: copy all headers into nix store | Eric Seidel | 2015-03-26 |
* | nixpkgs: z3 4.3.1 -> 4.3.2 | Austin Seipp | 2015-01-23 |
* | z3/verifast: update license | Austin Seipp | 2014-05-01 |
* | z3: version 4.3.1 | Austin Seipp | 2014-03-21 |