From 06303bbeac031ac0382eb427724fc3911fa4b696 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 24 Nov 2013 10:56:38 +0100
Subject: Updating new ftp link to old archives.

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

diff --git a/README b/README
index 9bf63c433c..1755be5f74 100644
--- a/README
+++ b/README
@@ -28,7 +28,7 @@ AVAILABILITY.
 =============
 
    Coq is available at http://coq.inria.fr, or, for older versions at
-   ftp://ftp.inria.fr/INRIA/LogiCal/coq.
+   ftp://ftp.inria.fr/INRIA/Projects/LogiCal/coq.
 
 
 THE COQ CLUB.
-- 
cgit v1.2.3