From c148a597730b5a75b77ca1bc8a87daf9061c2776 Mon Sep 17 00:00:00 2001
From: Christoph Egger <christoph@christoph-egger.org>
Date: Tue, 15 Sep 2015 15:28:37 +0200
Subject: [PATCH] sparsehash debian package has been renamed to
 libsparsehash-dev

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 0296a79..fcc60be 100644
--- a/INSTALL
+++ b/INSTALL
@@ -30,7 +30,7 @@ On Ubuntu, install the following packages:
   - libglpk-dev
   - flex
   - bison
-  - sparsehash
+  - sparsehash or libsparsehash-dev
   - libbdd-dev
   - libreadline-dev
   - minisat
-- 
GitLab