Add glucose and tokei

2016-07-22 19:27:53 +02:00 · 2016-07-22 19:27:53 +02:00 · 8bcc0c1df6
parent 81f7ad4ff1
commit 8bcc0c1df6
1 changed files with 2 additions and 0 deletions
--- 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