Gabriel Ebner 5347d89420 Merge pull request #40093 from r-ryantm/auto-update/lean ... lean: 3.3.0 -> 3.4.1		2018-05-07 11:31:23 +02:00
..
astronomy
biology	Merge pull request #39740 from r-ryantm/auto-update/picard-tools	2018-05-04 17:21:50 -05:00
chemistry
electronics
geometry
logic	Merge pull request #40093 from r-ryantm/auto-update/lean	2018-05-07 11:31:23 +02:00
machine-learning	Merge pull request #39586 from MatrixAI/labelImg	2018-05-01 10:24:18 -05:00
math	mathematica: add mesa, fix libGL.so.1 not found messages	2018-05-04 13:10:26 +02:00
medicine/aliza
misc	treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linux	2018-04-30 18:12:10 -05:00
molecular-dynamics
physics
programming
robotics
spyder