From 8bcc0c1df67cb6d16fb08e0f4dccbde5f6679aec Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Fri, 22 Jul 2016 19:27:53 +0200
Subject: [PATCH] Add glucose and tokei

---
 common-sw.nix | 2 ++
 1 file changed, 2 insertions(+)

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