ghc-copilot-theorem-prof-4.1-3.fc44 RPM for ppc64le

From Fedora Rawhide for ppc64le / g

This package provides the Haskell copilot-theorem profiling library.

Provides

• ghc-copilot-theorem-prof
• ghc-copilot-theorem-prof(ppc-64)
• ghc-prof(copilot-theorem-4.1-1XML3gflwkn5jo90Duvsfp)

Requires

• ghc-copilot-theorem-devel(ppc-64) = 4.1-3.fc44
• ghc-prof(base-4.19.2.0-5123)
• ghc-prof(bimap-0.5.0-59PRA74PlZhAxdurUhhdyy)
• ghc-prof(bv-sized-1.0.6-5MYMXISzryjCrweAnLJPl2)
• ghc-prof(containers-0.6.8-5cca)
• ghc-prof(copilot-core-4.1-IFFMd0kdgqCKTtcDuBCb4k)
• ghc-prof(copilot-prettyprinter-4.1-KZ67TJfrvX2836Bv3Aq3lz)
• ghc-prof(data-default-0.7.1.3-JE1JiHk51Np37729tRJvvu)
• ghc-prof(directory-1.3.8.5-d7ea)
• ghc-prof(libBF-0.6.8-Qj9bao5gv5aBtf2YxHfQ)
• ghc-prof(mtl-2.3.1-530a)
• ghc-prof(panic-0.4.0.1-36vZHCQZNXQ3XwD60ZKXnO)
• ghc-prof(parameterized-utils-2.1.10.0-JXKEfTNhIJa5r4kZR41JwK)
• ghc-prof(parsec-3.1.17.0-e14c)
• ghc-prof(pretty-1.1.3.6-d1ee)
• ghc-prof(process-1.6.25.0-c567)
• ghc-prof(random-1.2.1.3-7jCcalZL5ltIDYuBxXIlfr)
• ghc-prof(transformers-0.6.1.0-20df)
• ghc-prof(what4-1.6.3-JNdiA98petK62oKyxXcgnA)
• ghc-prof(xml-1.3.14-LW4lJpXRBfzIB0ppBIMQrZ)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rpmlib(RichDependencies) <= 4.12.0-1

License

BSD-3-Clause

Changelog

* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 4.1-1
  - https://hackage.haskell.org/package/copilot-theorem-4.1/changelog
* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 3.19.1-4
  - refresh to cabal-rpm-2.3.0
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 3.19.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Mon Sep 02 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1
  - spec file generated by cabal-rpm-2.2.1

Files

/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/PrettyPrint.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/Spec.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/Transform.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/Translate.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/AST.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/Output.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/PrettyPrint.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/Prover.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/Translate.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc/Error.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc/SExpr.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc/Utils.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prove.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/Backend.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/SMT.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/SMTIO.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/SMTLib.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/TPTP.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Tactics.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Cast.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Invariants.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Operators.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/PrettyPrint.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Renaming.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Spec.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Transform.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Translate.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Type.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/What4.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/What4/Translate.p_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/libHScopilot-theorem-4.1-1XML3gflwkn5jo90Duvsfp_p.a

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Jan 30 00:23:16 2026