diff --git a/README b/README
index 9aa7130b93f920f64f28d849b2aa0d0376eae5f6..c9159aca85cad74a16be3fec27cd5241e68b9557 100644
--- a/README
+++ b/README
@@ -3,8 +3,9 @@ PREREQUISITES
 
 This version is known to compile with:
 
- - Coq 8.4pl1
+ - Coq 8.4pl3
  - SCons 2.0
+ - Ocaml 4.01.0
 
 BUILDING INSTRUCTIONS
 ---------------------