nixpkgs/pkgs/applications/science
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