Indicate that this repository has been moved onto Debian infrastructure