Homebrew formula is in process of being relocated from tap science to…

… core
FStarLang · Oct 13, 2015 · c41ea17 · c41ea17
1 parent 7bd0132
commit c41ea17
Showing 1 changed file with 0 additions and 12 deletions.
diff --git 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