From 97a713cb53f0a01e507fafd9077590e48fa1ce2f Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Wed, 19 Aug 2015 17:45:00 +0200
Subject: [PATCH] archachatina: add local packages

---
 archachatina.nix | 8 ++++++++
 1 file changed, 8 insertions(+)

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
   ];
 
 }