Mario Rodas b2aee9c18e Merge pull request #230298 from jleightcap/jl/z3-4.12 ... z3: 4.12.1		2023-06-24 10:53:02 -05:00
..
astronomy	calcmysky: add stellarium to tests	2023-06-16 21:12:50 +08:00
biology	Merge pull request #237950 from bcdarwin/bppsuite-fix-homepage	2023-06-16 18:28:27 -05: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	verilator: 5.010 -> 5.012	2023-06-21 03:43:32 +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	Merge pull request #230298 from jleightcap/jl/z3-4.12	2023-06-24 10:53:02 -05:00
machine-learning	openbugs: init at 3.2.3	2023-05-28 12:58:37 +00:00
math	eigenmath: unstable-2023-05-12 -> unstable-2023-06-16	2023-06-22 16:40:56 +08:00
medicine
misc	treewide: remove mavenfod overrides	2023-06-20 19:54:51 +03: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