Michael Gregson 9269d5823d tlaplus18: init at 1.8.0 ... This is a pre-release of version 1.8 of TLA+. It adds, among other things, a TLA+ REPL. Release Notes: https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0		2023-06-30 16:09:41 -07:00
..
astronomy	calcmysky: add stellarium to tests	2023-06-16 21:12:50 +08:00
biology	Merge pull request #239691 from r-ryantm/auto-update/diamond	2023-06-26 07:46:03 +02: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	Merge pull request #239646 from r-ryantm/auto-update/horizon-eda	2023-06-26 07:41:37 +02: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	tlaplus18: init at 1.8.0	2023-06-30 16:09:41 -07: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	dcmtk: enable tests	2023-01-13 00:29:28 -05:00
misc	openmvg: fixup build	2023-06-26 11:28:12 +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