1 files changed, 1 insertions, 1 deletions

diff --git a/README b/README
index 9bf63c43..1755be5f 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.