subject:"Bug#1054954\: haskell\-copilot\-theorem\: FTBFS\: unsatisfiable build\-dependencies\: haddock\-interface\-38, haddock\-interface\-38, libghc\-async\-dev\-2.2.4\-7edea, libghc\-attoparsec\-dev\-0.14.4\-9b901, libghc\-base\-dev\-4.15.1.0\-6a406, libghc\-bifunctors\-dev\-5.5.13\-864ee, libghc\-bimap\-dev\-0.5.0\-e16f1, libghc\-bv\-sized\-dev\-1.0.4\-82727, libghc\-bytestring\-dev\-0.10.12.1\-ced9a, libghc\-concurrent\-extra\-dev\-0.7.0.12\-20bc1, libghc\-config\-value\-dev\-0.8.3\-b90da, libghc\-containers\-dev\-0.6.4.1\-31c3b, libghc\-data\-binary\-ieee754\-dev\-0.4.4\-bdd42, libghc\-deepseq\-dev\-1.4.5.0\-118cf, libghc\-deriving\-compat\-dev\-0.6.1\-d03ae, libghc\-directory\-dev\-1.3.6.2\-311c9, libghc\-exceptions\-dev\-0.10.4\-c14ff, libghc\-filepath\-dev\-1.4.2.1\-4459f, libghc\-fingertree\-dev\-0.1.5.0\-14910, libghc\-ghc\-prim\-dev\-0.7.0\-65cf5, libghc\-hashable\-dev\-1.3.5.0\-3fad8, libghc\-hashtables\-dev\-1.2.4.2\-4be59, libghc\-io\-streams\-dev\-1.5.2.2\-20c45, libghc\-lens\-dev\-5.0.1\-5039c, libghc\-libbf\-dev\-0.6.5.1\-82182, libghc\-mtl\-dev\-2.2.2\-e3bae, libghc\-panic\-dev\-0. 4.0.1\-95384, libghc\-parameterized\-utils\-dev\-2.1.5.0\-7c4ad, libghc\-prettyprinter\-dev\-1.7.1\-c341b, libghc\-process\-dev\-1.6.13.2\-9f25f, libghc\-scientific\-dev\-0.3.7.0\-de1a8, libghc\-template\-haskell\-dev\-2.17.0.0\-7274a, libghc\-temporary\-dev\-1.3\-5f386, libghc\-text\-dev\-1.2.5.0\-8553e, libghc\-th\-abstraction\-dev\-0.4.5.0\-4048c, libghc\-th\-lift\-dev\-0.8.2\-fd5f2, libghc\-th\-lift\-instances\-dev\-0.1.20\-ef320, libghc\-transformers\-dev\-0.5.6.2\-fc6f3, libghc\-unordered\-containers\-dev\-0.2.17.0\-1d16d, libghc\-utf8\-string\-dev\-1.0.2\-a50cd, libghc\-vector\-dev\-0.12.3.1\-f377c, libghc\-versions\-dev\-5.0.3\-f2263, libghc\-zenc\-dev\-0.1.2\-d8c5c, haddock\-interface\-38, libghc\-async\-prof\-2.2.4\-7edea, libghc\-attoparsec\-prof\-0.14.4\-9b901, libghc\-base\-prof\-4.15.1.0\-6a406, libghc\-bifunctors\-prof\-5.5.13\-864ee, libghc\-bimap\-prof\-0.5.0\-e16f1, libghc\-bv\-sized\-prof\-1.0.4\-82727, libghc\-bytestring\-prof\-0.10.12.1\-ced9a, libghc\-concurrent\-extra\-prof\-0.7.0.12\-20bc1, libghc\-config\-value\-prof\-0.8.3\-b90da, libghc\-containers\-prof\-0.6.4.1\-31c3b, libghc\-data\-binary\-ieee754\-prof\-0.4.4\-bdd42, libghc\-deepseq\-prof\-1.4.5.0\-118cf, libghc\-deriving\-compat\-prof\-0.6.1\-d03ae, libghc\-directory\-prof\-1.3.6.2\-311c9, libghc\-exceptions\-prof\-0.10.4\-c14ff, libghc\-filepath\-prof\-1.4.2.1\-4459f, libghc\-fingertree\-prof\-0.1.5.0\-14910, libghc\-ghc\-prim\-prof\-0.7.0\-65cf5, libghc\-hashable\-prof\-1.3.5.0\-3fad8, libghc\-hashtables\-prof\-1.2.4.2\-4be59, libghc\-io\-streams\-prof\-1.5.2.2\-20c45, libghc\-lens\-prof\-5.0.1\-5039c, libghc\-libbf\-prof\-0.6.5.1\-82182, libghc\-mtl\-prof\-2.2.2\-e3bae, libghc\-panic\-prof\-0.4.0.1\-95384, libghc\-parameterized\-utils\-prof\-2.1.5.0\-7c4ad, libghc\-prettyprinter\-prof\-1.7.1\-c341b, libghc\-process\-prof\-1.6.13.2\-9f25f, libghc\-scientific\-prof\-0.3.7.0\-de1a8, libghc\-template\-haskell\-prof\-2.17.0.0\-7274a, libghc\-temporary\-prof\-1.3\-5f386, libghc\-text\-prof\-1.2.5.0\-8553e, libghc\-th\-abstraction\-prof\-0.4.5.0\-4048c, libghc\-th\-lift\-instances\-prof\-0.1.20\-ef320, libghc\-th\-lift\-prof\-0.8.2\-fd5f2, libghc\-transformers\-prof\-0.5.6.2\-fc6f3, libghc\-unordered\-containers\- prof\-0.2.17.0\-1d16d, libghc\-utf8\-string\-prof\-1.0.2\-a50cd, libghc\-vector\-prof\-0.12.3.1\-f377c, libghc\-versions\-prof\-5.0.3\-f2263, libghc\-zenc\-prof\-0.1.2\-d8c5c"