{ 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
  ] ++ (with aspellDicts; [ en de fr nl ]);

}