leah, 15 days ago Anyone happen to have a mirror of ftp.inria.fr?
Anyone happen to have a mirror of ftp.inria.fr?