Mario Rodas 214d726b92 Merge pull request #110487 from r-ryantm/auto-update/lean ... lean: 3.24.0 -> 3.25.0		2021-01-24 10:17:35 -05:00
..
astronomy	treewide: editorconfig fixes	2021-01-20 09:11:11 +10:00
biology	treewide: fix double quoted strings in meta.description	2021-01-24 19:56:59 +07:00
chemistry	mpi: use mpi attribute consistently as the default MPI implementations	2021-01-23 12:15:13 +01:00
electronics	mpi: use mpi attribute consistently as the default MPI implementations	2021-01-23 12:15:13 +01:00
geometry	treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix	2021-01-19 01:16:25 -08:00
logic	Merge pull request #110487 from r-ryantm/auto-update/lean	2021-01-24 10:17:35 -05:00
machine-learning	treewide: editorconfig fixes	2021-01-20 09:11:11 +10:00
math	treewide: fix double quoted strings in meta.description	2021-01-24 19:56:59 +07:00
medicine	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
misc	treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix	2021-01-19 01:16:25 -08: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