ghc-copilot-theorem-prof-3.19.1-2.fc42 in Fedora Rawhide
↵ Return to the main page of ghc-copilot-theorem-prof
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2024-09-02 | Frank Dedden <frank at systemf dot dev> - 3.19.1-1 | - spec file generated by cabal-rpm-2.2.1 |
Dependencies
- ghc-base-prof
- ghc-bimap-prof
- ghc-bv-sized-prof
- ghc-containers-prof
- ghc-copilot-core-prof
- ghc-copilot-prettyprinter-prof
- ghc-copilot-theorem-devel = 3.19.1-2.fc42
- ghc-data-default-prof
- ghc-directory-prof
- ghc-libBF-prof
- ghc-mtl-prof
- ghc-panic-prof
- ghc-parameterized-utils-prof
- ghc-parsec-prof
- ghc-pretty-prof
- ghc-process-prof
- ghc-random-prof
- ghc-transformers-prof
- ghc-what4-prof
- ghc-xml-prof
Provides
- ghc-copilot-theorem-prof
- ghc-copilot-theorem-prof(x86-64)
- ghc-prof(copilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6)
Files
- usr/
- lib64/
- ghc-9.6.6/
- lib/
- copilot-theorem-3.19.1/
- Copilot/
- Theorem/
- IL/
- PrettyPrint.p_hi
- Spec.p_hi
- Transform.p_hi
- Translate.p_hi
- IL.p_hi
- Kind2/
- AST.p_hi
- Output.p_hi
- PrettyPrint.p_hi
- Prover.p_hi
- Translate.p_hi
- Kind2.p_hi
- Misc/
- Error.p_hi
- SExpr.p_hi
- Utils.p_hi
- Prove.p_hi
- Prover/
- Backend.p_hi
- SMT.p_hi
- SMTIO.p_hi
- SMTLib.p_hi
- TPTP.p_hi
- Tactics.p_hi
- TransSys/
- Cast.p_hi
- Invariants.p_hi
- Operators.p_hi
- PrettyPrint.p_hi
- Renaming.p_hi
- Spec.p_hi
- Transform.p_hi
- Translate.p_hi
- Type.p_hi
- TransSys.p_hi
- What4/
- Translate.p_hi
- What4.p_hi
- IL/
- Theorem.p_hi
- Theorem/
- libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6_p.a
- Copilot/
- copilot-theorem-3.19.1/
- lib/
- ghc-9.6.6/
- lib64/
Sources on Pagure