On 15/02/15 22:22, Kurt Roeckx wrote: > [...] > > Can you try adding this to your sources.list? > deb https://dl.bintray.com/sbt/debian / > > And then apt-get install -d sbt > > > Kurt > Okay, I get a segfault too now: [ 153.995036] https[2667]: segfault at 69 ip 00007f41539d7b03 sp 00007fffa171dbb0 error 4 in https[7f41539cc000+12000] Tomasz