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