If they’ve already downloaded the file, they will need to re-download.
If they recently downloaded the file, they’ll probably need to clear their cache or use a browser they don’t normally use (ex. download using Edge instead of Chrome.) An incognito window will also solve the issue.