https://bugzilla.redhat.com/show_bug.cgi?id=1401269
Bug ID: 1401269 Summary: idris-0.99 is available Product: Fedora Version: rawhide Component: idris Keywords: FutureFeature, Triaged Assignee: petersen@redhat.com Reporter: upstream-release-monitoring@fedoraproject.org QA Contact: extras-qa@fedoraproject.org CC: haskell-devel@lists.fedoraproject.org, petersen@redhat.com
Latest upstream release: 0.99 Current version/release in rawhide: 0.9.9.1-1.el7 URL: http://hackage.haskell.org/package/idris
Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy
More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring
Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.
Based on the information from anitya: https://release-monitoring.org/project/1363/