From 86b86266e468727f300ee74b00a63f2ad31ca974 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 15 Jan 2019 10:37:51 +0100
Subject: [PATCH] Update packages.

---
 common-sw.nix | 4 ++--
 large-sw.nix  | 8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/common-sw.nix b/common-sw.nix
index 3e9e860..9d61ff7 100644
--- a/common-sw.nix
+++ b/common-sw.nix
@@ -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 {
diff --git a/large-sw.nix b/large-sw.nix
index 842ad70..1e208c3 100644
--- a/large-sw.nix
+++ b/large-sw.nix
@@ -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