ghc-copilot-devel-3.19.1-2.fc41 RPM for aarch64

From Fedora 41 for aarch64 / g

This package provides the Haskell copilot library development files.

Provides

• ghc-copilot-devel
• ghc-copilot-devel(aarch-64)
• ghc-copilot-static
• ghc-copilot-static(aarch-64)
• ghc-devel(copilot-3.19.1-AeX2P1NyH7mKRYBdl2U8Je)

Requires

• ghc-compiler = 9.6.6
• ghc-copilot(aarch-64) = 3.19.1-2.fc41
• ghc-devel(base-4.18.2.1)
• ghc-devel(copilot-c99-3.19.1-BQb7PtXpii2EUgkxjFLRko)
• ghc-devel(copilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn)
• ghc-devel(copilot-language-3.19.1-38Cwk4zJkY5DIN5Elg8xJb)
• ghc-devel(copilot-libraries-3.19.1-70ylpNQVulf2ukaeWpLR3G)
• ghc-devel(copilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l)
• ghc-devel(copilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6)
• ghc-devel(directory-1.3.8.5)
• ghc-devel(filepath-1.4.300.1)
• ghc-devel(optparse-applicative-0.18.1.0-4mpzPJ7fRrN8xZM2uyySPB)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

BSD-3-Clause

Changelog

* Fri Sep 06 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1
  - spec file generated by cabal-rpm-2.2.1

Files

/usr/lib64/ghc-9.6.6/lib/copilot-3.19.1
/usr/lib64/ghc-9.6.6/lib/copilot-3.19.1/Language
/usr/lib64/ghc-9.6.6/lib/copilot-3.19.1/Language/Copilot
/usr/lib64/ghc-9.6.6/lib/copilot-3.19.1/Language/Copilot.dyn_hi
/usr/lib64/ghc-9.6.6/lib/copilot-3.19.1/Language/Copilot.hi
/usr/lib64/ghc-9.6.6/lib/copilot-3.19.1/Language/Copilot/Main.dyn_hi
/usr/lib64/ghc-9.6.6/lib/copilot-3.19.1/Language/Copilot/Main.hi
/usr/lib64/ghc-9.6.6/lib/copilot-3.19.1/libHScopilot-3.19.1-AeX2P1NyH7mKRYBdl2U8Je.a
/usr/lib64/ghc-9.6.6/lib/package.conf.d/copilot-3.19.1.conf
/usr/share/doc/ghc-copilot-devel
/usr/share/doc/ghc-copilot-devel/CHANGELOG
/usr/share/doc/ghc-copilot-devel/README.md
/usr/share/doc/ghc-copilot-devel/examples
/usr/share/doc/ghc-copilot-devel/examples/AddMult.hs
/usr/share/doc/ghc-copilot-devel/examples/Array.hs
/usr/share/doc/ghc-copilot-devel/examples/Cast.hs
/usr/share/doc/ghc-copilot-devel/examples/Clock.hs
/usr/share/doc/ghc-copilot-devel/examples/Counter.hs
/usr/share/doc/ghc-copilot-devel/examples/Engine.hs
/usr/share/doc/ghc-copilot-devel/examples/Heater.hs
/usr/share/doc/ghc-copilot-devel/examples/Structs.hs
/usr/share/doc/ghc-copilot-devel/examples/Voting.hs
/usr/share/doc/ghc-copilot-devel/examples/WCV.hs
/usr/share/doc/ghc-copilot-devel/examples/what4
/usr/share/doc/ghc-copilot-devel/examples/what4/Arithmetic.hs
/usr/share/doc/ghc-copilot-devel/examples/what4/Propositional.hs
/usr/share/doc/ghc-copilot-devel/examples/what4/Structs.hs

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Oct 30 04:43:44 2024