Frederik Rietdijk 8963dae343 z3: use python2		2016-10-18 23:16:07 +02:00
..
default.nix	z3: use python2	2016-10-18 23:16:07 +02:00