File list of package libghc-copilot-theorem-prof in sid of architecture arm64

/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/IL.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/IL/PrettyPrint.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/IL/Spec.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/IL/Transform.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/IL/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Kind2.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Kind2/AST.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Kind2/Output.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Kind2/PrettyPrint.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Kind2/Prover.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Kind2/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Misc/Error.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Misc/SExpr.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Misc/Utils.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Prove.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Prover/Backend.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Prover/SMT.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Prover/SMTIO.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Prover/SMTLib.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Prover/TPTP.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/Tactics.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys/Cast.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys/Invariants.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys/Operators.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys/PrettyPrint.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys/Renaming.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys/Spec.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys/Transform.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/TransSys/Type.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/What4.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/Copilot/Theorem/What4/Translate.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.4.7/copilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo/libHScopilot-theorem-3.18.1-DQTkZF5zq8uAZUNsGOlqUo_p.a
/usr/share/doc/libghc-copilot-theorem-prof/buildinfo_arm64.gz
/usr/share/doc/libghc-copilot-theorem-prof/changelog.Debian.arm64.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