在 sid 發行版中 armhf 硬體架構下的 libghc-copilot-theorem-prof 套件檔案清單
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/IL.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/IL/PrettyPrint.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/IL/Spec.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/IL/Transform.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/IL/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Kind2.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Kind2/AST.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Kind2/Output.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Kind2/PrettyPrint.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Kind2/Prover.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Kind2/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Misc/Error.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Misc/SExpr.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Misc/Utils.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Prove.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Prover/Backend.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Prover/SMT.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Prover/SMTIO.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Prover/SMTLib.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Prover/TPTP.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/Tactics.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys/Cast.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys/Invariants.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys/Operators.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys/PrettyPrint.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys/Renaming.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys/Spec.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys/Transform.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/TransSys/Type.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/What4.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/Copilot/Theorem/What4/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/copilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ/libHScopilot-theorem-3.19.1-5hZtcIdnGn46vqThzPvkqQ_p.a
/usr/share/doc/libghc-copilot-theorem-prof/buildinfo_armhf.gz
/usr/share/doc/libghc-copilot-theorem-prof/changelog.Debian.gz
/usr/share/doc/libghc-copilot-theorem-prof/changelog.gz
/usr/share/doc/libghc-copilot-theorem-prof/copyright