Guillaume Maudoux 33399c9de8 Merge pull request #229008 from whonore/dafny-4 ... dafny: 2.3.0 -> 4.0.0		2023-05-17 09:53:06 +02:00
..
astronomy	gnuastro: 0.19 -> 0.20	2023-05-06 12:26:20 +00:00
biology	Merge pull request #231975 from jbedo/fastp	2023-05-15 05:11:28 -06:00
chemistry	wxmacmolplt: fix typo	2023-05-12 10:41:17 +02:00
computer-architecture	treewide: env.NIX_CFLAGS_COMPILE use optionalString instead of optional	2023-02-22 21:23:05 +02:00
electronics	fritzing: added meta.mainProgram (#232059)	2023-05-15 21:16:15 +03:00
engineering	python310Packages.xlsxwriter: Normalize attribute & dirname	2023-02-19 22:32:10 +01:00
geometry	antiprism: 0.29 -> 0.30	2023-05-13 13:57:15 -03:00
logic	Merge pull request #229008 from whonore/dafny-4	2023-05-17 09:53:06 +02:00
machine-learning	streamlit: 1.18.1 -> 1.21.0	2023-04-15 11:23:01 +01:00
math	primesieve: 11.0 -> 11.1	2023-05-16 10:45:23 +00:00
medicine	dcmtk: enable tests	2023-01-13 00:29:28 -05:00
misc	boinc: 7.22.0 -> 7.22.1	2023-05-10 12:56:39 +02:00
molecular-dynamics	gromacs: 2023 -> 2023.1	2023-04-23 21:36:32 +02:00
networking/sumo	sumo: 1.16.0 -> 1.17.0	2023-04-29 09:39:15 +00:00
physics	crystfel: update dependencies	2023-05-12 07:41:39 +02:00
programming
robotics	betaflight-configurator: reduce size	2023-05-15 21:00:00 +02:00