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

Update packages.

This commit is contained in:
Gabriel Ebner 2019-01-15 10:37:51 +01:00
parent 4b5f4c9238
commit 86b86266e4
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
common-sw.nix
View File

@ -86,8 +86,8 @@
repo = "nixpkgs-channels";
};
stablePkgs = fetchNixPkgs {
rev = "230f98aa79b44229a3cbb8c0b9cd9f44d406b1c2";
sha256 = "1ijsiwsz68g0f5np1p2rhsgxrrslknqgp63f7jbziwgn4yp2xq8k";
rev = "001b34abcb4d7f5cade707f7fd74fa27cbabb80b";
sha256 = "1131z88p359bq0djjmqah9i25cgxabrfkw4a4a7qq6j0d6djkfig";
};
in {
# idea-community-eap = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {

8
large-sw.nix
View File

@ -3,11 +3,11 @@
{
environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
idea-community-eap
clion-eap
# clion-eap
texlive.combined.scheme-full biber
gimp
# inkscape
jabref
# jabref
stable.libreoffice-fresh
stablePkgs
# calibre
@ -20,9 +20,9 @@
elan
# coq
emacsPackages.proofgeneral
# emacsPackages.proofgeneral
virtmanager
# virtmanager
gnome3.baobab