Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |