Assuming that all their examples are consistent and actually download "Amaya", I'd prefer simply the hyperlink [Download Amaya](http://link-to-file).
Preferably with a download icon to indicate that it's going to be the actual file and not just a link to another page with the real download button hidden among 4 ads that are just download buttons.
Preferably with a download icon to indicate that it's going to be the actual file and not just a link to another page with the real download button hidden among 4 ads that are just download buttons.