Indicate that this repository has been moved ot Debian infrastructure