From a596b0719a415ea18da89061284f268b37d5c521 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 2 Jun 2016 20:55:12 +0200
Subject: [PATCH] updates

---
 common.nix | 19 ++++++++++++++++---
 uefi.nix   |  2 +-
 2 files changed, 17 insertions(+), 4 deletions(-)

diff --git a/common.nix b/common.nix
index 2899186..01d0d0c 100644
--- a/common.nix
+++ b/common.nix
@@ -10,7 +10,7 @@
 
   boot.kernelPackages = pkgs.linuxPackages_latest;
 
-  nix.useChroot = true;
+  nix.useSandbox = true;
   nix.binaryCaches = [ https://cache.nixos.org ];
   nix.trustedBinaryCaches = [ https://cache.nixos.org ];
   nix.extraOptions = ''
@@ -99,13 +99,24 @@
     why3
     graphviz
     # toysolver
-    tip-lib
+    stable.haskellPackages.tip-lib
 
     coq_8_5
     emacsPackages.proofgeneral_4_3_pre
   ] ++ (with aspellDicts; [ en de fr nl ]);
 
-  nixpkgs.config.packageOverrides = pkgs: rec {
+  nixpkgs.config.packageOverrides = pkgs: with pkgs; let
+    fetchNixPkgs = { rev, sha256 }:
+    fetchFromGitHub {
+      inherit sha256 rev;
+      owner = "NixOS";
+      repo = "nixpkgs-channels";
+    };
+    stable = import (fetchNixPkgs {
+      rev = "63b97855f15f5327565f6272def921b3203c8696";
+      sha256 = "1xhxrdpicdj73ff0vfjgyqkq9851cn9yh4c8pip3r2z4gff72jg6";
+    }) {};
+  in {
     idea.idea-community = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
         name = "idea-community-${version}";
         version = "2016.2.eap";
@@ -118,6 +129,8 @@
     neovim = pkgs.neovim.override {
       extraPythonPackages = [ pkgs.pythonPackages.websocket_client ];
     };
+
+    stable = stable;
   };
 
   nixpkgs.config.allowTexliveBuilds = true;
diff --git a/uefi.nix b/uefi.nix
index b571644..cdfd7c9 100644
--- a/uefi.nix
+++ b/uefi.nix
@@ -2,7 +2,7 @@
 
 {
   # Use the gummiboot efi boot loader.
-  boot.loader.gummiboot.enable = true;
+  boot.loader.systemd-boot.enable = true;
   boot.loader.efi.canTouchEfiVariables = true;
 
   boot.initrd.kernelModules = [ "fbcon" ];