opera-developer for Fedora rpm - View it on GitHub