Gabriel Ebner b7fe801cce Merge pull request #111117 from r-ryantm/auto-update/lean ... lean: 3.25.0 -> 3.26.0		2021-01-29 11:04:43 +01:00
..
astronomy	treewide: editorconfig fixes	2021-01-20 09:11:11 +10:00
biology	sortmerna: mark broken on darwin	2021-01-26 12:55:33 -05:00
chemistry	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
electronics	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
geometry	treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix	2021-01-19 01:16:25 -08:00
logic	lean: 3.25.0 -> 3.26.0	2021-01-29 05:15:16 +00:00
machine-learning	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
math	Merge pull request #108172 from sikmir/geogebra	2021-01-29 02:19:06 +01:00
medicine	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
misc	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
molecular-dynamics	mpi: use mpi attribute consistently as the default MPI implementations	2021-01-23 12:15:13 +01:00
physics	mpi: use mpi attribute consistently as the default MPI implementations	2021-01-23 12:15:13 +01:00
programming	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
robotics	treewide: editorconfig fixes	2021-01-20 09:11:11 +10:00