diff --git a/common-sw.nix b/common-sw.nix
index fe6618f..5246d58 100644
--- a/common-sw.nix
+++ b/common-sw.nix
@@ -28,6 +28,7 @@
     stable.goldendict
     patchelf
     bazaar
+    tokei
 
     pdfpc
 
@@ -51,6 +52,7 @@
     veriT
     minisat
     picosat
+    glucose
     prover9
     eprover
     metis-prover