Topic on Talk:Devil May Cry HD Collection
It should be enough with a short description of what the file contains and then a note that it's a mirror of the now removed original download.
See for example our DirectX SDK Redist mirror: https://community.pcgamingwiki.com/files/file/2106-legacy-directx-sdk-redist-directx_jun2010_redistexe/
Or this random fan-made fixed executable: https://community.pcgamingwiki.com/files/file/2077-traod_p4/