↵ Return to the main page of idris-common
View build
Search for updates
Package Info
🠗 Changelog
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
2021-08-22 | Jens Petersen <petersen at redhat dot com> - 1.3.3-6.20210626git2ef8238d0 | - update to latest git, which builds with ghc-8.10 (#1991878) |
2021-08-06 | Jens Petersen <petersen at redhat dot com> - 1.3.3-5 | - rebuild |
2021-07-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
2021-01-26 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
2020-08-10 | Jens Petersen <petersen at redhat dot com> - 1.3.3-2 | - setup bash completion |
2020-07-28 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
2020-06-10 | Jens Petersen <petersen at redhat dot com> - 1.3.3-1 | - update to 1.3.3 |
2020-02-20 | Jens Petersen <petersen at redhat dot com> - 1.3.2-3 | - refresh to cabal-rpm-2.0.2 |
2020-01-29 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.2-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild |