SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-copilot-theorem-prof rpm build for : Fedora 40. For other distributions click ghc-copilot-theorem-prof.

Name : ghc-copilot-theorem-prof
Version : 3.19.1 Vendor : Fedora Project
Release : 2.fc40 Date : 2024-09-27 17:30:18
Group : Unspecified Source RPM : ghc-copilot-theorem-3.19.1-2.fc40.src.rpm
Size : 6.12 MB
Packager : Fedora Project
Summary : Haskell copilot-theorem profiling library
Description :
This package provides the Haskell copilot-theorem profiling library.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/updates/40/Everything/x86_64/Packages/g

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-copilot-theorem-prof-3.19.1-2.fc40.x86_64.rpm
     

Provides :
ghc-copilot-theorem-prof
ghc-copilot-theorem-prof(x86-64)
ghc-prof(copilot-theorem-3.19.1-3lwpU8uJGIT2i2XlWL78kY)

Requires :
ghc-copilot-theorem-devel(x86-64) = 3.19.1-2.fc40
ghc-prof(base-4.17.1.0)
ghc-prof(bimap-0.5.0-HW7mfOFXneU5eY2jmBQkId)
ghc-prof(bv-sized-1.0.5-Lg2MNmzC2KJHdpDLkOcNYE)
ghc-prof(containers-0.6.7)
ghc-prof(copilot-core-3.19.1-35OhQWh5Cl1FTJo0MOIsXn)
ghc-prof(copilot-prettyprinter-3.19.1-3D6phfPyg6uDI9MgS0tJEE)
ghc-prof(data-default-0.7.1.1-JPWOgkHC05bEP4GKfTBTHA)
ghc-prof(directory-1.3.7.1)
ghc-prof(libBF-0.6.8-Hb1dxlmRuzoBbGoUYTx2IX)
ghc-prof(mtl-2.2.2)
ghc-prof(panic-0.4.0.1-KE1kWsGbhWV3H8Kvc1TljL)
ghc-prof(parameterized-utils-2.1.8.0-FTY8CINQLZc2e6rvWHCaAB)
ghc-prof(parsec-3.1.16.1)
ghc-prof(pretty-1.1.3.6)
ghc-prof(process-1.6.16.0)
ghc-prof(random-1.2.1.1-I0wUgAAbf0g3qHR3e8uT0o)
ghc-prof(transformers-0.5.6.2)
ghc-prof(what4-1.5.1-HD846ec5pljDFhNmZ9ft1c)
ghc-prof(xml-1.3.14-BBPDUWQuUpt3QYOr4h6J5g)
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


Content of RPM :
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/PrettyPrint.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/Spec.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/Transform.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/Translate.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/AST.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/Output.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/PrettyPrint.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/Prover.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/Translate.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc/Error.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc/SExpr.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc/Utils.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prove.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/Backend.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/SMT.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/SMTIO.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/SMTLib.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/TPTP.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/Tactics.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Cast.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Invariants.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Operators.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/PrettyPrint.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Renaming.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Spec.p_hi
/usr/lib64/ghc-9.4.5/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Transform.p_hi
There is 5 files more in these RPM.

  
ICM