4 commits

Author	SHA1	Message	Date
Eric Seidel	eff828a275	z3: copy all headers into nix store	2015-03-26 13:19:41 -07:00
Austin Seipp	d1b06927bc	nixpkgs: z3 4.3.1 -> 4.3.2 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2015-01-23 11:00:55 -06:00
Austin Seipp	7d58646b08	z3/verifast: update license ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-01 19:09:24 -05:00
Austin Seipp	2646eac8b2	z3: version 4.3.1 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-03-21 02:50:54 -05:00