↵ Return to the main page of idris-static
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
2023-02-17 | Jens Petersen <petersen at redhat dot com> - 1.3.4-6 | - refresh to cabal-rpm-2.1.0 with SPDX migration |
2022-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild |
2022-06-17 | Jens Petersen <petersen at redhat dot com> - 1.3.4-4 | - rebuild |
2022-01-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild |
2022-01-08 | Miro HronĨok <mhroncok at redhat dot com> - 1.3.4-2 | - Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34 |
2021-10-25 | Jens Petersen <petersen at redhat dot com> - 1.3.4-1 | - update to new stable release - https://hackage.haskell.org/package/idris-1.3.4/changelog |
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 |