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 1/2] 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
   ];
 
 }

From 9dab3442c500184fd1b5177667318e76c82a3b7e Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Wed, 19 Aug 2015 17:45:11 +0200
Subject: [PATCH 2/2] add key for hydra.nixos.org

---
 common.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common.nix b/common.nix
index 9511791..dea1241 100644
--- a/common.nix
+++ b/common.nix
@@ -11,6 +11,7 @@
 
   nix.binaryCaches = [ https://hydra.nixos.org https://cache.nixos.org ];
   nix.trustedBinaryCaches = [ https://hydra.nixos.org https://cache.nixos.org ];
+  nix.binaryCachePublicKeys = [ "hydra.nixos.org-1:CNHJZBh9K4tP3EKF6FkkgeVYsS3ohTl+oS0Qa8bezVs=" ];
   nix.extraOptions = "auto-optimise-store = true";
 
   networking.networkmanager.enable = true;