From 18f43bf1f05d3cf0fe3a4f453986ed6710cdc4bc Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 9 Jan 2013 20:50:36 +0100
Subject: [PATCH] Bump Coq version.

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

diff --git a/README b/README
index 5fd99020..9aa7130b 100644
--- a/README
+++ b/README
@@ -3,7 +3,7 @@ PREREQUISITES
 
 This version is known to compile with:
 
- - Coq 8.4  
+ - Coq 8.4pl1
  - SCons 2.0
 
 BUILDING INSTRUCTIONS
-- 
GitLab