[Metamath] Re: False malware report for metamath.exe executable?

I received a response from Malwarebytes concerning the VirusTotal detection: (begin quote) Our engine format and configuration in VirusTotal is different than our products' default configuration. In VirusTotal we use a command-line engine with more aggressive detection techniques and

[Metamath] Re: False malware report for metamath.exe executable?

Apparently someone already submitted it to virustotal. Here is the result (3/69, false positive, IMHO): https://www.virustotal.com/gui/file/98d292206a3e23ef2d2476aa600ad1ddf7118343c01595ca42be78d2d8de0c2d/detection -- You received this message because you are subscribed to the Google Groups