{ 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
    stablePkgs
    # calibre
    goldendict

    vscode
    llvmPackages_5.clang

    stack

    elan
    coq
    emacsPackages.proofgeneral

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

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

}