diff --git a/common-sw.nix b/common-sw.nix
index 138f72d..bdb1a76 100644
--- a/common-sw.nix
+++ b/common-sw.nix
@@ -20,7 +20,7 @@
     remmina
     ledger
     hledger
-    # hledger-diff
+    hledger-diff
     cmake ninja
     mpv
     wireshark-gtk
@@ -70,7 +70,7 @@
     # toysolver
     stable.haskellPackages.tip-lib
 
-    emacsPackages.proofgeneral
+    emacsPackages.proofgeneral_HEAD
 
     stablePkgs # protect nixpkgs checkout from GC
   ] ++ (with aspellDicts; [ en de fr nl ]);
@@ -91,8 +91,8 @@
         name = "idea-community-${version}";
         version = "2017.1.eap";
         src = pkgs.fetchurl {
-          url = "https://download.jetbrains.com/idea/ideaIC-171.4424.14-no-jdk.tar.gz";
-          sha256 = "f8f880b8f5a670ea167031804728fbbe9d9694c306c15b286fb8a90cc1cf1841";
+          url = "https://download.jetbrains.com/idea/ideaIC-171.4694.9-no-jdk.tar.gz";
+          sha256 = "2e61baaa3709176803df07ac789abe71b837c09801334a580e6de4935b3ce5f0";
         };
       });