weekly builds are now GitHub releases (thanks @dominique-unruh)

INSTALL.md

@@ -4,6 +4,7 @@
   * [OPAM package](#opam-package)
   * [Binary package](#binary-package)
     * [Installing a binary package](#installing-a-binary-package)
+    * [Using a binary package to compile OCaml code generated by F*](#using-a-binary-package-to-compile-ocaml-code-generated-by-f)
     * [Testing a binary package](#testing-a-binary-package)
   * [Running F* from a docker image](#running-f-from-a-docker-image)
   * [Chocolatey Package on Windows](#chocolatey-package-on-windows)
@@ -53,18 +54,15 @@ via Homebrew or Macports for the OPAM package of F\* to work
 
 ## Binary package ##
 
-Every year or so we release [F\* binaries on GitHub] (for Windows, Mac, and Linux)
-and for Windows and Linux we also try to provide [automatic weekly builds].
+Every week or so we release [F\* binaries on GitHub] (for Windows and Linux).
 This is a way to get F\* quickly running on your machine,
 but if the build you use is old you might be missing out on new
 features and bug fixes. Please do not report bugs in old releases
 until making sure they still exist in the `master` branch (see
 [OPAM package](#opam-package) above and
-[Building F\* from sources](#building-f-from-the-ocaml-sources) below)
-or in one of the recent [automatic weekly builds].
+[Building F\* from sources](#building-f-from-the-ocaml-sources) below).
 
 [F\* binaries on GitHub]: https://github.com/FStarLang/FStar/releases
-[automatic weekly builds]: https://github.com/FStarLang/binaries/tree/master/weekly
 
 Using a binary package allows you to use F* even if you do not want to
 install OCaml on your machine. You will be able to verify F* code, and