diff --git a/archachatina.nix b/archachatina.nix
index 9106111..d4ec5b6 100644
--- a/archachatina.nix
+++ b/archachatina.nix
@@ -16,6 +16,14 @@
     beets
     mediainfo
     flac
+
+    libreoffice
+    recoll
+    minisat
+    prover9
+    uvccapture
+    veriT
+    nix-repl
   ];
 
 }