↵ Return to the main page of ghc-idris
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
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 |
2019-07-25 | Jens Petersen <petersen at redhat dot com> - 1.3.2-1 | - update to 1.3.2 |
2019-07-25 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.1-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild |
2019-03-17 | Jens Petersen <petersen at redhat dot com> - 1.3.1-2 | - use python3-sphinx |
2019-02-21 | Jens Petersen <petersen at redhat dot com> - 1.3.1-1 | - update to 1.3.1 |