gebner/nixos-config
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add packages from theba.

Browse Source
This commit is contained in:
Gabriel Ebner 2015-09-11 07:14:03 +02:00
parent d5c7ef27a2
commit 399a6ce639
2 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
common.nix
View File

@ -50,6 +50,7 @@
chromium chromium
thunderbird thunderbird
qalculate-gtk qalculate-gtk
speedcrunch
viewnior viewnior
gnupg gnupg
pass xclip pwgen pass xclip pwgen
@ -67,7 +68,7 @@
vimPlugins.YouCompleteMe vimPlugins.YouCompleteMe
gdb gdb
mpv mpv
bind nmap wireshark-gtk bind nmap wireshark-gtk tcpdump telnet
dstat dstat
which which
zip zip
@ -78,6 +79,7 @@
mutt mutt
nix-prefetch-scripts nix-prefetch-scripts
nix-repl nix-repl
jq
texLiveFull biber texLiveFull biber
androidsdk_4_4 androidsdk_4_4
@ -112,6 +114,11 @@
z3 z3
why3 why3
graphviz graphviz
toysolver
tip-lib
coq_8_5
emacsPackages.proofgeneral_4_3_pre
nix-repl nix-repl
] ++ (with aspellDicts; [ en de fr nl ]); ] ++ (with aspellDicts; [ en de fr nl ]);

4
theba.nix
View File

@ -59,4 +59,8 @@
wpa_supplicant = pkgs.callPackage ./pkgs/wpa_supplicant { }; wpa_supplicant = pkgs.callPackage ./pkgs/wpa_supplicant { };
}; };
environment.systemPackages = with pkgs; [
unison
];
} }