{ config, pkgs, ... }:

{
  environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
    idea-community-eap
    clion-eap
    texlive.combined.scheme-full biber
    androidsdk
    gimp
    inkscape
    jabref
    stable.libreoffice
    stable.calibre
    atom

    coq_8_5

    myemacs

    # cargo rustc
  ] ++ (with aspellDicts; [ en de fr nl ]);

  nixpkgs.config.packageOverrides = pkgs: with pkgs; {
    myemacs = emacs25.override {
      withGTK2 = false;
      withGTK3 = true;
      withXwidgets = true;
    };
  };

}