Upgrade Tutorial/Manual for raspberry pi

Seafile Server
#1

Hi,
is there anyway a manual or tutorial how to upgrade my seafile server from 9.0.2 to 9.0.9 on my raspberry pi?

Best