1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 06:31:02 +00:00
nixpkgs/pkgs/applications/science
Vincent Laporte 798a87159b Coq: propagates the findlib package
So that Coq libraries that need it can easyly use it
2017-01-25 10:29:13 +00: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 Coq: propagates the findlib package 2017-01-25 10:29:13 +00: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