Devon Richards 7a16349789 lean: 3.23.0 -> 3.24.0 ... We have to update to be able to use the current version of mathlib.		2021-01-06 21:38:04 -06:00
..
astronomy	Merge pull request #107416 from hjones2199/phd2wrap	2021-01-05 20:09:24 +00:00
biology	Merge pull request #108437 from jbedo/varscan	2021-01-06 00:19:30 +01:00
chemistry	Merge pull request #107223 from markuskowa/upd-qe	2021-01-04 14:33:37 +01:00
electronics	magic-vlsi: 8.3.80 -> 8.3.109	2021-01-05 10:49:00 -03:00
geometry	gama: 2.09 -> 2.12	2020-12-23 16:58:32 +00:00
logic	lean: 3.23.0 -> 3.24.0	2021-01-06 21:38:04 -06:00
machine-learning	treewide: remove package names from prefix of descriptions	2020-10-27 09:15:07 -07:00
math	sympy: 1.6.2 -> 1.7.1 (#107663)	2021-01-06 17:10:30 +00:00
medicine
misc	Merge pull request #107962 from flyfloh/colmap-36	2021-01-04 14:25:21 +01:00
molecular-dynamics	ViennaRNA: init at 2.4.17	2021-01-02 18:53:31 +01:00
physics	xflr5: migrate to Qt5.15	2020-11-20 22:24:19 +01:00
programming	treewide: remove package names from prefix of descriptions	2020-10-27 09:15:07 -07:00
robotics	Merge pull request #108190 from lopsided98/qgroundcontrol-update	2021-01-02 09:55:16 +01:00