PLEASE READ! This is only an archive, which will sooner or later become OBSOLETE. For the currently maintained repository, head to https://github.com/AntiMicro/antimicro
These are the last binaries available for download. The Windows binaries got their SDL2.dll changed from 2.0.4 to 2.0.3 in order to fix a bug.