Seafile community edition 9.0.2 is ready!

There was a announcement of the Raspberry Pi here. The Seafile Server is absolutely the same source code than the amd64 version, but the built script is another. Therefore, could you pls list the contents of /home/seafile/seafile-server-9.0.2/seafile/lib, /home/seafile/seafile-server-9.0.2/seafile/lib/python3 and /home/seafile/seafile-server-9.0.2/seafile/lib/python3.* ?
Thanks.