From 739b573c07127a9ec8fbb77014ab5c2c4bc8404a Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sat, 26 Mar 2016 17:50:15 +0100
Subject: [PATCH] Update intellij eap + new packages.

---
 common.nix | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/common.nix b/common.nix
index e70f81a..d5f746d 100644
--- a/common.nix
+++ b/common.nix
@@ -39,10 +39,10 @@
     openjdk8
     sbt scala
     idea.idea-community
-    firefoxWrapper
-    qutebrowser
+    # firefoxWrapper
+    # qutebrowser
     chromium
-    thunderbird
+    # thunderbird
     qalculate-gtk
     speedcrunch
     viewnior
@@ -57,6 +57,8 @@
     wireshark-gtk
     mutt
     goldendict
+    patchelf
+    bazaar
 
     (texlive.combine {
       inherit (texlive) scheme-full;
@@ -93,6 +95,7 @@
     metis-prover
     spass
     z3
+    cvc4
     why3
     graphviz
     # toysolver
@@ -105,10 +108,10 @@
   nixpkgs.config.packageOverrides = pkgs: rec {
     idea.idea-community = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
         name = "idea-community-${version}";
-        version = "16.eap";
+        version = "2016.1.eap";
         src = pkgs.fetchurl {
-          url = "https://download.jetbrains.com/idea/ideaIC-145.184.1-no-jdk.tar.gz";
-          sha256 = "a668605db805c8b4b3dc853d6b64788e7f9a370e4c52f7b28a56561c7df63fbc";
+          url = "https://download.jetbrains.com/idea/ideaIC-2016.1-no-jdk.tar.gz";
+          sha256 = "77b4195e7dd2047482200fff04cfa0f724bd60945cebdefbd8557d9a3aa70f1c";
         };
       });