Seafile server 7.1.4 is ready!

No *x86-64.tar.gz option for the 7.1.x versions?
I’m in 7.0.17 and the 7.0.18 is missing this option also.

Is this option being discontinued?

I’m on Arch Linux and have been installing Seafile manually with the *x86-64.tar.gz option