On Fri, Jun 24, 2016 at 07:42:28PM +0200, Ricardo Wurmus wrote: > There’s no need to revert your changes to java-swt.
Okay, thanks. If the source disappears again, we might wish to use the eclipse location then instead of the mirror. For the android sdk, we would need version 3.5.x, which itself depends on an outdated gnome library. Nightmares, these distributions of binaries! Andreas
