{ config, pkgs, ... }:

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

    qutebrowser

    open-wbo # only in 17.09+

    vscode
    llvmPackages_5.clang

    stack

    lean
    coq

    electrum

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

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

  programs.wireshark = {
    enable = true;
    package = pkgs.wireshark;
  };
  users.extraUsers.gebner.extraGroups = [ "wireshark" ];

}