Comment by benrutter

I'm not assuming anything, this is from a ticket for fdroid on google:

> Our machines run older server grade CPUs, that indeed do not support the newer SSE4_1 and SSSE3.[0]

I.e. the problem is because fdroid have older CPUs, newer ones would be able to build. I only mentioned it in terms of what the plans to fix might be. I have zero idea if upgrading servers is the best way to go.

[0] https://issuetracker.google.com/issues/438515318?pli=1