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

update stable checkout

Browse Source
This commit is contained in:
Gabriel Ebner 2017-11-09 15:16:32 +01:00
parent 90ace13369
commit 0c3d800809
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
common-sw.nix
View File

@ -75,7 +75,6 @@
cvc4 cvc4
graphviz graphviz
# toysolver # toysolver
stable.haskellPackages.tip-lib
emacsPackages.proofgeneral emacsPackages.proofgeneral
@ -90,8 +89,8 @@
repo = "nixpkgs-channels"; repo = "nixpkgs-channels";
}; };
stablePkgs = fetchNixPkgs { stablePkgs = fetchNixPkgs {
rev = "5237768d62a40236d24fafbd9f4f97f3227399ce"; rev = "1a8a95e87962bc8ff8514b28e026fc987fbdb010";
sha256 = "1j707pwm6ll2cvmqvwfxxq21gd9q7l6s3vi3vc01jklplj2v20is"; sha256 = "1rx14g8wlw6vdjalsv6rnznmfsazwf218rv75z9ac2vdgwihclxh";
}; };
in { in {
# idea-community-eap = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec { # idea-community-eap = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {