Austin Seipp 063e4dca79 z3: update to latest git ... This has some nice improvements, like new string and real arithmetic solvers. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2017-11-09 13:20:01 -06:00
..
astronomy	misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs	2017-09-21 15:49:53 -04:00
biology	bowtie2: init at 2.3.3.1	2017-10-22 00:11:49 +02:00
chemistry	misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs	2017-09-21 15:49:53 -04:00
electronics	ngspice: Build shared library	2017-11-02 19:26:06 -04:00
geometry	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
logic	z3: update to latest git	2017-11-09 13:20:01 -06:00
machine-learning	shogun: init at 6.0.0	2017-10-29 10:20:55 +01:00
math	Restrict platforms to what is known to work.	2017-11-06 01:25:04 +00:00
medicine/aliza	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
misc	fix source root locations.	2017-11-02 13:53:36 +00: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	treewide: Manual fix more pkg-config build-inputs	2017-09-21 15:49:54 -04:00
spyder	python.pkgs.spyder: remove maintainers	2017-06-23 10:44:42 +02:00