sternenseemann ae679c40db tamarin-prover: pick patch for Stackage LTS 22 dependencies ... The provided patch is b3e18f61e4 cherry-picked onto the 1.8.0 release which required some conflict-solving		2024-03-22 12:13:05 +01:00
..
astronomy	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
biology	treewide: remove licenses.agpl3	2024-03-21 18:09:24 +02:00
chemistry	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
computer-architecture	Merge pull request #288000 from trofi/timeloop-gcc-13-fix	2024-02-17 07:19:06 -05:00
electronics	treewide: remove licenses.agpl3	2024-03-21 18:09:24 +02:00
engineering	strictdoc: cleanup file after pkgs/by-name move	2024-03-21 16:07:38 +01:00
geometry	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
logic	tamarin-prover: pick patch for Stackage LTS 22 dependencies	2024-03-22 12:13:05 +01:00
machine-learning	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
math	Merge pull request #284363 from roconnor/2024-01-msieve	2024-03-21 22:09:37 +01:00
medicine	dcmtk: 3.6.7 -> 3.6.8	2024-01-06 23:03:08 +01:00
misc	Merge pull request #281576 from yannham/refactor/cuda-setup-hooks-refactor	2024-03-19 20:06:18 +00:00
molecular-dynamics	Merge pull request #281576 from yannham/refactor/cuda-setup-hooks-refactor	2024-03-19 20:06:18 +00:00
networking/sumo
physics	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
programming	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
robotics	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00