Subject: [bug#30739] [PATCH 2/3] gnu: Add python2-quex.

From: Danny Milosavljevic <[email-masked]>
Date: Tue, 13 Mar 2018 22:29:32 +0100

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.