Peder Bergebakken Sundt be26c089e2 Merge pull request #309880 from jiegec/cbmc ... cbmc: 5.91.0 -> 5.95.1		2024-05-23 02:13:53 +02:00
..
astronomy	astrolog: 7.30 -> 7.70	2024-05-14 19:36:00 +02:00
biology	pkgs/applications: remove uneeded fetchpatch arguments	2024-05-21 03:12:20 +02:00
chemistry	treewide: remove unused occurence of fetchurl argument	2024-05-20 05:20:23 +02:00
computer-architecture	Merge pull request #288000 from trofi/timeloop-gcc-13-fix	2024-02-17 07:19:06 -05:00
electronics	pkgs/applications: remove uneeded fetchpatch arguments	2024-05-21 03:12:20 +02:00
engineering	Merge pull request #297196 from TomaSajt/brmodelo	2024-04-22 23:34:10 +02:00
geometry	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
logic	Merge pull request #309880 from jiegec/cbmc	2024-05-23 02:13:53 +02:00
machine-learning	labelImg: re-format with nixfmt-rfc-style	2024-03-31 00:33:13 +08:00
math	pkgs/applications: remove uneeded fetchpatch arguments	2024-05-21 03:12:20 +02:00
medicine	pkgs/applications: remove uneeded fetchpatch arguments	2024-05-21 03:12:20 +02:00
misc	python311Packages.snakemake: 8.11.3 -> 8.11.4 (#311726)	2024-05-14 18:43:12 -04:00
molecular-dynamics	gromacs: 2024 -> 2024.1	2024-05-13 17:42:15 +02:00
networking/sumo
physics	treewide: switch from opencascade-occt -> opencascade-occt_7_6	2024-05-05 20:43:44 +02:00
programming	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
robotics	mujoco: 3.1.4 -> 3.1.5	2024-05-07 23:31:59 +02:00