Austin Seipp 04002e2b71 tamarin-prover: 1.3.1 -> 1.4.0 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2018-05-07 11:17:49 -05: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	tamarin-prover: 1.3.1 -> 1.4.0	2018-05-07 11:17:49 -05: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	Merge pull request #39577 from veprbl/pr/pythia_8.235	2018-04-28 11:44:37 +01:00
programming
robotics
spyder