2016-07-22 11:01:40 +00:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
|
|
|
|
|
idea.idea-community
|
|
|
|
|
texlive.combined.scheme-full biber
|
|
|
|
|
androidsdk
|
|
|
|
|
gimp
|
|
|
|
|
inkscape
|
|
|
|
|
jabref
|
2016-08-01 07:11:06 +00:00
|
|
|
stable.libreoffice
|
2016-07-22 11:01:40 +00:00
|
|
|
stable.calibre
|
|
|
|
|
|
|
|
|
|
coq_8_5
|
|
|
|
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
|
|
|
|
|
|
|
|
|
}
|
