SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-copilot-theorem-doc rpm build for : Fedora Other. For other distributions click ghc-copilot-theorem-doc.

Name : ghc-copilot-theorem-doc
Version : 3.19.1 Vendor : Fedora Project
Release : 2.fc41 Date : 2024-09-26 20:16:29
Group : Unspecified Source RPM : ghc-copilot-theorem-3.19.1-2.fc41.src.rpm
Size : 3.69 MB
Packager : Fedora Project
Summary : Haskell copilot-theorem library documentation
Description :
This package provides the Haskell copilot-theorem library documentation.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/41/Everything/ppc64le/os/Packages/g

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm
ftp.icm.edu.pl  ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm
ftp.icm.edu.pl  ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm
ftp.icm.edu.pl  ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm
ftp.icm.edu.pl  ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm
ftp.icm.edu.pl  ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm
ftp.icm.edu.pl  ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm
ftp.icm.edu.pl  ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm
     

Provides :
ghc-copilot-theorem-doc

Requires :
ghc-filesystem
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Kind2-Prover.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Kind2.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Prove.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Prover-SMT.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-What4.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/copilot-theorem.haddock
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/copilot-theorem.txt
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/doc-index.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/haddock-bundle.min.js
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/index.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/linuwial.css
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/meta.json
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/quick-jump.css
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.PrettyPrint.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.Spec.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.Transform.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.AST.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.Output.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.PrettyPrint.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.Prover.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Misc.Error.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Misc.SExpr.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Misc.Utils.html
There is 25 files more in these RPM.

  
ICM