Update INSTALL.md to 8.5pl1

mikeshulman · Apr 19, 2016 · 0fba17d · 0fba17d
1 parent cf6ccf2
commit 0fba17d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/INSTALL.md b/INSTALL.md
@@ -4,7 +4,7 @@ However, the latter cannot be used by people using git to contribute to the libr
 Opam support on windows is experimental.
 [1]: https://github.com/HoTT/HoTT/issues/694
 
-We are compatible with [Coq 8.5beta3](https://coq.inria.fr/distrib/V8.5beta3/files/), so binary packages can be used. Paths still need to be set manually.
+We are compatible with [Coq 8.5pl1](https://coq.inria.fr/distrib/V8.5pl1/files/), so binary packages can be used. Paths still need to be set manually.
 
 
 # QUICK INSTALLATION INSTRUCTIONS