From 286e6d70e1411774c7b16db0bdf18fd6ff98d958 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sun, 22 Nov 2015 14:04:22 +0100
Subject: [PATCH] disable broken tip-lib

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

diff --git a/common.nix b/common.nix
index 84826c5..084c9d4 100644
--- a/common.nix
+++ b/common.nix
@@ -96,7 +96,7 @@
     why3
     graphviz
     # toysolver
-    tip-lib
+    # tip-lib
 
     coq_8_5
     emacsPackages.proofgeneral_4_3_pre