archachatina: add local packages

2015-08-19 17:45:00 +02:00 · 2015-08-19 17:45:00 +02:00 · 97a713cb53
commit 97a713cb53
parent bc1c2a198a
1 changed files with 8 additions and 0 deletions
--- a/archachatina.nix
+++ b/archachatina.nix
@ -16,6 +16,14 @@
    beets
    mediainfo
    flac
+
+    libreoffice
+    recoll
+    minisat
+    prover9
+    uvccapture
+    veriT
+    nix-repl
  ];

 }