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/
Rebase helper failed. See logs and attachments in this bugzilla RAN: '/usr/bin/git clone http://pkgs.fedoraproject.org/cgit/rpms/idris.git /var/tmp/thn-rh9tXkqG' STDOUT: Cloning into '/var/tmp/thn-rh9tXkqG'... STDERR: error: garbage at end of loose object '89ff666d935e26f7eae2b5e67ebab77d277f03d1' fatal: loose object 89ff666d935e26f7eae2b5e67ebab77d277f03d1 (stored in /var/tmp/thn-rh9tXkqG/.git/objects/89/ff666d935e26f7eae2b5e67ebab77d277f03d1) is corrupt
Failed to kick off scratch build. [Errno 2] No such file or directory: '/var/tmp/thn-46nMHg'
idris was retired in F25 alas.