From 468ed8a9c7b7ad749959018261b7c99d9cfa352a Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Fri, 9 Jun 2017 09:50:38 -0700
Subject: [PATCH] [infer][PR] Also mention the code name of the Debian versions

Summary: Closes https://github.com/facebook/infer/pull/663

Differential Revision: D5217433

Pulled By: jvillard

fbshipit-source-id: 04d99d5
---
 INSTALL.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 4563ac84b..f8499be3e 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -102,7 +102,7 @@ sudo make install
 Here are instructions on how to install the dependencies needed to
 compile Infer on a few Linux distributions.
 
-### Debian 7 and Ubuntu 14.04 LTS
+### Debian 7 (Wheezy) and Ubuntu 14.04 LTS
 
 ```sh
 sudo apt-get update
@@ -123,7 +123,7 @@ sudo apt-get install -y \
   zlib1g-dev
 ```
 
-### Debian 8
+### Debian 8 (Jessie)
 
 ```sh
 sudo apt install -y \