jflex provides GUI, but doesn't install a .desktop file.
According to Packaging Guidelines, if a package contains a GUI application, then it needs to also include a properly installed .desktop file.
jflex-1.4.3-8.fc17 has been submitted as an update for Fedora 17.
jflex-1.4.3-8.fc16 has been submitted as an update for Fedora 16.
This package has changed ownership in the Fedora Package Database. Reassigning to the new owner of this component.
* should fix your issue,
* was pushed to the Fedora 17 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing jflex-1.4.3-8.fc17'
as soon as you are able to.
Please go to the following url:
then log in and leave karma (feedback).
jflex-1.4.3-8.fc17 has been pushed to the Fedora 17 stable repository. If problems still persist, please make note of it in this bug report.
jflex-1.4.3-8.fc16 has been pushed to the Fedora 16 stable repository. If problems still persist, please make note of it in this bug report.