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
electronics	gerbv: 2.9.7 -> 2.9.8	2023-06-29 06:41:33 +00:00
engineering
geometry
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
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
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