Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-copilot-theorem-devel | Distribution: Fedora Project |
Version: 3.19.1 | Vendor: Fedora Project |
Release: 2.fc42 | Build date: Mon Sep 2 18:47:18 2024 |
Group: Unspecified | Build host: buildvm-ppc64le-11.iad2.fedoraproject.org |
Size: 5810830 | Source RPM: ghc-copilot-theorem-3.19.1-2.fc42.src.rpm |
Packager: Fedora Project | |
Url: https://hackage.haskell.org/package/copilot-theorem | |
Summary: Haskell copilot-theorem library development files |
This package provides the Haskell copilot-theorem library development files.
BSD-3-Clause
* Mon Sep 02 2024 Frank Dedden <[email protected]> - 3.19.1-1 - spec file generated by cabal-rpm-2.2.1
/usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1 /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/PrettyPrint.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/PrettyPrint.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/Spec.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/Spec.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/Transform.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/Transform.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/Translate.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/IL/Translate.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2 /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/AST.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/AST.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/Output.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/Output.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/PrettyPrint.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/PrettyPrint.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/Prover.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/Prover.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/Translate.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Kind2/Translate.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc/Error.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc/Error.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc/SExpr.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc/SExpr.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc/Utils.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Misc/Utils.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prove.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prove.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/Backend.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/Backend.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/SMT.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/SMT.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/SMTIO.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/SMTIO.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/SMTLib.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/SMTLib.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/TPTP.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Prover/TPTP.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Tactics.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/Tactics.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Cast.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Cast.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Invariants.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Invariants.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Operators.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Operators.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/PrettyPrint.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/PrettyPrint.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Renaming.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Renaming.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Spec.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Spec.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Transform.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Transform.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Translate.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Translate.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Type.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/TransSys/Type.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/What4 /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/What4.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/What4.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/What4/Translate.dyn_hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/Copilot/Theorem/What4/Translate.hi /usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/libHScopilot-theorem-3.19.1-6Gtwmz9zruQFC6dBM3WE4q.a /usr/lib64/ghc-9.6.6/lib/package.conf.d/copilot-theorem-3.19.1.conf /usr/share/doc/ghc-copilot-theorem-devel /usr/share/doc/ghc-copilot-theorem-devel/CHANGELOG /usr/share/doc/ghc-copilot-theorem-devel/README.md
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Dec 13 03:04:50 2024