Théo Zimmermann 2bdeec6f84 coq: use dune_3 ... This is needed to build Coq dev and is compatible with all current releases of Coq that require Dune.		2023-06-14 14:33:36 +02:00
..
astronomy	gnuastro: 0.19 -> 0.20	2023-05-06 12:26:20 +00:00
biology	macs2: rename from MACS2	2023-06-13 21:47:47 +00:00
chemistry	jmol: 16.1.9 -> 16.1.13	2023-06-09 20:47:32 +00:00
computer-architecture
electronics	dataexplorer: 3.7.7 -> 3.7.8	2023-06-06 05:47:41 +00:00
engineering	strictdoc: 0.0.26 -> 0.0.40	2023-05-17 20:34:49 +02:00
geometry	antiprism: 0.29 -> 0.30	2023-05-13 13:57:15 -03:00
logic	coq: use dune_3	2023-06-14 14:33:36 +02:00
machine-learning	openbugs: init at 3.2.3	2023-05-28 12:58:37 +00:00
math	Merge pull request #234958 from NixOS/r-updates	2023-06-04 21:23:50 +10:00
medicine
misc	gplates: drop python39	2023-06-14 00:18:09 +03:00
molecular-dynamics	lammps: Add backwards compatible link to lmp_serial	2023-06-07 18:09:36 +03: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