You can force a mirror to resynchronise the entire list of files at any time by clicking the Synchronise button.

Synchronising the entire file tree can be quite a slow process, so please be patient when doing so.