From 7b5dd349b34520bcc707c85ba0c6f04f637b744b Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 7 Aug 2014 21:59:10 +0200
Subject: [PATCH] Update README.

---
 README | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README b/README
index 9aa7130b..c9159aca 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
 ---------------------
-- 
GitLab