Théo Zimmermann 29cf8484ab Merge pull request #240656 from vbgl/coq-8.17.1 ... coq: 8.17.0 → 8.17.1		2023-06-30 14:26:08 +02:00
..
astronomy	calcmysky: add stellarium to tests	2023-06-16 21:12:50 +08:00
biology	mosdepth: 0.3.3 -> 0.3.4	2023-06-28 10:52:42 +00:00
chemistry	openmolcas: fix hash	2023-06-19 15:11:32 +02:00
computer-architecture	treewide: env.NIX_CFLAGS_COMPILE use optionalString instead of optional	2023-02-22 21:23:05 +02:00
electronics	gerbv: 2.9.7 -> 2.9.8	2023-06-29 06:41:33 +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: 8.17.0 → 8.17.1	2023-06-30 06:48:15 +02:00
machine-learning	streamlit: 1.21.0 -> 1.24.0 (#240248)	2023-06-28 17:08:47 +02:00
math	Merge pull request #239891 from NixOS/r-updates	2023-06-29 13:14:20 +10:00
medicine	dcmtk: enable tests	2023-01-13 00:29:28 -05:00
misc	snakemake: 7.25.3 -> 7.29.0 (#240263)	2023-06-28 17:09:10 +02:00
molecular-dynamics	lammps-mpi: Use a generic extraBuildInputs instead of withMpi	2023-06-21 23:03:57 +03:00
networking/sumo	sumo: 1.16.0 -> 1.17.0	2023-04-29 09:39:15 +00:00
physics	crystfel: fix x86_64 hash (#238606)	2023-06-20 08:32:03 +02:00
programming
robotics	Merge pull request #229525 from lopsided98/mavproxy-update	2023-06-16 16:12:53 +03:00