Fedora Packages

ghc-idris-1.3.4-18.fc42 in Fedora Rawhide

↵ Return to the main page of ghc-idris
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2025-01-17 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2024-08-02 Jens Petersen <petersen at redhat dot com> - 1.3.4-17 - update mtl and bounds with upstream patches
2024-07-18 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-16 Jens Petersen <petersen at redhat dot com> - 1.3.4-15 - refresh to cabal-rpm-2.2.1
2024-01-24 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-20 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2023-07-26 Jens Petersen <petersen at redhat dot com> - 1.3.4-12 - bump upper bounds
2023-07-20 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-02-17 Jens Petersen <petersen at redhat dot com> - 1.3.4-6 - refresh to cabal-rpm-2.1.0 with SPDX migration

Dependencies

Provides

  • ghc-idris
  • ghc-idris(x86-64)
  • libHSidris-1.3.4-3WzTclJnDGuF9nqMis99Gw-ghc9.6.6.so()(64bit)

Files


Sources on Pagure