To clarify, I mostly talk about the general case. A positive or a negative is not enough to be sure either way.
In this specifc case, I do not think the developer uploaded a virus intentionally, but I am half and half that the file might be compromised anyway. Professional malware uploaders act differently in my experience. They would also promote their virus more and not upload several other games years later. And browser games at that.
The casual windows gamer should be safe from this one. Not only is your virus warning still there, the windows defender's heuristic currently quarantines that game.