ghc-copilot-devel-4.1-1.fc43 RPM for aarch64

From Fedora Rawhide 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-4.1-7233Eb95LzbHDEGrXO1Wie)

Requires

• ghc-compiler = 9.8.4
• ghc-copilot(aarch-64) = 4.1-1.fc43
• ghc-devel(base-4.19.2.0-5123)
• ghc-devel(copilot-c99-4.1-FRAM3UpVvrhC0NOkk2Ihhk)
• ghc-devel(copilot-core-4.1-IFFMd0kdgqCKTtcDuBCb4k)
• ghc-devel(copilot-language-4.1-f2x3lRga1f34UavIaCMAx)
• ghc-devel(copilot-libraries-4.1-6udSpNgu4is8KtZmfSLyKg)
• ghc-devel(copilot-prettyprinter-4.1-KZ67TJfrvX2836Bv3Aq3lz)
• ghc-devel(copilot-theorem-4.1-1XML3gflwkn5jo90Duvsfp)
• ghc-devel(directory-1.3.8.5-d7ea)
• ghc-devel(filepath-1.4.301.0-aa4a)
• ghc-devel(optparse-applicative-0.18.1.0-DzDpY4CNz2vHGWJtczkRY1)
• 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

* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 4.1-1
  - https://hackage.haskell.org/package/copilot-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
* 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.8.4/lib/copilot-4.1
/usr/lib64/ghc-9.8.4/lib/copilot-4.1/Language
/usr/lib64/ghc-9.8.4/lib/copilot-4.1/Language/Copilot
/usr/lib64/ghc-9.8.4/lib/copilot-4.1/Language/Copilot.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-4.1/Language/Copilot.hi
/usr/lib64/ghc-9.8.4/lib/copilot-4.1/Language/Copilot/Main.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-4.1/Language/Copilot/Main.hi
/usr/lib64/ghc-9.8.4/lib/copilot-4.1/libHScopilot-4.1-7233Eb95LzbHDEGrXO1Wie.a
/usr/lib64/ghc-9.8.4/lib/package.conf.d/copilot-4.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/StructsUpdateField.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 Apr 18 00:13:26 2025