2016-07-22 11:01:40 +00:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
|
2016-09-21 13:11:17 +00:00
|
|
|
idea-community-eap
|
|
|
|
clion-eap
|
2016-07-22 11:01:40 +00:00
|
|
|
texlive.combined.scheme-full biber
|
2017-06-29 11:40:13 +00:00
|
|
|
# androidsdk
|
2016-07-22 11:01:40 +00:00
|
|
|
gimp
|
|
|
|
inkscape
|
|
|
|
jabref
|
2017-08-20 08:22:57 +00:00
|
|
|
libreoffice-fresh
|
|
|
|
#calibre
|
2017-06-29 11:41:37 +00:00
|
|
|
|
2017-08-26 08:55:28 +00:00
|
|
|
# qutebrowser
|
|
|
|
|
2017-08-20 17:30:11 +00:00
|
|
|
open-wbo # only in 17.09+
|
|
|
|
|
2017-01-28 07:28:50 +00:00
|
|
|
vscode
|
2017-06-29 11:41:37 +00:00
|
|
|
clang
|
2016-07-22 11:01:40 +00:00
|
|
|
|
2017-02-10 08:34:34 +00:00
|
|
|
coq_8_6
|
2016-12-26 16:22:22 +00:00
|
|
|
|
|
|
|
# cargo rustc
|
2016-07-22 11:01:40 +00:00
|
|
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
|
|
|
|
2016-12-26 16:22:22 +00:00
|
|
|
nixpkgs.config.packageOverrides = pkgs: with pkgs; {
|
|
|
|
myemacs = emacs25.override {
|
|
|
|
withGTK2 = false;
|
|
|
|
withGTK3 = true;
|
|
|
|
withXwidgets = true;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2016-07-22 11:01:40 +00:00
|
|
|
}
|