diff --git a/INSTALL b/INSTALL index fcc60be908066a404a423fd77b7c5feda3bc48be..d6399d8a1a006d5112177b3284ad0dba73fbb38d 100644 --- a/INSTALL +++ b/INSTALL @@ -21,7 +21,7 @@ Dependencies: * Googlesparsehash package * BuDDy BDD package. -On Ubuntu, install the following packages: +On Debian or Ubuntu, install the following packages: - git - build-essential