1 files changed, 2 insertions, 0 deletions

diff --git a/README b/README
index f850ef7..0943557 100644
--- a/README
+++ b/README
@@ -1,3 +1,5 @@
+This repository is no longer used. Please use https://gitlab.inria.fr/mpc/mpc.
+
 Copyright (C) INRIA 2003, 2005, 2007, 2008, 2009, 2010, 2011, 2012, 2014, 2015, 2018, 2020
 
 Copying and distribution of this file, with or without modification,