INFO
Name: ghc-copilot-devel
Version: 3.19.1-2.el10_0
Arch: ppc64le
Summary: Haskell copilot library development files
License: BSD-3-Clause
Vendor: Fedora Project
Build Host: buildvm-ppc64le-13.iad2.fedoraproject.org
Build Date: Sat May 3 15:49:39 2025
Size: 169276
URL: https://hackage.haskell.org/package/copilot
Description: This package provides the Haskell copilot library development files.
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-9PXpOSwuzN9ExF4qKMTbTV.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
REQUIRES
ghc-compiler 9.6.6
ghc-copilot(ppc-64) 3.19.1-2.el10_0
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-BuYFGN8h4HGH3kIS95BItW)
ghc-devel(copilot-libraries-3.19.1-FtM7wFII6WoJwew26Y3b4r)
ghc-devel(copilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l)
ghc-devel(copilot-theorem-3.19.1-6Gtwmz9zruQFC6dBM3WE4q)
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
PROVIDES
ghc-copilot-devel 3.19.1-2.el10_0
ghc-copilot-devel(ppc-64) 3.19.1-2.el10_0
ghc-copilot-static 3.19.1-2.el10_0
ghc-copilot-static(ppc-64) 3.19.1-2.el10_0
ghc-devel(copilot-3.19.1-9PXpOSwuzN9ExF4qKMTbTV)
CONFIG 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-9PXpOSwuzN9ExF4qKMTbTV.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 d
/usr/share/doc/ghc-copilot-devel/README.md d
/usr/share/doc/ghc-copilot-devel/examples
/usr/share/doc/ghc-copilot-devel/examples/AddMult.hs d
/usr/share/doc/ghc-copilot-devel/examples/Array.hs d
/usr/share/doc/ghc-copilot-devel/examples/Cast.hs d
/usr/share/doc/ghc-copilot-devel/examples/Clock.hs d
/usr/share/doc/ghc-copilot-devel/examples/Counter.hs d
/usr/share/doc/ghc-copilot-devel/examples/Engine.hs d
/usr/share/doc/ghc-copilot-devel/examples/Heater.hs d
/usr/share/doc/ghc-copilot-devel/examples/Structs.hs d
/usr/share/doc/ghc-copilot-devel/examples/Voting.hs d
/usr/share/doc/ghc-copilot-devel/examples/WCV.hs d
/usr/share/doc/ghc-copilot-devel/examples/what4
/usr/share/doc/ghc-copilot-devel/examples/what4/Arithmetic.hs d
/usr/share/doc/ghc-copilot-devel/examples/what4/Propositional.hs d
/usr/share/doc/ghc-copilot-devel/examples/what4/Structs.hs d
LICENSE FILES
BSD-3-Clause
|
