Pierre Roux 197b4434c9 coqPackages.coq: 8.20+rc1 -> 8.20.0		2024-09-04 16:01:47 +02:00
..
astronomy	lib.platforms.mesaPlatforms: remove	2024-08-31 10:28:31 +02:00
biology	jbrowse: 2.13.1 -> 2.14.0 (#338101)	2024-09-03 15:17:57 -04:00
chemistry	lib.platforms.mesaPlatforms: remove	2024-08-31 10:28:31 +02:00
computer-architecture
electronics	nvc: 1.13.2 -> 1.13.3	2024-08-24 16:42:54 +00:00
engineering
geometry
logic	coqPackages.coq: 8.20+rc1 -> 8.20.0	2024-09-04 16:01:47 +02:00
machine-learning
math	treewide: Fix or remove some markdown links	2024-09-03 23:37:05 +02:00
medicine	dcmtk: remove 'with lib;'	2024-08-16 16:09:03 +02:00
misc	fityk: unpin swig3	2024-08-27 00:21:46 -04:00
molecular-dynamics	lammps: 2Aug2023_update3 -> 2Aug2023_update4	2024-08-29 03:20:17 +00:00
networking/sumo	sumo: unpin FFmpeg 4	2024-08-21 23:01:51 +01:00
physics
programming
robotics	treewide: avoid string-concatenating cmakeFlags (#336178)	2024-09-01 12:35:24 +00:00