From 0c3d8008093fde6d20945335db70bf03174cc5da Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 9 Nov 2017 15:16:32 +0100
Subject: [PATCH] update stable checkout

---
 common-sw.nix | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/common-sw.nix b/common-sw.nix
index 875000c..00a9f61 100644
--- a/common-sw.nix
+++ b/common-sw.nix
@@ -75,7 +75,6 @@
     cvc4
     graphviz
     # toysolver
-    stable.haskellPackages.tip-lib
 
     emacsPackages.proofgeneral
 
@@ -90,8 +89,8 @@
       repo = "nixpkgs-channels";
     };
     stablePkgs = fetchNixPkgs {
-      rev = "5237768d62a40236d24fafbd9f4f97f3227399ce";
-      sha256 = "1j707pwm6ll2cvmqvwfxxq21gd9q7l6s3vi3vc01jklplj2v20is";
+      rev = "1a8a95e87962bc8ff8514b28e026fc987fbdb010";
+      sha256 = "1rx14g8wlw6vdjalsv6rnznmfsazwf218rv75z9ac2vdgwihclxh";
     };
   in {
     # idea-community-eap = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {