diff --git a/README.txt b/README.txt
index 9a925a2564a888db38f0c6a90d8fdc322d815ae4..630881f429014c72fcaa021e6619ddf2027377a6 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