Théo Zimmermann 387cd36d7d Merge pull request #207995 from Artturin/fixtypocoq ... coqPackages.coq: fix typo		2022-12-27 20:04:32 +01:00
..
astronomy	stellarium: 1.1 -> 1.2	2022-12-26 17:16:12 +01:00
biology	itk: unstable -> 5.3.0	2022-12-27 09:06:37 +01:00
chemistry	treewide: mark packages broken that never built on PLATFORM	2022-12-13 21:40:12 +01:00
computer-architecture	Merge pull request #199078 from gdinh/add-timeloop	2022-12-09 09:13:02 +01:00
electronics	vhd2vl: unstable-2018-09-01 -> unstable-2022-12-26	2022-12-26 14:11:23 +01:00
engineering	python3Packages.dataclasses: drop	2022-11-29 01:34:58 +01:00
geometry
logic	coqPackages.coq: fix typo	2022-12-27 20:44:32 +02:00
machine-learning	streamlit: 1.15.0 -> 1.16.0	2022-12-24 04:53:42 +00:00
math	Merge pull request #207933 from r-ryantm/auto-update/polymake	2022-12-27 12:51:37 -03:00
medicine
misc	Merge pull request #205394 from ShamrockLee/root-update	2022-12-17 19:58:37 -05:00
molecular-dynamics	treewide: fix typos	2022-12-17 19:39:44 -05:00
networking/sumo
physics	Merge pull request #205900 from pmiddend/crystfel-fix-patch	2022-12-16 10:30:24 +01:00
programming
robotics	mujoco: init at 2.3.0 (#198145)	2022-10-29 11:47:32 -07:00