Electrum download problem

[Brunt, FCA]

At the public library, I tried to download the Electrum client , but I was presented with this message:

This Page Cannot Be Displayed
Based on your organization's access policies, this web site ( http://download.electrum.org/download/Electrum-1.7.2-setup.exe ) has been blocked because it has been determined by Web Reputation Filters to be a security threat to your computer or the organization's network. This web site has been associated with malware/spyware.

Date: Fri, 12 Apr 2013 11:33:17 BST
Username: PUBLIC\*********@LibraryPublic
Source IP: 10.255.40.102
URL: GET http://download.electrum.org/download/Electrum-1.7.2-setup.exe
Category: Computers and Internet
Reason: BLOCK-MALWARE
Threat Type: othermalware
Threat Reason: Domain reported and verified as serving malware. Identified as a malicious site via network activity logged during malware analysis.
Notification: WBRS

[1715335145]

1715335145

[1715335145]

1715335145

[RoxxR]

I've had the same issue. Eventually I grabbed the flatfly build of Electrum, which isn't blocked by the damn filters.
See: https://bitcointalk.org/index.php?topic=73651.0

[Tachikoma]

At the public library, I tried to download the Electrum client , but I was presented with this message:
...

This is a false positive. I would not worry about it and download it from an other internet connection.

ps. Love the name.