diff --git a/common.nix b/common.nix
index fe81d61..a4dad5b 100644
--- a/common.nix
+++ b/common.nix
@@ -50,6 +50,7 @@
     chromium
     thunderbird
     qalculate-gtk
+    speedcrunch
     viewnior
     gnupg
     pass xclip pwgen
@@ -67,7 +68,7 @@
     vimPlugins.YouCompleteMe
     gdb
     mpv
-    bind nmap wireshark-gtk
+    bind nmap wireshark-gtk tcpdump telnet
     dstat
     which
     zip
@@ -78,6 +79,7 @@
     mutt
     nix-prefetch-scripts
     nix-repl
+    jq
 
     texLiveFull biber
     androidsdk_4_4
@@ -112,6 +114,11 @@
     z3
     why3
     graphviz
+    toysolver
+    tip-lib
+
+    coq_8_5
+    emacsPackages.proofgeneral_4_3_pre
 
     nix-repl
   ] ++ (with aspellDicts; [ en de fr nl ]);
diff --git a/theba.nix b/theba.nix
index 154b7eb..83b6ef4 100644
--- a/theba.nix
+++ b/theba.nix
@@ -59,4 +59,8 @@
     wpa_supplicant = pkgs.callPackage ./pkgs/wpa_supplicant { };
   };
 
+  environment.systemPackages = with pkgs; [
+    unison
+  ];
+
 }