Fedora Packages

ghc-copilot-theorem-prof-4.1-1.fc43 in Fedora Rawhide

↵ Return to the main page of ghc-copilot-theorem-prof
View build
Search for updates

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

Changelog

Date Author Change
2025-03-30 Jens Petersen <petersen at redhat dot com> - 4.1-1 - https://hackage.haskell.org/package/copilot-theorem-4.1/changelog
2025-03-30 Jens Petersen <petersen at redhat dot com> - 3.19.1-4 - refresh to cabal-rpm-2.3.0
2025-01-16 Fedora Release Engineering <releng at fedoraproject dot org> - 3.19.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2024-09-02 Frank Dedden <frank at systemf dot dev> - 3.19.1-1 - spec file generated by cabal-rpm-2.2.1

Dependencies

Provides

  • ghc-copilot-theorem-prof
  • ghc-copilot-theorem-prof(x86-64)
  • ghc-prof(copilot-theorem-4.1-9tEBomsEMt84yLeN8WBY7e)

Files


Sources on Pagure