2016-07-22 13:01:40 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
|
2022-03-20 14:58:40 +01:00
|
|
|
jetbrains.idea-community
|
2021-05-22 19:12:22 +02:00
|
|
|
# idea.clion
|
2016-07-22 13:01:40 +02:00
|
|
|
texlive.combined.scheme-full biber
|
|
|
|
gimp
|
2019-02-27 11:16:19 +01:00
|
|
|
inkscape
|
2019-01-15 10:37:51 +01:00
|
|
|
# jabref
|
2020-08-17 20:49:35 +02:00
|
|
|
libreoffice-fresh
|
2018-06-14 13:24:42 +02:00
|
|
|
# calibre
|
2022-11-26 03:46:27 +01:00
|
|
|
# goldendict
|
2017-06-29 13:41:37 +02:00
|
|
|
|
2020-11-12 14:16:43 +01:00
|
|
|
xournal
|
2022-01-12 21:38:34 +01:00
|
|
|
xournalpp
|
2020-11-05 13:24:45 +01:00
|
|
|
|
2017-01-28 08:28:50 +01:00
|
|
|
vscode
|
2021-05-24 19:22:25 +02:00
|
|
|
|
2020-06-07 11:21:11 +02:00
|
|
|
ccls
|
2021-05-24 19:22:25 +02:00
|
|
|
sumneko-lua-language-server
|
|
|
|
texlab
|
|
|
|
rnix-lsp
|
|
|
|
pyright
|
|
|
|
nodePackages.typescript-language-server
|
2021-05-25 21:05:27 +02:00
|
|
|
rust-analyzer
|
2016-07-22 13:01:40 +02:00
|
|
|
|
2020-05-22 11:17:53 +02:00
|
|
|
# stack
|
2017-09-22 20:24:13 +02:00
|
|
|
|
2018-06-10 15:14:20 +02:00
|
|
|
elan
|
2018-08-07 14:47:55 +02:00
|
|
|
# coq
|
2019-01-15 10:37:51 +01:00
|
|
|
# emacsPackages.proofgeneral
|
2018-01-06 11:29:04 +01:00
|
|
|
|
2019-01-15 10:37:51 +01:00
|
|
|
# virtmanager
|
2018-11-12 19:04:15 +01:00
|
|
|
|
2020-08-17 20:49:35 +02:00
|
|
|
(if lib.hasAttr "curaPlugins" pkgs then
|
2019-06-17 13:49:08 +02:00
|
|
|
cura.override {
|
2021-04-26 15:35:38 +02:00
|
|
|
plugins = with curaPlugins; [ octoprint rawmouse ];
|
2019-06-17 13:49:08 +02:00
|
|
|
}
|
|
|
|
else cura)
|
2019-05-14 15:50:46 +02:00
|
|
|
openscad
|
2020-07-19 18:37:57 +02:00
|
|
|
freecad
|
2020-10-10 15:48:15 +02:00
|
|
|
calculix
|
2019-05-14 15:50:46 +02:00
|
|
|
meshlab
|
|
|
|
|
2020-06-13 12:39:18 +02:00
|
|
|
audacious
|
2020-07-14 16:47:09 +02:00
|
|
|
flac
|
|
|
|
clementine
|
|
|
|
|
|
|
|
uvccapture
|
2020-06-13 12:39:18 +02:00
|
|
|
|
2019-05-14 15:50:46 +02:00
|
|
|
yarn
|
|
|
|
|
2018-11-18 13:14:46 +01:00
|
|
|
gnome3.baobab
|
|
|
|
|
2017-12-26 11:01:31 +01:00
|
|
|
rustup
|
2016-07-22 13:01:40 +02:00
|
|
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
|
|
|
|
2018-01-05 18:46:15 +01:00
|
|
|
programs.wireshark = {
|
|
|
|
enable = true;
|
|
|
|
package = pkgs.wireshark;
|
|
|
|
};
|
2020-11-21 11:28:14 +01:00
|
|
|
|
|
|
|
hardware.opengl.driSupport32Bit = true;
|
2018-01-05 18:46:15 +01:00
|
|
|
|
2016-07-22 13:01:40 +02:00
|
|
|
}
|