diff --git a/README b/README
index 33b1b331d633b9dcee07fb29eae8453277e0a838..de2d292d38f20214260697d6c29040d17a053358 100644
--- a/README
+++ b/README
@@ -3,7 +3,7 @@ PREREQUISITES
 
 This version is known to compile with:
 
- - Coq 8.4pl3
+ - Coq 8.4pl5
  - SCons 2.0
  - Ocaml 4.01.0
  - GNU C preprocessor 4.7