disable toysolver is it does not build atm

2015-10-01 08:59:59 +02:00 · 2015-10-01 08:59:59 +02:00 · 6f174a92bc
commit 6f174a92bc
parent 651c2ebd03
1 changed files with 1 additions and 1 deletions
--- a/common.nix
+++ b/common.nix
@ -93,7 +93,7 @@
    z3
    why3
    graphviz
-    toysolver
+    # toysolver
    tip-lib

    coq_8_5