nixpkgs/pkgs/applications/science
Pascal Wittmann 89dfe67f81 Merge pull request #21819 from AtnNn/isabelle
isabelle: 2016 -> 2016-1
2017-01-13 21:58:57 +01:00
..
astronomy stellarium: 0.14.3 -> 0.15.0 2016-12-21 20:22:44 -05:00
biology igv: 2.3.77 -> 2.3.89 2016-12-23 19:37:10 -05:00
chemistry/avogadro avogadro: build documentation 2013-12-18 18:18:22 +02:00
electronics Remove redundant -DCMAKE_BUILD_TYPE=Release flags 2016-10-01 16:13:41 +02:00
geometry treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00
logic Merge pull request #21819 from AtnNn/isabelle 2017-01-13 21:58:57 +01:00
machine-learning/torch replace makeSearchPath tree-wise to take care of possible multiple outputs 2016-04-13 22:09:41 +03:00
math maxima: 5.38.1 -> 5.39.0 2017-01-02 21:53:21 +01:00
misc Merge branch 'master' into staging 2017-01-02 00:54:17 +01:00
molecular-dynamics treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
physics sherpa: add useful dependencies 2017-01-07 01:36:51 -05:00
programming/plm Revert "Added K Framework package." 2015-08-29 15:38:33 +02:00
robotics yarp: 2.3.66.1 -> 2.3.68 2016-11-28 17:03:19 +01:00
spyder Python: use PyPI mirror (#15001) 2016-04-26 13:38:03 +01:00