From c41ea17778ff2fef4e75d56604ce1804e1985f33 Mon Sep 17 00:00:00 2001
From: Benjamin Beurdouche <benjamin.beurdouche@inria.fr>
Date: Tue, 13 Oct 2015 10:13:40 +0200
Subject: [PATCH] Homebrew formula is in process of being relocated from tap
 science to core

---
 INSTALL.md | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index a27a33daabc..a505e7bff15 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -35,18 +35,6 @@ features and bug fixes.
 
         $ make -C examples
 
-### Homebrew formula for Mac OS X ###
-
-On Macs you can also build and install the latest F\* release using Homebrew:
-
-        $ brew tap homebrew/science
-        $ brew install fstar
-
-For building and installing the latest F\* sources from GitHub (the master branch)
-instead of the latest release you can do:
-
-        $ brew --HEAD install fstar
-
 ## Building F* from sources ##
 
 If you have a serious interest in F\* or want to report bugs then we