ghc-copilot-theorem-devel-3.19.1-2.fc42 in Fedora Rawhide
↵ Return to the main page of ghc-copilot-theorem-devel
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-devel
- ghc-bimap-devel
- ghc-bv-sized-devel
- ghc-compiler = 9.6.6
- ghc-containers-devel
- ghc-copilot-core-devel
- ghc-copilot-prettyprinter-devel
- ghc-copilot-theorem = 3.19.1-2.fc42
- ghc-data-default-devel
- ghc-directory-devel
- ghc-libBF-devel
- ghc-mtl-devel
- ghc-panic-devel
- ghc-parameterized-utils-devel
- ghc-parsec-devel
- ghc-pretty-devel
- ghc-process-devel
- ghc-random-devel
- ghc-transformers-devel
- ghc-what4-devel
- ghc-xml-devel
Provides
- ghc-copilot-theorem-devel
- ghc-copilot-theorem-devel(x86-64)
- ghc-copilot-theorem-static
- ghc-copilot-theorem-static(x86-64)
- ghc-devel(copilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6)
Files
- usr/
- lib64/
- ghc-9.6.6/
- lib/
- copilot-theorem-3.19.1/
- Copilot/
- Theorem/
- IL/
- PrettyPrint.dyn_hi
- PrettyPrint.hi
- Spec.dyn_hi
- Spec.hi
- Transform.dyn_hi
- Transform.hi
- Translate.dyn_hi
- Translate.hi
- IL.dyn_hi
- IL.hi
- Kind2/
- AST.dyn_hi
- AST.hi
- Output.dyn_hi
- Output.hi
- PrettyPrint.dyn_hi
- PrettyPrint.hi
- Prover.dyn_hi
- Prover.hi
- Translate.dyn_hi
- Translate.hi
- Kind2.dyn_hi
- Kind2.hi
- Misc/
- Error.dyn_hi
- Error.hi
- SExpr.dyn_hi
- SExpr.hi
- Utils.dyn_hi
- Utils.hi
- Prove.dyn_hi
- Prove.hi
- Prover/
- Backend.dyn_hi
- Backend.hi
- SMT.dyn_hi
- SMT.hi
- SMTIO.dyn_hi
- SMTIO.hi
- SMTLib.dyn_hi
- SMTLib.hi
- TPTP.dyn_hi
- TPTP.hi
- Tactics.dyn_hi
- Tactics.hi
- TransSys/
- Cast.dyn_hi
- Cast.hi
- Invariants.dyn_hi
- Invariants.hi
- Operators.dyn_hi
- Operators.hi
- PrettyPrint.dyn_hi
- PrettyPrint.hi
- Renaming.dyn_hi
- Renaming.hi
- Spec.dyn_hi
- Spec.hi
- Transform.dyn_hi
- Transform.hi
- Translate.dyn_hi
- Translate.hi
- Type.dyn_hi
- Type.hi
- TransSys.dyn_hi
- TransSys.hi
- What4/
- Translate.dyn_hi
- Translate.hi
- What4.dyn_hi
- What4.hi
- IL/
- Theorem.dyn_hi
- Theorem.hi
- Theorem/
- libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6.a
- Copilot/
- package.conf.d/
- copilot-theorem-3.19.1.conf
- copilot-theorem-3.19.1/
- lib/
- ghc-9.6.6/
- share/
- doc/
- ghc-copilot-theorem-devel/
- CHANGELOG
- README.md
- ghc-copilot-theorem-devel/
- doc/
- lib64/
Sources on Pagure