Filförteckning för paketet libghc-copilot-theorem-prof i sid för arkitekturen riscv64
/usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/IL.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/IL/PrettyPrint.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/IL/Spec.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/IL/Transform.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/IL/Translate.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Kind2.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Kind2/AST.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Kind2/Output.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Kind2/PrettyPrint.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Kind2/Prover.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Kind2/Translate.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Misc/Error.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Misc/SExpr.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Misc/Utils.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Prove.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Prover/Backend.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Prover/SMT.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Prover/SMTIO.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Prover/SMTLib.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Prover/TPTP.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/Tactics.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys/Cast.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys/Invariants.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys/Operators.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys/PrettyPrint.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys/Renaming.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys/Spec.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys/Transform.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys/Translate.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/TransSys/Type.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/What4.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/Copilot/Theorem/What4/Translate.p_hi /usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.4.7/copilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb/libHScopilot-theorem-3.18.1-KSmjuh2KDaDBGs1T5Y95zb_p.a /usr/share/doc/libghc-copilot-theorem-prof/buildinfo_riscv64.gz /usr/share/doc/libghc-copilot-theorem-prof/changelog.Debian.gz /usr/share/doc/libghc-copilot-theorem-prof/changelog.Debian.riscv64.gz /usr/share/doc/libghc-copilot-theorem-prof/changelog.gz /usr/share/doc/libghc-copilot-theorem-prof/copyright