Théo Zimmermann 1014f00cff Prepare Coq derivation for Coq 8.17 build infrastructure.		2022-07-08 14:54:04 +02:00
..
astronomy	kstars: 3.5.8 -> 3.5.9	2022-06-15 09:20:19 +02:00
biology	maintainers: remove metabar	2022-06-29 00:52:13 +02:00
chemistry	openmolcas: 22.02 -> 22.06	2022-06-17 13:49:13 +02:00
computer-architecture/qtrvsim	QtRVSim: 0.9.2 -> 0.9.3	2022-04-25 14:38:39 +03:00
electronics	Merge pull request #178552 from jiegec/gtkwave-darwin	2022-07-07 09:04:12 +02:00
engineering/brmodelo	brmodelo: init at 3.31	2022-04-08 11:45:42 -03:00
geometry	gama: 2.17 -> 2.19	2022-06-16 13:56:09 +02:00
logic	Prepare Coq derivation for Coq 8.17 build infrastructure.	2022-07-08 14:54:04 +02:00
machine-learning	maintainers: remove danharaj	2022-06-29 00:52:13 +02:00
math	Merge pull request #180294 from NixOS/r-updates	2022-07-06 15:43:09 +10:00
medicine	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
misc	snakemake: 7.8.3 -> 7.8.5 (#179874)	2022-07-04 12:24:26 -04:00
molecular-dynamics	gromacs: 2022.1 -> 2022.2	2022-06-17 10:54:56 +02:00
networking/sumo
physics	dawn: init at 3.91a	2022-06-16 19:05:08 -04:00
programming	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
robotics	Merge pull request #178569 from eintim/betaflight-configurator	2022-06-25 12:24:50 +02:00