[Bug 999011] idris-0.9.18 is available
https://bugzilla.redhat.com/show_bug.cgi?id=999011
Upstream Release Monitoring <upstream-release-monitoring(a)fedoraproject.org>
changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|idris-0.9.17.1 is available |idris-0.9.18 is available
--- Comment #34 from Upstream Release Monitoring
<upstream-release-monitoring(a)fedoraproject.org> ---
Latest upstream release: 0.9.18
Current version/release in rawhide: 0.9.9.1-5.fc23
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.
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug
https://bugzilla.redhat.com/token.cgi?t=ZkkiAh6O9H&a=cc_unsubscribe