nixpkgs-suyu/pkgs/applications/science
Frederik Rietdijk 8963dae343 z3: use python2
2016-10-18 23:16:07 +02:00
..
astronomy gravit: fix build 2016-08-28 01:04:18 +03:00
biology minc_tools: don't run tests which have been failing since first pkged 2016-09-05 17:26:12 +01:00
chemistry/avogadro
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 z3: use python2 2016-10-18 23:16:07 +02:00
machine-learning/torch replace makeSearchPath tree-wise to take care of possible multiple outputs 2016-04-13 22:09:41 +03:00
math treewide: use ocaml.version (#19192) 2016-10-05 09:32:30 +02:00
misc Merge pull request #18740 from chris-martin/tulip-4-9 2016-09-20 14:34:17 +02:00
molecular-dynamics treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
programming/plm Revert "Added K Framework package." 2015-08-29 15:38:33 +02:00
robotics gazebo7: Fix gazebo-config.cmake output file 2016-09-27 10:30:27 +02:00
spyder Python: use PyPI mirror (#15001) 2016-04-26 13:38:03 +01:00