Skip to content
Snippets Groups Projects
Commit c148a597 authored by Christoph's avatar Christoph
Browse files

sparsehash debian package has been renamed to libsparsehash-dev

parent f60698a6
No related branches found
No related tags found
No related merge requests found
......@@ -30,7 +30,7 @@ On Ubuntu, install the following packages:
- libglpk-dev
- flex
- bison
- sparsehash
- sparsehash or libsparsehash-dev
- libbdd-dev
- libreadline-dev
- minisat
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment