Le 25/10/2016 à 18:21, Marko Dimjašević a écrit : > You lost me. > > Can you tell me what I should do here? I thought just any .deb package > of SBT I find online or make myself (such that it works in the offline > mode) would do for non-free, but I guess you're saying that wouldn't do. We just need a source package in non-free that builds SBT. A .deb file found online isn't a source package. Emmanuel Bourg