diff --git a/INSTALL.md b/INSTALL.md
index 01ee9aa..b871f1c 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -1,8 +1,8 @@
 # Installation
 
 Idris 2 is built using Idris, and provides support for three default code
-generation targets: Chez, Chicken, and Racket. It currently requires the
-(not yet released) latest Idris master.
+generation targets: Chez, Chicken, and Racket.  It requires at least Idris
+version 1.3.2 (see https://www.idris-lang.org/download)
 
 ## Idris
 
diff --git a/README.md b/README.md
index 30fb58f..fb180c2 100644
--- a/README.md
+++ b/README.md
@@ -3,8 +3,7 @@ Idris 2
 
 This is a pre-alpha implementation of Idris 2, the successor to Idris.
 
-*** Please note: This currently requires currently requires the (not yet
-released) latest Idris master. See https://github.com/idris-lang/Idris-dev/ ***
+*** Please note: To build, these requires Idris version 1.3.2 ***
 
 Idris 2 is mostly backwards compatible with Idris 1, with some minor
 exceptions. The most notable user visible differences, which might cause Idris