在 sid 發行版中 mips64el 硬體架構下的 libghc-copilot-theorem-prof 套件檔案清單

/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/IL.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/IL/PrettyPrint.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/IL/Spec.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/IL/Transform.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/IL/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Kind2.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Kind2/AST.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Kind2/Output.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Kind2/PrettyPrint.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Kind2/Prover.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Kind2/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Misc/Error.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Misc/SExpr.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Misc/Utils.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Prove.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Prover/Backend.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Prover/SMT.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Prover/SMTIO.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Prover/SMTLib.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Prover/TPTP.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/Tactics.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys/Cast.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys/Invariants.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys/Operators.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys/PrettyPrint.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys/Renaming.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys/Spec.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys/Transform.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/TransSys/Type.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/What4.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/Copilot/Theorem/What4/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-9.6.6/copilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0/libHScopilot-theorem-4.0-76mD5YT6V3R5LZO0IPXpa0_p.a
/usr/share/doc/libghc-copilot-theorem-prof/buildinfo_mips64el.gz
/usr/share/doc/libghc-copilot-theorem-prof/changelog.Debian.gz
/usr/share/doc/libghc-copilot-theorem-prof/changelog.Debian.mips64el.gz
/usr/share/doc/libghc-copilot-theorem-prof/changelog.gz
/usr/share/doc/libghc-copilot-theorem-prof/copyright