Metadata for ghc-copilot-theorem-devel-3.19.1-2.el10_0.ppc64le.rpm

0 directories 0 files
Go up

INFO

Name: ghc-copilot-theorem-devel
Version: 3.19.1-2.el10_0
Arch: ppc64le
Summary: Haskell copilot-theorem library development files
License: BSD-3-Clause
Vendor: Fedora Project
Build Host: buildvm-ppc64le-17.iad2.fedoraproject.org
Build Date: Sat May  3 15:14:05 2025
Size: 6423604
URL: https://hackage.haskell.org/package/copilot-theorem
Description: This package provides the Haskell copilot-theorem library development
files.

FILES

/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

REQUIRES

ghc-compiler 9.6.6
ghc-copilot-theorem(ppc-64) 3.19.1-2.el10_0
ghc-devel(base-4.18.2.1)
ghc-devel(bimap-0.5.0-7xXK3bsJVmhBL74wTtka32)
ghc-devel(bv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C)
ghc-devel(containers-0.6.7)
ghc-devel(copilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn)
ghc-devel(copilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l)
ghc-devel(data-default-0.7.1.1-DpysxdNbXrFKlCHYRosISy)
ghc-devel(directory-1.3.8.5)
ghc-devel(libBF-0.6.8-1n8crzFPJtFFSoDYGcSSrB)
ghc-devel(mtl-2.3.1)
ghc-devel(panic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe)
ghc-devel(parameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl)
ghc-devel(parsec-3.1.16.1)
ghc-devel(pretty-1.1.3.6)
ghc-devel(process-1.6.19.0)
ghc-devel(random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI)
ghc-devel(transformers-0.6.1.0)
ghc-devel(what4-1.5.1-5lbIrYcdqgBKaFk3NGZiHl)
ghc-devel(xml-1.3.14-3CsuYrgQlhu1X5fBOwcswt)
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1

PROVIDES

ghc-copilot-theorem-devel 3.19.1-2.el10_0
ghc-copilot-theorem-devel(ppc-64) 3.19.1-2.el10_0
ghc-copilot-theorem-static 3.19.1-2.el10_0
ghc-copilot-theorem-static(ppc-64) 3.19.1-2.el10_0
ghc-devel(copilot-theorem-3.19.1-6Gtwmz9zruQFC6dBM3WE4q)

CONFIG FILES

/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 d
/usr/share/doc/ghc-copilot-theorem-devel/README.md d

LICENSE FILES

BSD-3-Clause