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

From Fedora 40 updates for aarch64 / Packages / 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-LsLzsljzaFw5ADZREkuxAl)

Requires

• ghc-compiler = 9.4.5
• ghc-copilot(aarch-64) = 3.19.1-2.fc40
• ghc-devel(base-4.17.1.0)
• ghc-devel(copilot-c99-3.19.1-6jjhnDrdii4LsDbmlO1qmM)
• ghc-devel(copilot-core-3.19.1-35OhQWh5Cl1FTJo0MOIsXn)
• ghc-devel(copilot-language-3.19.1-1Irb6XZhCelLWcNe2fEWg6)
• ghc-devel(copilot-libraries-3.19.1-1dJZcAp0qDx2EpXvkGdW5i)
• ghc-devel(copilot-prettyprinter-3.19.1-3D6phfPyg6uDI9MgS0tJEE)
• ghc-devel(copilot-theorem-3.19.1-3lwpU8uJGIT2i2XlWL78kY)
• ghc-devel(directory-1.3.7.1)
• ghc-devel(filepath-1.4.2.2)
• ghc-devel(optparse-applicative-0.17.1.0-15K5oaZj8pgCwvckoHPRS9)
• 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.4.5/lib/copilot-3.19.1
/usr/lib64/ghc-9.4.5/lib/copilot-3.19.1/Language
/usr/lib64/ghc-9.4.5/lib/copilot-3.19.1/Language/Copilot
/usr/lib64/ghc-9.4.5/lib/copilot-3.19.1/Language/Copilot.dyn_hi
/usr/lib64/ghc-9.4.5/lib/copilot-3.19.1/Language/Copilot.hi
/usr/lib64/ghc-9.4.5/lib/copilot-3.19.1/Language/Copilot/Main.dyn_hi
/usr/lib64/ghc-9.4.5/lib/copilot-3.19.1/Language/Copilot/Main.hi
/usr/lib64/ghc-9.4.5/lib/copilot-3.19.1/libHScopilot-3.19.1-LsLzsljzaFw5ADZREkuxAl.a
/usr/lib64/ghc-9.4.5/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, Fri Nov 15 06:15:53 2024