Vincent Laporte b0274abf85 tamarin-prover: 1.6.0 → 1.6.1 ... (cherry picked from commit 05838a1632cab4f0371356666ed57f0be01575a9)		2021-10-22 08:13:56 +02:00
..
astronomy	treewide: convert all links git.archlinux.org to github.com/archlinux/svntogit-*	2021-07-18 09:17:54 +00:00
biology	sambamba: fix darwin build	2021-05-22 20:56:09 +02:00
chemistry	marvin: 21.3.0 -> 21.9.0	2021-06-08 07:54:23 -07:00
electronics	eagle: put the desktop icon where it can be found	2021-08-25 19:13:01 +02:00
geometry	tetgen: 1.5.1 -> 1.6.0	2021-04-26 01:32:28 -04:00
logic	tamarin-prover: 1.6.0 → 1.6.1	2021-10-22 08:13:56 +02:00
machine-learning	Merge master into staging-next	2021-05-19 00:55:36 +00:00
math	sageWithDoc: fix documentation symlinks	2021-05-30 18:02:11 +00:00
medicine	dcmtk: support darwin platform	2021-08-31 03:51:53 -04:00
misc	root: use pure CoreSymbolication on Darwin	2021-07-01 13:56:15 -07:00
molecular-dynamics	…
networking/sumo	sumo: init at 1.8.0	2021-03-22 12:17:15 +01:00
physics	xfitter: remove `hardeningDisable = [ "format" ];` (#125001)	2021-05-30 19:13:01 -04:00
programming	treewide: makeWrapper buildInputs to nativeBuildInputs	2021-02-19 20:09:16 +07:00
robotics	Merge pull request #122759 from dotlambda/mono6	2021-05-18 01:25:35 +02:00