John Wiegley bee172501d Merge pull request #37591 from vbgl/coq-88beta1 ... coq: init at 8.8+beta1		2018-03-23 22:09:06 -07:00
..
astronomy	Merge branch 'master'	2018-03-05 14:53:27 +01:00
biology	Merge pull request #36846 from jbedo/snpeff	2018-03-19 12:26:33 -05:00
chemistry	treewide: transition mesa to libGLU_combined	2018-02-24 17:06:49 +02:00
electronics	verilator: 3.920 -> 3.922	2018-03-21 13:09:37 -05:00
geometry
logic	Merge pull request #37591 from vbgl/coq-88beta1	2018-03-23 22:09:06 -07:00
machine-learning	shogun: add patch for json-c 0.13	2018-03-05 22:00:03 +01:00
math	Merge pull request #37224 from matthewbauer/auto-update/jags	2018-03-21 23:42:39 -05:00
medicine/aliza	treewide: transition mesa to libGLU_combined	2018-02-24 17:06:49 +02:00
misc	gephi: build from sources	2018-03-19 08:45:24 +00:00
molecular-dynamics
physics
programming	fdr: 4.2.0 -> 4.2.3	2017-12-29 02:01:31 +01:00
robotics	yarp: 2.3.68 -> 2.3.70.2	2018-03-09 19:41:31 -08:00
spyder	python: spyder: 3.2.6 -> 3.2.7	2018-02-26 18:44:17 +01:00