[Bug 999011] idris-0.10.1 is available

[Red Hat Bugzilla]

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring <upstream-release-monitoring(a)fedoraproject.org&gt;
changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|idris-0.10 is available     |idris-0.10.1 is available



--- Comment #54 from Upstream Release Monitoring
<upstream-release-monitoring(a)fedoraproject.org&gt; ---
Latest upstream release: 0.10.1
Current version/release in rawhide: 0.9.9.1-7.fc24
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.