They should take down this repository soon.
Marc.
-- ubuntu-devel mailing listubuntu-devel@lists.ubuntu.comModify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel