nixpkgs/pkgs/applications/science
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