Bobby Rong 9b59effb02 Merge pull request #154798 from collares/lean-3.38 ... lean: 3.37.0 -> 3.38.0		2022-01-17 21:40:56 +08:00
..
astronomy	astrolog: fix cross compilation	2022-01-09 09:22:51 +08:00
biology	Merge pull request #154687 from dotlambda/python-alias	2022-01-17 09:37:49 +01:00
chemistry	cp2k: 8.2.0 -> 9.1.0	2022-01-10 13:54:46 +01:00
electronics	horizon-eda: 2.1.0 -> 2.2.0	2022-01-15 22:09:09 +01:00
geometry	gama: 2.14 -> 2.16	2021-12-10 22:15:01 +00:00
logic	lean: 3.37.0 -> 3.38.0	2022-01-12 16:25:20 -03:00
machine-learning	python,pythonPackages: make aliases	2022-01-16 18:39:59 +00:00
math	calc: 2.14.0.13 -> 2.14.0.14	2022-01-11 02:54:44 +00:00
medicine	treewide: use mirror URLs where available	2021-11-06 01:56:39 +00:00
misc	python,pythonPackages: make aliases	2022-01-16 18:39:59 +00:00
molecular-dynamics	llvmPackages.libcxx: unset _LIBCPP_USE_AVAILABILITY_APPLE	2021-12-18 10:09:25 -05:00
networking/sumo
physics	elmerfem: 8.4 -> 9.0	2021-12-26 20:29:41 +01:00
programming	scyther: remove since it only supports Python 2	2021-12-07 17:58:03 +01:00
robotics	betaflight-configurator: 10.7.1 -> 10.7.2	2022-01-15 23:12:31 +01:00