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