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	celestia: clean up	2018-04-15 17:21:23 +02:00
biology	Merge pull request #39740 from r-ryantm/auto-update/picard-tools	2018-05-04 17:21:50 -05:00
chemistry	jmol: made it runnable	2018-04-25 22:42:07 +02:00
electronics	gtkwave: 3.3.87 -> 3.3.89	2018-03-31 12:23:34 -05:00
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	qgroundcontrol: 3.2.7 -> 3.3.0	2018-03-24 12:08:06 +01:00
spyder	python27Packages.spyder: 3.2.7 -> 3.2.8	2018-03-30 19:57:40 +01:00