Sandro e368149fcd Merge pull request #111003 from NieDzejkob/isabelle-vampire ...

isabelle: provide perl LWP for remote_vampire

2021-01-28 18:32:27 +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

Merge pull request #111003 from NieDzejkob/isabelle-vampire

2021-01-28 18:32:27 +01:00

machine-learning

treewide: remove stdenv where not needed

2021-01-25 18:31:47 +01:00

math

treewide: remove stdenv where not needed

2021-01-25 18:31:47 +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