Unfortunately not.
The one and only original electrum site is https://electrum.org/.
The message which was shown to your came from a malicious electrum server you were connected to.
And it linked to a (faked) github repository with no source code, and only a (malicious) binary available to download.
Unfortunately, you have been a victim of the phishing campaign. Your funds are gone.
That is way too much of an elaboration made for a guy who just lost 0.73 bitcoins and all he had to say was this
Speak about an underwhelming response!! (it could be shock lol)
This is why I ask people to always double-check everything before installing any new binary file or anything disguised as an official patch. I've even adviced some professionals to completely do away with Electrum for the time being.