From 1718e7be9cb96c8c242599051a5fc41ad40160ce Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 6 Oct 2014 21:33:10 +0200
Subject: [PATCH] coq README: give rough time estimate

---
 README.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.txt b/README.txt
index 9a925a256..630881f42 100644
--- a/README.txt
+++ b/README.txt
@@ -33,6 +33,7 @@ REQUIREMENTS
   8GB ram + 4GB swap
 
   We have tested the development using Coq v. 8.4pl4 on Linux and Mac machines with at least 8GB RAM + 4GB swap.
+  The entire compilation took around 3 hours.
   
 
 HOW TO COMPILE
-- 
GitLab