I found it now by manually downloading it from the sourceforge site and waiting until it redirects me. mirror://sourceforge/quex/HISTORY/0.67/quex-0.67.3.zip Not so bad, but yeah, takes some tries.