diff options
| -rw-r--r-- | shells/linux.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/shells/linux.nix b/shells/linux.nix index 1cdbbc50baa1..eaf2e7ecb2ca 100644 --- a/shells/linux.nix +++ b/shells/linux.nix @@ -9,6 +9,9 @@ with pkgs; # For make {n,menu}config ncurses + # For gcc plugins + gmp libmpc mpfr + # For documentation graphviz imagemagick python3Packages.sphinx python3Packages.sphinx_rtd_theme texlive.combined.scheme-minimal |