[soc88]

So what? The package manager will not install it. So it is still thousand times better than downloading random things from the net.