Zoznam súborov balíka libghc-copilot-theorem-dev v trixie architektúry riscv64

/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL/PrettyPrint.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL/PrettyPrint.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL/Spec.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL/Spec.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL/Transform.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL/Transform.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL/Translate.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/IL/Translate.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/AST.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/AST.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/Output.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/Output.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/PrettyPrint.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/PrettyPrint.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/Prover.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/Prover.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/Translate.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Kind2/Translate.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Misc/Error.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Misc/Error.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Misc/SExpr.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Misc/SExpr.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Misc/Utils.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Misc/Utils.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prove.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prove.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/Backend.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/Backend.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/SMT.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/SMT.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/SMTIO.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/SMTIO.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/SMTLib.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/SMTLib.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/TPTP.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Prover/TPTP.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Tactics.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/Tactics.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Cast.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Cast.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Invariants.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Invariants.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Operators.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Operators.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/PrettyPrint.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/PrettyPrint.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Renaming.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Renaming.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Spec.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Spec.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Transform.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Transform.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Translate.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Translate.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Type.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/TransSys/Type.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/What4.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/What4.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/What4/Translate.dyn_hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/Copilot/Theorem/What4/Translate.hi
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/copilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q/libHScopilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q.a
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.6.6/libHScopilot-theorem-4.0-3THVA0rFWMdI9SL6yNiV1Q-ghc9.6.6.so
/usr/share/doc/libghc-copilot-theorem-dev/buildinfo_riscv64.gz
/usr/share/doc/libghc-copilot-theorem-dev/changelog.Debian.gz
/usr/share/doc/libghc-copilot-theorem-dev/changelog.Debian.riscv64.gz
/usr/share/doc/libghc-copilot-theorem-dev/changelog.gz
/usr/share/doc/libghc-copilot-theorem-dev/copyright
/var/lib/ghc/package.conf.d/copilot-theorem-4.0.conf