Austin Seipp 54ae0aa1b0 z3_opt: remove and replace with z3 ... Z3 has supported optimization features since the 4.4.x release, so this can be removed. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2017-09-02 04:19:11 -05:00
..
astronomy	xplanet: gcc6 patch	2017-08-30 11:04:26 -04:00
biology	poretools: version number to commit date	2017-08-18 09:59:26 -04:00
chemistry	Gwyddion: init at 2.48	2017-08-11 20:30:11 +02:00
electronics	iverilog: 2016.05.21 -> 2017.08.12	2017-09-02 04:19:11 -05:00
geometry	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
logic	z3_opt: remove and replace with z3	2017-09-02 04:19:11 -05:00
machine-learning/torch
math	gfan: 0.5 -> 0.6; #28643	2017-08-30 18:19:14 +02:00
medicine/aliza	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
misc	root: add noSplash option	2017-08-30 19:56:53 -04:00
molecular-dynamics	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
physics	sherpa: 2.2.1 -> 2.2.4	2017-08-31 14:32:05 -04:00
programming	scyther: Separated into two derivations	2017-07-23 03:17:38 +02:00
robotics
spyder