Vincent Laporte e12230e716 why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) ... why3: 1.5.1 → 1.6.0 ocamlPackages.lambdapi: 2.2.1 → 2.3.1 Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>		2023-03-20 20:45:47 +01:00
..
astronomy	treewide: move NIX_CFLAGS_COMPILE to the env attrset	2023-02-22 21:23:04 +02:00
biology	Merge pull request #221743 from r-ryantm/auto-update/gatk	2023-03-20 14:33:37 +02:00
chemistry	openmolcas: 22.10 -> 23.02	2023-03-17 13:33:41 +01: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 #217922 from r-ryantm/auto-update/openboardview	2023-03-18 13:00:52 +02:00
engineering
geometry	gama: 2.23 -> 2.24	2023-03-16 00:43:50 +00:00
logic	why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986)	2023-03-20 20:45:47 +01:00
machine-learning	uarmsolver: 0.2.4 -> 0.2.5	2023-03-16 00:42:06 +00:00
math	sage: add libpng to sagelib	2023-03-19 19:33:36 +02:00
medicine
misc	Merge remote-tracking branch 'origin/master' into staging-next	2023-03-10 13:09:25 +01:00
molecular-dynamics	treewide:replace http by https when https is a permanent redirection	2023-02-19 21:47:59 +01:00
networking/sumo	Merge pull request #205310 from r-ryantm/auto-update/sumo	2023-03-17 12:56:48 +02:00
physics	sherpa: 2.2.13 -> 2.2.14 (#220016)	2023-03-07 12:47:54 -05:00
programming
robotics	mavproxy: migrate to wxPython_4_2	2023-03-19 10:29:51 +02:00