Gabriel Ebner be261a1ede isabelle: refactor ... Fixes #33337		2019-03-14 11:48:30 +01:00
..
astronomy	gildas: 20190301_a -> 20190301_b	2019-03-11 21:43:41 +01:00
biology	picard-tools: 2.18.25 -> 2.18.27	2019-03-11 03:37:34 -07:00
chemistry	Merge pull request #55299 from r-ryantm/auto-update/jmol	2019-02-06 13:15:46 +01:00
electronics	gtkwave: 3.3.98 -> 3.3.99	2019-03-03 17:13:47 +01:00
geometry	drgeo: add license + homepage	2018-09-08 14:42:12 +02:00
logic	isabelle: refactor	2019-03-14 11:48:30 +01:00
machine-learning	Fix sc2-headless map hash (#56320)	2019-02-25 01:08:12 +01:00
math	sage: fix docbuild (#57294)	2019-03-10 21:42:54 +00:00
medicine/aliza	treewide: transition mesa to libGLU_combined	2018-02-24 17:06:49 +02:00
misc	Merge pull request #56498 from ariutta/patch-1	2019-03-11 11:20:50 +08:00
molecular-dynamics	gromacs: 2018.4 -> 2019	2019-01-03 05:58:09 -08:00
physics	sherpa: 2.2.5 -> 2.2.6	2019-01-24 18:46:15 -05:00
programming	plm: remove dead homepage link, mark as broken	2018-09-02 01:46:25 +02:00
robotics	qgroundcontrol: fixes #49870	2018-11-14 13:12:20 +01:00
spyder	spyder: 3.2.8 -> 3.3.3	2019-02-17 14:40:54 +01:00