==> Cloning haskell-sbv ... Cloning into 'haskell-sbv'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring haskell-sbv :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 133k 100 133k 0 0 393k 0 --:--:-- --:--:-- --:--:-- 394k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8560k 100 8560k 0 0 20.5M 0 --:--:-- --:--:-- --:--:-- 20.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 86 142k 86 123k 0 0 364k 0 --:--:-- --:--:-- --:--:-- 364k 100 142k 100 142k 0 0 421k 0 --:--:-- --:--:-- --:--:-- 421k :: Starting full system upgrade... there is nothing to do ==> Making package: haskell-sbv 9.1-37 (Fri Apr 11 05:26:22 2025) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (16) haskell-base-orphans-0.8.8.2-12 haskell-data-array-byte-0.1.0.1-53 haskell-erf-2.0.0.0-25 haskell-ghc-bignum-orphans-0.1.1-2 haskell-hashable-1.4.3.0-44 haskell-splitmix-0.1.0.5-20 haskell-unordered-containers-0.2.20-13 libbf-2020.01.19-1 numactl-2.0.18-1 ghc-libs-9.2.8-1 haskell-async-2.2.5-25 haskell-libbf-0.6.5.1-42 haskell-quickcheck-2.14.3-62 haskell-random-1.2.1.2-6 haskell-syb-0.7.2.4-7 haskell-uniplate-1.6.13-218 Total Download Size: 17.83 MiB Total Installed Size: 132.83 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 83803 100 83803 0 0 38.5M 0 --:--:-- --:--:-- --:--:-- 39.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 44 16.1M 44 7423k 0 0 110M 0 --:--:-- --:--:-- --:--:-- 109M 100 16.1M 100 16.1M 0 0 111M 0 --:--:-- --:--:-- --:--:-- 111M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 15637 100 15637 0 0 11.5M 0 --:--:-- --:--:-- --:--:-- 14.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 35865 100 35865 0 0 26.4M 0 --:--:-- --:--:-- --:--:-- 34.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 201k 100 201k 0 0 77.9M 0 --:--:-- --:--:-- --:--:-- 98.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 480k 100 480k 0 0 101M 0 --:--:-- --:--:-- --:--:-- 117M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 28164 100 28164 0 0 20.9M 0 --:--:-- --:--:-- --:--:-- 26.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 30141 100 30141 0 0 20.3M 0 --:--:-- --:--:-- --:--:-- 28.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 5853 100 5853 0 0 5080k 0 --:--:-- --:--:-- --:--:-- 5715k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 93418 100 93418 0 0 46.7M 0 --:--:-- --:--:-- --:--:-- 89.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 57780 100 57780 0 0 33.8M 0 --:--:-- --:--:-- --:--:-- 55.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 60990 100 60990 0 0 41.0M 0 --:--:-- --:--:-- --:--:-- 58.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 86611 100 86611 0 0 39.4M 0 --:--:-- --:--:-- --:--:-- 41.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 87549 100 87549 0 0 51.4M 0 --:--:-- --:--:-- --:--:-- 83.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 216k 100 216k 0 0 76.3M 0 --:--:-- --:--:-- --:--:-- 105M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 245k 100 245k 0 0 84.7M 0 --:--:-- --:--:-- --:--:-- 120M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing numactl... installing ghc-libs... installing haskell-erf... installing haskell-splitmix... installing haskell-random... installing haskell-quickcheck... installing haskell-base-orphans... installing haskell-data-array-byte... installing haskell-ghc-bignum-orphans... installing haskell-hashable... installing haskell-async... installing libbf... installing haskell-libbf... installing haskell-syb... installing haskell-unordered-containers... installing haskell-uniplate... :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Registering Haskell modules... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (73) haskell-aeson-2.1.2.1-42 haskell-ansi-terminal-0.11.4-64 haskell-ansi-wl-pprint-0.6.9-416 haskell-assoc-1.0.2-256 haskell-attoparsec-0.14.4-73 haskell-base-compat-0.12.2-2 haskell-base-compat-batteries-0.12.2-81 haskell-bifunctors-5.6-67 haskell-bitvec-1.1.3.0-89 haskell-call-stack-0.4.0-182 haskell-clock-0.8.4-2 haskell-cmdargs-0.10.22-2 haskell-colour-2.3.6-208 haskell-comonad-5.0.8-251 haskell-conduit-1.3.5-46 haskell-contravariant-1.5.5-4 haskell-cpphs-1.20.9.1-13 haskell-data-default-0.7.1.1-305 haskell-data-default-class-0.1.2.0-25 haskell-data-default-instances-containers-0.0.1-37 haskell-data-default-instances-dlist-0.0.1-318 haskell-data-default-instances-old-locale-0.0.1-37 haskell-data-fix-0.3.2-101 haskell-deriving-aeson-0.2.9-62 haskell-distributive-0.6.2.1-208 haskell-dlist-1.0-240 haskell-extra-1.7.14-33 haskell-file-embed-0.0.15.0-2 haskell-filepattern-0.1.3-86 haskell-foldable1-classes-compat-0.1-67 haskell-generically-0.1.1-2 haskell-ghc-lib-parser-ex-9.2.1.1-5 haskell-hscolour-1.25-2 haskell-indexed-traversable-0.1.3-59 haskell-indexed-traversable-instances-0.1.1.2-39 haskell-integer-logarithms-1.0.3.1-7 haskell-libyaml-0.1.2-343 haskell-mono-traversable-1.0.17.0-1 haskell-old-locale-1.0.0.7-31 haskell-onetuple-0.3.1-74 haskell-optparse-applicative-0.17.1.0-27 haskell-polyparse-1.13-12 haskell-primitive-0.7.4.0-109 haskell-refact-0.3.0.2-26 haskell-resourcet-1.2.6-50 haskell-scientific-0.3.7.0-112 haskell-semialign-1.2.0.1-155 haskell-semigroupoids-5.3.7-137 haskell-split-0.2.5-5 haskell-statevar-1.2.2-3 haskell-strict-0.4.0.1-230 haskell-tagged-0.8.8-2 haskell-temporary-1.3-582 haskell-text-short-0.1.5-78 haskell-th-abstraction-0.4.5.0-2 haskell-these-1.1.1.1-257 haskell-time-compat-1.9.6.1-96 haskell-transformers-compat-0.7.2-2 haskell-typed-process-0.2.11.1-14 haskell-unliftio-core-0.2.1.0-2 haskell-utf8-string-1.0.2-149 haskell-uuid-types-1.0.5.1-15 haskell-vector-0.13.1.0-28 haskell-vector-algorithms-0.9.0.1-89 haskell-vector-stream-0.1.0.1-2 haskell-witherable-0.4.2-96 haskell-yaml-0.11.11.2-41 ghc-9.2.8-1 haskell-tasty-1.4.3-70 haskell-tasty-golden-2.3.5-87 haskell-tasty-hunit-0.10.1-34 haskell-tasty-quickcheck-0.10.2-346 hlint-3.4.1-6 Total Download Size: 43.83 MiB Total Installed Size: 298.40 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 65 33.7M 65 22.1M 0 0 116M 0 --:--:-- --:--:-- --:--:-- 116M 100 33.7M 100 33.7M 0 0 118M 0 --:--:-- --:--:-- --:--:-- 118M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 9396 100 9396 0 0 7423k 0 --:--:-- --:--:-- --:--:-- 9175k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 24084 100 24084 0 0 19.1M 0 --:--:-- --:--:-- --:--:-- 22.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 235k 100 235k 0 0 84.0M 0 --:--:-- --:--:-- --:--:-- 114M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 98k 100 98k 0 0 59.3M 0 --:--:-- --:--:-- --:--:-- 96.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 321k 100 321k 0 0 95.7M 0 --:--:-- --:--:-- --:--:-- 104M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 80917 100 80917 0 0 49.2M 0 --:--:-- --:--:-- --:--:-- 77.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 79236 100 79236 0 0 51.2M 0 --:--:-- --:--:-- --:--:-- 75.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 36725 100 36725 0 0 28.6M 0 --:--:-- --:--:-- --:--:-- 35.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 49966 100 49966 0 0 36.1M 0 --:--:-- --:--:-- --:--:-- 47.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 19781 100 19781 0 0 16.3M 0 --:--:-- --:--:-- --:--:-- 18.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 55312 100 55312 0 0 35.0M 0 --:--:-- --:--:-- --:--:-- 52.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 69719 100 69719 0 0 47.3M 0 --:--:-- --:--:-- --:--:-- 66.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 102k 100 102k 0 0 64.5M 0 --:--:-- --:--:-- --:--:-- 100M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 68462 100 68462 0 0 44.1M 0 --:--:-- --:--:-- --:--:-- 65.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1004k 100 1004k 0 0 106M 0 --:--:-- --:--:-- --:--:-- 108M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 22610 100 22610 0 0 18.3M 0 --:--:-- --:--:-- --:--:-- 21.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 37077 100 37077 0 0 25.6M 0 --:--:-- --:--:-- --:--:-- 35.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 109k 100 109k 0 0 60.1M 0 --:--:-- --:--:-- --:--:-- 107M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 93829 100 93829 0 0 55.9M 0 --:--:-- --:--:-- --:--:-- 89.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 135k 100 135k 0 0 70.9M 0 --:--:-- --:--:-- --:--:-- 132M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 363k 100 363k 0 0 100M 0 --:--:-- --:--:-- --:--:-- 118M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 19841 100 19841 0 0 16.3M 0 --:--:-- --:--:-- --:--:-- 18.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 57805 100 57805 0 0 40.8M 0 --:--:-- --:--:-- --:--:-- 55.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 326k 100 326k 0 0 97.5M 0 --:--:-- --:--:-- --:--:-- 106M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16971 100 16971 0 0 12.1M 0 --:--:-- --:--:-- --:--:-- 16.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 91494 100 91494 0 0 52.3M 0 --:--:-- --:--:-- --:--:-- 87.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 119k 100 119k 0 0 65.1M 0 --:--:-- --:--:-- --:--:-- 117M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 154k 100 154k 0 0 68.7M 0 --:--:-- --:--:-- --:--:-- 75.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 69912 100 69912 0 0 42.7M 0 --:--:-- --:--:-- --:--:-- 66.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 62691 100 62691 0 0 43.1M 0 --:--:-- --:--:-- --:--:-- 59.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 62903 100 62903 0 0 40.6M 0 --:--:-- --:--:-- --:--:-- 59.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 111k 100 111k 0 0 60.1M 0 --:--:-- --:--:-- --:--:-- 108M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1080k 100 1080k 0 0 98.3M 0 --:--:-- --:--:-- --:--:-- 105M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 142k 100 142k 0 0 68.5M 0 --:--:-- --:--:-- --:--:-- 138M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 113k 100 113k 0 0 63.1M 0 --:--:-- --:--:-- --:--:-- 110M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 347k 100 347k 0 0 96.3M 0 --:--:-- --:--:-- --:--:-- 113M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 250k 100 250k 0 0 87.2M 0 --:--:-- --:--:-- --:--:-- 122M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 168k 100 168k 0 0 71.0M 0 --:--:-- --:--:-- --:--:-- 82.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16534 100 16534 0 0 11.6M 0 --:--:-- --:--:-- --:--:-- 15.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8209 100 8209 0 0 6408k 0 --:--:-- --:--:-- --:--:-- 8016k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 7257 100 7257 0 0 6088k 0 --:--:-- --:--:-- --:--:-- 7086k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 26650 100 26650 0 0 20.3M 0 --:--:-- --:--:-- --:--:-- 25.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 7103 100 7103 0 0 6488k 0 --:--:-- --:--:-- --:--:-- 6936k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 7265 100 7265 0 0 6750k 0 --:--:-- --:--:-- --:--:-- 7094k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 30648 100 30648 0 0 23.8M 0 --:--:-- --:--:-- --:--:-- 29.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 63482 100 63482 0 0 42.3M 0 --:--:-- --:--:-- --:--:-- 60.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 131k 100 131k 0 0 63.4M 0 --:--:-- --:--:-- --:--:-- 128M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 34337 100 34337 0 0 24.9M 0 --:--:-- --:--:-- --:--:-- 32.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 74789 100 74789 0 0 45.9M 0 --:--:-- --:--:-- --:--:-- 71.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 98k 100 98k 0 0 53.9M 0 --:--:-- --:--:-- --:--:-- 96.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 196k 100 196k 0 0 77.9M 0 --:--:-- --:--:-- --:--:-- 96.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 62413 100 62413 0 0 39.2M 0 --:--:-- --:--:-- --:--:-- 59.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 74082 100 74082 0 0 44.1M 0 --:--:-- --:--:-- --:--:-- 70.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 35560 100 35560 0 0 24.6M 0 --:--:-- --:--:-- --:--:-- 33.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 243k 100 243k 0 0 84.8M 0 --:--:-- --:--:-- --:--:-- 119M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 270k 100 270k 0 0 86.8M 0 --:--:-- --:--:-- --:--:-- 132M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 503k 100 503k 0 0 104M 0 --:--:-- --:--:-- --:--:-- 123M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 19362 100 19362 0 0 15.2M 0 --:--:-- --:--:-- --:--:-- 18.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 75877 100 75877 0 0 48.8M 0 --:--:-- --:--:-- --:--:-- 72.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 294k 100 294k 0 0 84.5M 0 --:--:-- --:--:-- --:--:-- 95.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 115k 100 115k 0 0 56.7M 0 --:--:-- --:--:-- --:--:-- 112M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 52775 100 52775 0 0 38.1M 0 --:--:-- --:--:-- --:--:-- 50.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 243k 100 243k 0 0 86.0M 0 --:--:-- --:--:-- --:--:-- 119M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 170k 100 170k 0 0 76.5M 0 --:--:-- --:--:-- --:--:-- 83.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 829k 100 829k 0 0 96.9M 0 --:--:-- --:--:-- --:--:-- 101M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 254k 100 254k 0 0 89.1M 0 --:--:-- --:--:-- --:--:-- 124M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 18807 100 18807 0 0 15.3M 0 --:--:-- --:--:-- --:--:-- 17.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 65895 100 65895 0 0 41.0M 0 --:--:-- --:--:-- --:--:-- 62.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 51105 100 51105 0 0 33.3M 0 --:--:-- --:--:-- --:--:-- 48.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 17193 100 17193 0 0 12.3M 0 --:--:-- --:--:-- --:--:-- 16.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 32314 100 32314 0 0 25.3M 0 --:--:-- --:--:-- --:--:-- 30.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 36106 100 36106 0 0 29.0M 0 --:--:-- --:--:-- --:--:-- 34.4M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing ghc... installing haskell-onetuple... installing haskell-integer-logarithms... installing haskell-primitive... installing haskell-scientific... installing haskell-attoparsec... installing haskell-base-compat... installing haskell-base-compat-batteries... installing haskell-data-fix... installing haskell-dlist... installing haskell-generically... installing haskell-tagged... installing haskell-foldable1-classes-compat... installing haskell-indexed-traversable... installing haskell-vector-stream... installing haskell-vector... installing haskell-indexed-traversable-instances... installing haskell-distributive... installing haskell-transformers-compat... installing haskell-comonad... installing haskell-th-abstraction... installing haskell-bifunctors... installing haskell-statevar... installing haskell-contravariant... installing haskell-semigroupoids... installing haskell-assoc... installing haskell-these... installing haskell-semialign... installing haskell-strict... installing haskell-text-short... installing haskell-time-compat... installing haskell-uuid-types... installing haskell-witherable... installing haskell-aeson... installing haskell-colour... installing haskell-ansi-terminal... installing haskell-cmdargs... installing haskell-polyparse... installing haskell-cpphs... installing haskell-data-default-class... installing haskell-data-default-instances-containers... installing haskell-data-default-instances-dlist... installing haskell-old-locale... installing haskell-data-default-instances-old-locale... installing haskell-data-default... installing haskell-deriving-aeson... installing haskell-clock... installing haskell-extra... installing haskell-file-embed... installing haskell-filepattern... installing haskell-ghc-lib-parser-ex... installing haskell-hscolour... installing haskell-refact... installing haskell-utf8-string... installing haskell-split... installing haskell-bitvec... installing haskell-vector-algorithms... installing haskell-mono-traversable... installing haskell-unliftio-core... installing haskell-resourcet... installing haskell-conduit... installing haskell-libyaml... installing haskell-ansi-wl-pprint... installing haskell-optparse-applicative... installing haskell-yaml... installing hlint... installing haskell-tasty... installing haskell-temporary... installing haskell-typed-process... installing haskell-tasty-golden... installing haskell-call-stack... installing haskell-tasty-hunit... installing haskell-tasty-quickcheck... :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Registering Haskell modules... ==> Retrieving sources... -> Downloading sbv-9.1.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 938k 100 938k 0 0 13.7M 0 --:--:-- --:--:-- --:--:-- 13.7M ==> WARNING: Skipping verification of source file PGP signatures. ==> Validating source files with sha512sums... sbv-9.1.tar.gz ... Passed ==> Extracting sources... -> Extracting sbv-9.1.tar.gz with bsdtar ==> Starting build()... Configuring sbv-9.1... Preprocessing library for sbv-9.1.. Building library for sbv-9.1.. [ 1 of 154] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist/build/Data/SBV/Control/Types.dyn_o ) [ 2 of 154] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, dist/build/Data/SBV/Core/AlgReals.dyn_o ) [ 3 of 154] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist/build/Data/SBV/SMT/SMTLibNames.dyn_o ) [ 4 of 154] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, dist/build/Data/SBV/Utils/ExtractIO.dyn_o ) [ 5 of 154] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.dyn_o ) [ 6 of 154] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, dist/build/Data/SBV/Core/Kind.dyn_o ) [ 7 of 154] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist/build/Data/SBV/Utils/Numeric.dyn_o ) [ 8 of 154] Compiling Data.SBV.Core.SizedFloats ( Data/SBV/Core/SizedFloats.hs, dist/build/Data/SBV/Core/SizedFloats.dyn_o ) [ 9 of 154] Compiling Data.SBV.Float ( Data/SBV/Float.hs, dist/build/Data/SBV/Float.dyn_o ) [ 10 of 154] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, dist/build/Data/SBV/Core/Concrete.dyn_o ) [ 11 of 154] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.dyn_o ) [ 12 of 154] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, dist/build/Data/SBV/Core/Symbolic.dyn_o ) [ 13 of 154] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, dist/build/Data/SBV/Core/Operations.dyn_o ) [ 14 of 154] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, dist/build/Data/SBV/Core/Data.dyn_o ) [ 15 of 154] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, dist/build/Data/SBV/Utils/SExpr.dyn_o ) [ 16 of 154] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, dist/build/Data/SBV/Utils/PrettyNum.dyn_o ) [ 17 of 154] Compiling Data.SBV.Utils.CrackNum ( Data/SBV/Utils/CrackNum.hs, dist/build/Data/SBV/Utils/CrackNum.dyn_o ) [ 18 of 154] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.dyn_o ) [ 19 of 154] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, dist/build/Data/SBV/SMT/Utils.dyn_o ) [ 20 of 154] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.dyn_o ) [ 21 of 154] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.dyn_o ) [ 22 of 154] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.dyn_o ) [ 23 of 154] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.dyn_o ) [ 24 of 154] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.dyn_o ) [ 25 of 154] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.dyn_o ) [ 26 of 154] Compiling Data.SBV.Provers.DReal ( Data/SBV/Provers/DReal.hs, dist/build/Data/SBV/Provers/DReal.dyn_o ) [ 27 of 154] Compiling Data.SBV.Provers.CVC5 ( Data/SBV/Provers/CVC5.hs, dist/build/Data/SBV/Provers/CVC5.dyn_o ) [ 28 of 154] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.dyn_o ) [ 29 of 154] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.dyn_o ) [ 30 of 154] Compiling Data.SBV.Provers.Bitwuzla ( Data/SBV/Provers/Bitwuzla.hs, dist/build/Data/SBV/Provers/Bitwuzla.dyn_o ) [ 31 of 154] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist/build/Data/SBV/Provers/ABC.dyn_o ) [ 32 of 154] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist/build/Data/SBV/Control/Utils.dyn_o ) [ 33 of 154] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist/build/Data/SBV/Control/Query.dyn_o ) [ 34 of 154] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, dist/build/Data/SBV/Trans/Control.dyn_o ) [ 35 of 154] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.dyn_o ) [ 36 of 154] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist/build/Data/SBV/Core/Model.dyn_o ) [ 37 of 154] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, dist/build/Data/SBV/Tuple.dyn_o ) [ 38 of 154] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist/build/Data/SBV/Tools/STree.dyn_o ) [ 39 of 154] Compiling Data.SBV.String ( Data/SBV/String.hs, dist/build/Data/SBV/String.dyn_o ) [ 40 of 154] Compiling Data.SBV.Set ( Data/SBV/Set.hs, dist/build/Data/SBV/Set.dyn_o ) [ 41 of 154] Compiling Data.SBV.Rational ( Data/SBV/Rational.hs, dist/build/Data/SBV/Rational.dyn_o ) [ 42 of 154] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, dist/build/Data/SBV/Maybe.dyn_o ) [ 43 of 154] Compiling Data.SBV.List ( Data/SBV/List.hs, dist/build/Data/SBV/List.dyn_o ) [ 44 of 154] Compiling Data.SBV.Either ( Data/SBV/Either.hs, dist/build/Data/SBV/Either.dyn_o ) [ 45 of 154] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, dist/build/Data/SBV/Core/Sized.dyn_o ) [ 46 of 154] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.dyn_o ) [ 47 of 154] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist/build/Data/SBV/Tools/Overflow.dyn_o ) [ 48 of 154] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist/build/Data/SBV/Core/Floating.dyn_o ) [ 49 of 154] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist/build/Data/SBV/Char.dyn_o ) [ 50 of 154] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist/build/Data/SBV/RegExp.dyn_o ) [ 51 of 154] Compiling Data.SBV.Client ( Data/SBV/Client.hs, dist/build/Data/SBV/Client.dyn_o ) [ 52 of 154] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, dist/build/Data/SBV/Control/BaseIO.dyn_o ) [ 53 of 154] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist/build/Data/SBV/Control.dyn_o ) [ 54 of 154] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.dyn_o ) [ 55 of 154] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.dyn_o ) [ 56 of 154] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist/build/Data/SBV/Tools/CodeGen.dyn_o ) [ 57 of 154] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.dyn_o ) [ 58 of 154] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, dist/build/Data/SBV/Client/BaseIO.dyn_o ) [ 59 of 154] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, dist/build/Data/SBV/Trans.dyn_o ) [ 60 of 154] Compiling Data.SBV ( Data/SBV.hs, dist/build/Data/SBV.dyn_o ) [ 61 of 154] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, dist/build/Data/SBV/Tools/WeakestPreconditions.dyn_o ) [ 62 of 154] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, dist/build/Data/SBV/Tools/Range.dyn_o ) [ 63 of 154] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, dist/build/Data/SBV/Tools/Induction.dyn_o ) [ 64 of 154] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, dist/build/Data/SBV/Tools/BoundedList.dyn_o ) [ 65 of 154] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, dist/build/Data/SBV/Tools/BoundedFix.dyn_o ) [ 66 of 154] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, dist/build/Data/SBV/Tools/BMC.dyn_o ) [ 67 of 154] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist/build/Data/SBV/Dynamic.dyn_o ) [ 68 of 154] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Documentation/SBV/Examples/BitPrecise/BitTricks.dyn_o ) [ 69 of 154] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.dyn_o ) [ 70 of 154] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist/build/Documentation/SBV/Examples/BitPrecise/Legato.dyn_o ) [ 71 of 154] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Documentation/SBV/Examples/BitPrecise/MergeSort.dyn_o ) [ 72 of 154] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist/build/Documentation/SBV/Examples/BitPrecise/MultMask.dyn_o ) [ 73 of 154] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.dyn_o ) [ 74 of 154] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/AddSub.dyn_o ) [ 75 of 154] Compiling Documentation.SBV.Examples.CodeGeneration.CRC_USB5 ( Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.dyn_o ) [ 76 of 154] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.dyn_o ) [ 77 of 154] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/GCD.dyn_o ) [ 78 of 154] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.dyn_o ) [ 79 of 154] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.dyn_o ) [ 80 of 154] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist/build/Documentation/SBV/Examples/Crypto/AES.dyn_o ) [ 81 of 154] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist/build/Documentation/SBV/Examples/Crypto/RC4.dyn_o ) [ 82 of 154] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, dist/build/Documentation/SBV/Examples/Crypto/SHA.dyn_o ) [ 83 of 154] Compiling Documentation.SBV.Examples.DeltaSat.DeltaSat ( Documentation/SBV/Examples/DeltaSat/DeltaSat.hs, dist/build/Documentation/SBV/Examples/DeltaSat/DeltaSat.dyn_o ) [ 84 of 154] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.dyn_o ) [ 85 of 154] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist/build/Documentation/SBV/Examples/Existentials/Diophantine.dyn_o ) [ 86 of 154] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, dist/build/Documentation/SBV/Examples/Lists/BoundedMutex.dyn_o ) [ 87 of 154] Compiling Documentation.SBV.Examples.Lists.CountOutAndTransfer ( Documentation/SBV/Examples/Lists/CountOutAndTransfer.hs, dist/build/Documentation/SBV/Examples/Lists/CountOutAndTransfer.dyn_o ) [ 88 of 154] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, dist/build/Documentation/SBV/Examples/Lists/Fibonacci.dyn_o ) [ 89 of 154] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, dist/build/Documentation/SBV/Examples/Lists/Nested.dyn_o ) [ 90 of 154] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist/build/Documentation/SBV/Examples/Misc/Auxiliary.dyn_o ) [ 91 of 154] Compiling Documentation.SBV.Examples.Misc.Definitions ( Documentation/SBV/Examples/Misc/Definitions.hs, dist/build/Documentation/SBV/Examples/Misc/Definitions.dyn_o ) [ 92 of 154] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist/build/Documentation/SBV/Examples/Misc/Enumerate.dyn_o ) [ 93 of 154] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist/build/Documentation/SBV/Examples/Misc/Floating.dyn_o ) [ 94 of 154] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist/build/Documentation/SBV/Examples/Misc/ModelExtract.dyn_o ) [ 95 of 154] Compiling Documentation.SBV.Examples.Misc.NestedArray ( Documentation/SBV/Examples/Misc/NestedArray.hs, dist/build/Documentation/SBV/Examples/Misc/NestedArray.dyn_o ) [ 96 of 154] Compiling Documentation.SBV.Examples.Misc.Newtypes ( Documentation/SBV/Examples/Misc/Newtypes.hs, dist/build/Documentation/SBV/Examples/Misc/Newtypes.dyn_o ) [ 97 of 154] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist/build/Documentation/SBV/Examples/Misc/NoDiv0.dyn_o ) [ 98 of 154] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist/build/Documentation/SBV/Examples/Misc/Polynomials.dyn_o ) [ 99 of 154] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, dist/build/Documentation/SBV/Examples/Misc/SetAlgebra.dyn_o ) [100 of 154] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist/build/Documentation/SBV/Examples/Misc/SoftConstrain.dyn_o ) [101 of 154] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, dist/build/Documentation/SBV/Examples/Misc/Tuple.dyn_o ) [102 of 154] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, dist/build/Documentation/SBV/Examples/Optimization/Enumerate.dyn_o ) [103 of 154] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist/build/Documentation/SBV/Examples/Optimization/ExtField.dyn_o ) [104 of 154] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist/build/Documentation/SBV/Examples/Optimization/LinearOpt.dyn_o ) [105 of 154] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist/build/Documentation/SBV/Examples/Optimization/Production.dyn_o ) [106 of 154] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist/build/Documentation/SBV/Examples/Optimization/VM.dyn_o ) [107 of 154] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, dist/build/Documentation/SBV/Examples/ProofTools/BMC.dyn_o ) [108 of 154] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, dist/build/Documentation/SBV/Examples/ProofTools/Fibonacci.dyn_o ) [109 of 154] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, dist/build/Documentation/SBV/Examples/ProofTools/Strengthen.dyn_o ) [110 of 154] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, dist/build/Documentation/SBV/Examples/ProofTools/Sum.dyn_o ) [111 of 154] Compiling Documentation.SBV.Examples.Puzzles.AOC_2021_24 ( Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs, dist/build/Documentation/SBV/Examples/Puzzles/AOC_2021_24.dyn_o ) [112 of 154] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist/build/Documentation/SBV/Examples/Puzzles/Birthday.dyn_o ) [113 of 154] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist/build/Documentation/SBV/Examples/Puzzles/Coins.dyn_o ) [114 of 154] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist/build/Documentation/SBV/Examples/Puzzles/Counts.dyn_o ) [115 of 154] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.dyn_o ) [116 of 154] Compiling Documentation.SBV.Examples.Puzzles.Drinker ( Documentation/SBV/Examples/Puzzles/Drinker.hs, dist/build/Documentation/SBV/Examples/Puzzles/Drinker.dyn_o ) [117 of 154] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist/build/Documentation/SBV/Examples/Puzzles/Euler185.dyn_o ) [118 of 154] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist/build/Documentation/SBV/Examples/Puzzles/Fish.dyn_o ) [119 of 154] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, dist/build/Documentation/SBV/Examples/Puzzles/Garden.dyn_o ) [120 of 154] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.dyn_o ) [121 of 154] Compiling Documentation.SBV.Examples.Puzzles.Jugs ( Documentation/SBV/Examples/Puzzles/Jugs.hs, dist/build/Documentation/SBV/Examples/Puzzles/Jugs.dyn_o ) [122 of 154] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, dist/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.dyn_o ) [123 of 154] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Documentation/SBV/Examples/Puzzles/MagicSquare.dyn_o ) [124 of 154] Compiling Documentation.SBV.Examples.Puzzles.Murder ( Documentation/SBV/Examples/Puzzles/Murder.hs, dist/build/Documentation/SBV/Examples/Puzzles/Murder.dyn_o ) [125 of 154] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist/build/Documentation/SBV/Examples/Puzzles/NQueens.dyn_o ) [126 of 154] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.dyn_o ) [127 of 154] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Documentation/SBV/Examples/Puzzles/Sudoku.dyn_o ) [128 of 154] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Documentation/SBV/Examples/Puzzles/U2Bridge.dyn_o ) [129 of 154] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, dist/build/Documentation/SBV/Examples/Queries/AllSat.dyn_o ) [130 of 154] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, dist/build/Documentation/SBV/Examples/Queries/CaseSplit.dyn_o ) [131 of 154] Compiling Documentation.SBV.Examples.Queries.Concurrency ( Documentation/SBV/Examples/Queries/Concurrency.hs, dist/build/Documentation/SBV/Examples/Queries/Concurrency.dyn_o ) [132 of 154] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, dist/build/Documentation/SBV/Examples/Queries/Enums.dyn_o ) [133 of 154] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, dist/build/Documentation/SBV/Examples/Queries/FourFours.dyn_o ) [134 of 154] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, dist/build/Documentation/SBV/Examples/Queries/GuessNumber.dyn_o ) [135 of 154] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, dist/build/Documentation/SBV/Examples/Queries/Interpolants.dyn_o ) [136 of 154] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, dist/build/Documentation/SBV/Examples/Queries/UnsatCore.dyn_o ) [137 of 154] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, dist/build/Documentation/SBV/Examples/Strings/RegexCrossword.dyn_o ) [138 of 154] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, dist/build/Documentation/SBV/Examples/Strings/SQLInjection.dyn_o ) [139 of 154] Compiling Documentation.SBV.Examples.Transformers.SymbolicEval ( Documentation/SBV/Examples/Transformers/SymbolicEval.hs, dist/build/Documentation/SBV/Examples/Transformers/SymbolicEval.dyn_o ) [140 of 154] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/AUF.dyn_o ) [141 of 154] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/Deduce.dyn_o ) [142 of 154] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/Function.dyn_o ) [143 of 154] Compiling Documentation.SBV.Examples.Uninterpreted.Multiply ( Documentation/SBV/Examples/Uninterpreted/Multiply.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/Multiply.dyn_o ) [144 of 154] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/Shannon.dyn_o ) [145 of 154] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/Sort.dyn_o ) [146 of 154] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.dyn_o ) [147 of 154] Compiling Documentation.SBV.Examples.WeakestPreconditions.Append ( Documentation/SBV/Examples/WeakestPreconditions/Append.hs, dist/build/Documentation/SBV/Examples/WeakestPreconditions/Append.dyn_o ) [148 of 154] Compiling Documentation.SBV.Examples.WeakestPreconditions.Basics ( Documentation/SBV/Examples/WeakestPreconditions/Basics.hs, dist/build/Documentation/SBV/Examples/WeakestPreconditions/Basics.dyn_o ) [149 of 154] Compiling Documentation.SBV.Examples.WeakestPreconditions.Fib ( Documentation/SBV/Examples/WeakestPreconditions/Fib.hs, dist/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.dyn_o ) [150 of 154] Compiling Documentation.SBV.Examples.WeakestPreconditions.GCD ( Documentation/SBV/Examples/WeakestPreconditions/GCD.hs, dist/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.dyn_o ) [151 of 154] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntDiv ( Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs, dist/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.dyn_o ) [152 of 154] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntSqrt ( Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs, dist/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.dyn_o ) [153 of 154] Compiling Documentation.SBV.Examples.WeakestPreconditions.Length ( Documentation/SBV/Examples/WeakestPreconditions/Length.hs, dist/build/Documentation/SBV/Examples/WeakestPreconditions/Length.dyn_o ) [154 of 154] Compiling Documentation.SBV.Examples.WeakestPreconditions.Sum ( Documentation/SBV/Examples/WeakestPreconditions/Sum.hs, dist/build/Documentation/SBV/Examples/WeakestPreconditions/Sum.dyn_o ) Preprocessing test suite 'SBVConnections' for sbv-9.1.. Building test suite 'SBVConnections' for sbv-9.1.. [1 of 1] Compiling Main ( SBVTestSuite/SBVConnectionTest.hs, dist/build/SBVConnections/SBVConnections-tmp/Main.dyn_o ) Linking dist/build/SBVConnections/SBVConnections ... Preprocessing test suite 'SBVHLint' for sbv-9.1.. Building test suite 'SBVHLint' for sbv-9.1.. [1 of 2] Compiling Main ( SBVTestSuite/SBVHLint.hs, dist/build/SBVHLint/SBVHLint-tmp/Main.dyn_o ) [2 of 2] Compiling Utils.SBVTestFramework ( SBVTestSuite/Utils/SBVTestFramework.hs, dist/build/SBVHLint/SBVHLint-tmp/Utils/SBVTestFramework.dyn_o ) Linking dist/build/SBVHLint/SBVHLint ... Preprocessing test suite 'SBVDocTest' for sbv-9.1.. Building test suite 'SBVDocTest' for sbv-9.1.. [1 of 2] Compiling Main ( SBVTestSuite/SBVDocTest.hs, dist/build/SBVDocTest/SBVDocTest-tmp/Main.dyn_o ) [2 of 2] Compiling Utils.SBVTestFramework ( SBVTestSuite/Utils/SBVTestFramework.hs, dist/build/SBVDocTest/SBVDocTest-tmp/Utils/SBVTestFramework.dyn_o ) Linking dist/build/SBVDocTest/SBVDocTest ... Preprocessing test suite 'SBVTest' for sbv-9.1.. Building test suite 'SBVTest' for sbv-9.1.. [ 1 of 108] Compiling Utils.SBVTestFramework ( SBVTestSuite/Utils/SBVTestFramework.hs, dist/build/SBVTest/SBVTest-tmp/Utils/SBVTestFramework.dyn_o ) [ 2 of 108] Compiling TestSuite.Uninterpreted.Uninterpreted ( SBVTestSuite/TestSuite/Uninterpreted/Uninterpreted.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/Uninterpreted.dyn_o ) [ 3 of 108] Compiling TestSuite.Uninterpreted.Sort ( SBVTestSuite/TestSuite/Uninterpreted/Sort.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/Sort.dyn_o ) [ 4 of 108] Compiling TestSuite.Uninterpreted.Function ( SBVTestSuite/TestSuite/Uninterpreted/Function.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/Function.dyn_o ) [ 5 of 108] Compiling TestSuite.Uninterpreted.Axioms ( SBVTestSuite/TestSuite/Uninterpreted/Axioms.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/Axioms.dyn_o ) [ 6 of 108] Compiling TestSuite.Uninterpreted.AUF ( SBVTestSuite/TestSuite/Uninterpreted/AUF.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/AUF.dyn_o ) [ 7 of 108] Compiling TestSuite.Transformers.SymbolicEval ( SBVTestSuite/TestSuite/Transformers/SymbolicEval.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Transformers/SymbolicEval.dyn_o ) [ 8 of 108] Compiling TestSuite.QuickCheck.QC ( SBVTestSuite/TestSuite/QuickCheck/QC.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/QuickCheck/QC.dyn_o ) [ 9 of 108] Compiling TestSuite.Queries.Uninterpreted ( SBVTestSuite/TestSuite/Queries/Uninterpreted.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Uninterpreted.dyn_o ) [ 10 of 108] Compiling TestSuite.Queries.UISatEx ( SBVTestSuite/TestSuite/Queries/UISatEx.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/UISatEx.dyn_o ) [ 11 of 108] Compiling TestSuite.Queries.UISat ( SBVTestSuite/TestSuite/Queries/UISat.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/UISat.dyn_o ) [ 12 of 108] Compiling TestSuite.Queries.Tuples ( SBVTestSuite/TestSuite/Queries/Tuples.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Tuples.dyn_o ) [ 13 of 108] Compiling TestSuite.Queries.Tables ( SBVTestSuite/TestSuite/Queries/Tables.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Tables.dyn_o ) [ 14 of 108] Compiling TestSuite.Queries.Sums ( SBVTestSuite/TestSuite/Queries/Sums.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Sums.dyn_o ) [ 15 of 108] Compiling TestSuite.Queries.Strings ( SBVTestSuite/TestSuite/Queries/Strings.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Strings.dyn_o ) [ 16 of 108] Compiling TestSuite.Queries.Lists ( SBVTestSuite/TestSuite/Queries/Lists.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Lists.dyn_o ) [ 17 of 108] Compiling TestSuite.Queries.Interpolants ( SBVTestSuite/TestSuite/Queries/Interpolants.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Interpolants.dyn_o ) [ 18 of 108] Compiling TestSuite.Queries.Int_Z3 ( SBVTestSuite/TestSuite/Queries/Int_Z3.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_Z3.dyn_o ) [ 19 of 108] Compiling TestSuite.Queries.Int_Yices ( SBVTestSuite/TestSuite/Queries/Int_Yices.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_Yices.dyn_o ) [ 20 of 108] Compiling TestSuite.Queries.Int_Mathsat ( SBVTestSuite/TestSuite/Queries/Int_Mathsat.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_Mathsat.dyn_o ) [ 21 of 108] Compiling TestSuite.Queries.Int_CVC4 ( SBVTestSuite/TestSuite/Queries/Int_CVC4.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_CVC4.dyn_o ) [ 22 of 108] Compiling TestSuite.Queries.Int_Boolector ( SBVTestSuite/TestSuite/Queries/Int_Boolector.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_Boolector.dyn_o ) [ 23 of 108] Compiling TestSuite.Queries.Int_ABC ( SBVTestSuite/TestSuite/Queries/Int_ABC.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_ABC.dyn_o ) [ 24 of 108] Compiling TestSuite.Queries.FreshVars ( SBVTestSuite/TestSuite/Queries/FreshVars.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/FreshVars.dyn_o ) [ 25 of 108] Compiling TestSuite.Queries.Enums ( SBVTestSuite/TestSuite/Queries/Enums.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Enums.dyn_o ) [ 26 of 108] Compiling TestSuite.Queries.DSat ( SBVTestSuite/TestSuite/Queries/DSat.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/DSat.dyn_o ) [ 27 of 108] Compiling TestSuite.Queries.BasicQuery ( SBVTestSuite/TestSuite/Queries/BasicQuery.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/BasicQuery.dyn_o ) [ 28 of 108] Compiling TestSuite.Queries.BadOption ( SBVTestSuite/TestSuite/Queries/BadOption.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/BadOption.dyn_o ) [ 29 of 108] Compiling TestSuite.Puzzles.U2Bridge ( SBVTestSuite/TestSuite/Puzzles/U2Bridge.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/U2Bridge.dyn_o ) [ 30 of 108] Compiling TestSuite.Puzzles.Temperature ( SBVTestSuite/TestSuite/Puzzles/Temperature.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Temperature.dyn_o ) [ 31 of 108] Compiling TestSuite.Puzzles.Sudoku ( SBVTestSuite/TestSuite/Puzzles/Sudoku.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Sudoku.dyn_o ) [ 32 of 108] Compiling TestSuite.Puzzles.PowerSet ( SBVTestSuite/TestSuite/Puzzles/PowerSet.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/PowerSet.dyn_o ) [ 33 of 108] Compiling TestSuite.Puzzles.NQueens ( SBVTestSuite/TestSuite/Puzzles/NQueens.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/NQueens.dyn_o ) [ 34 of 108] Compiling TestSuite.Puzzles.MagicSquare ( SBVTestSuite/TestSuite/Puzzles/MagicSquare.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/MagicSquare.dyn_o ) [ 35 of 108] Compiling TestSuite.Puzzles.Euler185 ( SBVTestSuite/TestSuite/Puzzles/Euler185.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Euler185.dyn_o ) [ 36 of 108] Compiling TestSuite.Puzzles.DogCatMouse ( SBVTestSuite/TestSuite/Puzzles/DogCatMouse.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/DogCatMouse.dyn_o ) [ 37 of 108] Compiling TestSuite.Puzzles.Counts ( SBVTestSuite/TestSuite/Puzzles/Counts.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Counts.dyn_o ) [ 38 of 108] Compiling TestSuite.Puzzles.Coins ( SBVTestSuite/TestSuite/Puzzles/Coins.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Coins.dyn_o ) [ 39 of 108] Compiling TestSuite.Polynomials.Polynomials ( SBVTestSuite/TestSuite/Polynomials/Polynomials.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Polynomials/Polynomials.dyn_o ) [ 40 of 108] Compiling TestSuite.Overflows.Casts ( SBVTestSuite/TestSuite/Overflows/Casts.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Overflows/Casts.dyn_o ) [ 41 of 108] Compiling TestSuite.Overflows.Arithmetic ( SBVTestSuite/TestSuite/Overflows/Arithmetic.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Overflows/Arithmetic.dyn_o ) [ 42 of 108] Compiling TestSuite.Optimization.Tuples ( SBVTestSuite/TestSuite/Optimization/Tuples.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Tuples.dyn_o ) [ 43 of 108] Compiling TestSuite.Optimization.Reals ( SBVTestSuite/TestSuite/Optimization/Reals.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Reals.dyn_o ) [ 44 of 108] Compiling TestSuite.Optimization.Quantified ( SBVTestSuite/TestSuite/Optimization/Quantified.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Quantified.dyn_o ) [ 45 of 108] Compiling TestSuite.Optimization.NoOpt ( SBVTestSuite/TestSuite/Optimization/NoOpt.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/NoOpt.dyn_o ) [ 46 of 108] Compiling TestSuite.Optimization.Floats ( SBVTestSuite/TestSuite/Optimization/Floats.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Floats.dyn_o ) [ 47 of 108] Compiling TestSuite.Optimization.ExtensionField ( SBVTestSuite/TestSuite/Optimization/ExtensionField.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/ExtensionField.dyn_o ) [ 48 of 108] Compiling TestSuite.Optimization.Combined ( SBVTestSuite/TestSuite/Optimization/Combined.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Combined.dyn_o ) [ 49 of 108] Compiling TestSuite.Optimization.Basics ( SBVTestSuite/TestSuite/Optimization/Basics.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Basics.dyn_o ) [ 50 of 108] Compiling TestSuite.Optimization.AssertWithPenalty ( SBVTestSuite/TestSuite/Optimization/AssertWithPenalty.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/AssertWithPenalty.dyn_o ) [ 51 of 108] Compiling TestSuite.GenTest.GenTests ( SBVTestSuite/TestSuite/GenTest/GenTests.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/GenTest/GenTests.dyn_o ) [ 52 of 108] Compiling TestSuite.Existentials.CRCPolynomial ( SBVTestSuite/TestSuite/Existentials/CRCPolynomial.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Existentials/CRCPolynomial.dyn_o ) [ 53 of 108] Compiling TestSuite.Crypto.SHA ( SBVTestSuite/TestSuite/Crypto/SHA.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Crypto/SHA.dyn_o ) [ 54 of 108] Compiling TestSuite.Crypto.RC4 ( SBVTestSuite/TestSuite/Crypto/RC4.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Crypto/RC4.dyn_o ) [ 55 of 108] Compiling TestSuite.Crypto.AES ( SBVTestSuite/TestSuite/Crypto/AES.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Crypto/AES.dyn_o ) [ 56 of 108] Compiling TestSuite.CodeGeneration.Uninterpreted ( SBVTestSuite/TestSuite/CodeGeneration/Uninterpreted.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/Uninterpreted.dyn_o ) [ 57 of 108] Compiling TestSuite.CodeGeneration.PopulationCount ( SBVTestSuite/TestSuite/CodeGeneration/PopulationCount.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/PopulationCount.dyn_o ) [ 58 of 108] Compiling TestSuite.CodeGeneration.GCD ( SBVTestSuite/TestSuite/CodeGeneration/GCD.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/GCD.dyn_o ) [ 59 of 108] Compiling TestSuite.CodeGeneration.Floats ( SBVTestSuite/TestSuite/CodeGeneration/Floats.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/Floats.dyn_o ) [ 60 of 108] Compiling TestSuite.CodeGeneration.Fibonacci ( SBVTestSuite/TestSuite/CodeGeneration/Fibonacci.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/Fibonacci.dyn_o ) [ 61 of 108] Compiling TestSuite.CodeGeneration.CgTests ( SBVTestSuite/TestSuite/CodeGeneration/CgTests.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/CgTests.dyn_o ) [ 62 of 108] Compiling TestSuite.CodeGeneration.CRC_USB5 ( SBVTestSuite/TestSuite/CodeGeneration/CRC_USB5.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/CRC_USB5.dyn_o ) [ 63 of 108] Compiling TestSuite.CodeGeneration.AddSub ( SBVTestSuite/TestSuite/CodeGeneration/AddSub.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/AddSub.dyn_o ) [ 64 of 108] Compiling TestSuite.Char.Char ( SBVTestSuite/TestSuite/Char/Char.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Char/Char.dyn_o ) [ 65 of 108] Compiling TestSuite.CRC.USB5 ( SBVTestSuite/TestSuite/CRC/USB5.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/USB5.dyn_o ) [ 66 of 108] Compiling TestSuite.CRC.Parity ( SBVTestSuite/TestSuite/CRC/Parity.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/Parity.dyn_o ) [ 67 of 108] Compiling TestSuite.CRC.GenPoly ( SBVTestSuite/TestSuite/CRC/GenPoly.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/GenPoly.dyn_o ) [ 68 of 108] Compiling TestSuite.CRC.CCITT_Unidir ( SBVTestSuite/TestSuite/CRC/CCITT_Unidir.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/CCITT_Unidir.dyn_o ) [ 69 of 108] Compiling TestSuite.CRC.CCITT ( SBVTestSuite/TestSuite/CRC/CCITT.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/CCITT.dyn_o ) [ 70 of 108] Compiling TestSuite.BitPrecise.PrefixSum ( SBVTestSuite/TestSuite/BitPrecise/PrefixSum.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/BitPrecise/PrefixSum.dyn_o ) [ 71 of 108] Compiling TestSuite.BitPrecise.MergeSort ( SBVTestSuite/TestSuite/BitPrecise/MergeSort.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/BitPrecise/MergeSort.dyn_o ) [ 72 of 108] Compiling TestSuite.BitPrecise.Legato ( SBVTestSuite/TestSuite/BitPrecise/Legato.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/BitPrecise/Legato.dyn_o ) [ 73 of 108] Compiling TestSuite.BitPrecise.BitTricks ( SBVTestSuite/TestSuite/BitPrecise/BitTricks.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/BitPrecise/BitTricks.dyn_o ) [ 74 of 108] Compiling TestSuite.Basics.UISat ( SBVTestSuite/TestSuite/Basics/UISat.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/UISat.dyn_o ) [ 75 of 108] Compiling TestSuite.Basics.Tuple ( SBVTestSuite/TestSuite/Basics/Tuple.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Tuple.dyn_o ) [ 76 of 108] Compiling TestSuite.Basics.TOut ( SBVTestSuite/TestSuite/Basics/TOut.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/TOut.dyn_o ) [ 77 of 108] Compiling TestSuite.Basics.Sum ( SBVTestSuite/TestSuite/Basics/Sum.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Sum.dyn_o ) [ 78 of 108] Compiling TestSuite.Basics.String ( SBVTestSuite/TestSuite/Basics/String.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/String.dyn_o ) [ 79 of 108] Compiling TestSuite.Basics.SquashReals ( SBVTestSuite/TestSuite/Basics/SquashReals.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/SquashReals.dyn_o ) [ 80 of 108] Compiling TestSuite.Basics.SmallShifts ( SBVTestSuite/TestSuite/Basics/SmallShifts.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/SmallShifts.dyn_o ) [ 81 of 108] Compiling TestSuite.Basics.Set ( SBVTestSuite/TestSuite/Basics/Set.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Set.dyn_o ) [ 82 of 108] Compiling TestSuite.Basics.Recursive ( SBVTestSuite/TestSuite/Basics/Recursive.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Recursive.dyn_o ) [ 83 of 108] Compiling TestSuite.Basics.Quantifiers ( SBVTestSuite/TestSuite/Basics/Quantifiers.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Quantifiers.dyn_o ) [ 84 of 108] Compiling TestSuite.Basics.QRem ( SBVTestSuite/TestSuite/Basics/QRem.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/QRem.dyn_o ) [ 85 of 108] Compiling TestSuite.Basics.PseudoBoolean ( SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/PseudoBoolean.dyn_o ) [ 86 of 108] Compiling TestSuite.Basics.ProofTests ( SBVTestSuite/TestSuite/Basics/ProofTests.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/ProofTests.dyn_o ) [ 87 of 108] Compiling TestSuite.Basics.Nonlinear ( SBVTestSuite/TestSuite/Basics/Nonlinear.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Nonlinear.dyn_o ) [ 88 of 108] Compiling TestSuite.Basics.ModelValidate ( SBVTestSuite/TestSuite/Basics/ModelValidate.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/ModelValidate.dyn_o ) [ 89 of 108] Compiling TestSuite.Basics.List ( SBVTestSuite/TestSuite/Basics/List.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/List.dyn_o ) [ 90 of 108] Compiling TestSuite.Basics.IteTest ( SBVTestSuite/TestSuite/Basics/IteTest.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/IteTest.dyn_o ) [ 91 of 108] Compiling TestSuite.Basics.Index ( SBVTestSuite/TestSuite/Basics/Index.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Index.dyn_o ) [ 92 of 108] Compiling TestSuite.Basics.Higher ( SBVTestSuite/TestSuite/Basics/Higher.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Higher.dyn_o ) [ 93 of 108] Compiling TestSuite.Basics.GenBenchmark ( SBVTestSuite/TestSuite/Basics/GenBenchmark.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/GenBenchmark.dyn_o ) [ 94 of 108] Compiling TestSuite.Basics.Exceptions ( SBVTestSuite/TestSuite/Basics/Exceptions.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Exceptions.dyn_o ) [ 95 of 108] Compiling TestSuite.Basics.DynSign ( SBVTestSuite/TestSuite/Basics/DynSign.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/DynSign.dyn_o ) [ 96 of 108] Compiling TestSuite.Basics.BoundedList ( SBVTestSuite/TestSuite/Basics/BoundedList.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/BoundedList.dyn_o ) [ 97 of 108] Compiling TestSuite.Basics.BasicTests ( SBVTestSuite/TestSuite/Basics/BasicTests.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/BasicTests.dyn_o ) [ 98 of 108] Compiling TestSuite.Basics.BarrelRotate ( SBVTestSuite/TestSuite/Basics/BarrelRotate.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/BarrelRotate.dyn_o ) [ 99 of 108] Compiling TestSuite.Basics.Assert ( SBVTestSuite/TestSuite/Basics/Assert.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Assert.dyn_o ) [100 of 108] Compiling TestSuite.Basics.ArithSolver ( SBVTestSuite/TestSuite/Basics/ArithSolver.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/ArithSolver.dyn_o ) [101 of 108] Compiling TestSuite.Basics.ArithNoSolver ( SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/ArithNoSolver.dyn_o ) [102 of 108] Compiling TestSuite.Basics.ArbFloats ( SBVTestSuite/TestSuite/Basics/ArbFloats.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/ArbFloats.dyn_o ) [103 of 108] Compiling TestSuite.Basics.AllSat ( SBVTestSuite/TestSuite/Basics/AllSat.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/AllSat.dyn_o ) [104 of 108] Compiling TestSuite.Arrays.Query ( SBVTestSuite/TestSuite/Arrays/Query.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Arrays/Query.dyn_o ) [105 of 108] Compiling TestSuite.Arrays.Memory ( SBVTestSuite/TestSuite/Arrays/Memory.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Arrays/Memory.dyn_o ) [106 of 108] Compiling TestSuite.Arrays.InitVals ( SBVTestSuite/TestSuite/Arrays/InitVals.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Arrays/InitVals.dyn_o ) [107 of 108] Compiling TestSuite.Arrays.Caching ( SBVTestSuite/TestSuite/Arrays/Caching.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Arrays/Caching.dyn_o ) [108 of 108] Compiling Main ( SBVTestSuite/SBVTest.hs, dist/build/SBVTest/SBVTest-tmp/Main.dyn_o ) Linking dist/build/SBVTest/SBVTest ... Unregistering sbv-9.1... ==> Entering fakeroot environment... ==> Starting package()... Installing library in /tmp/archlinux-ci/haskell-sbv-archlinuxrb-build-OJaPNnyj/haskell-sbv/pkg/haskell-sbv/usr/lib/ghc-9.2.8/site-local/sbv-9.1 ==> Tidying install... -> Removing libtool files... -> Purging unwanted files... -> Removing static library files... -> Stripping unneeded symbols from binaries and libraries... -> Compressing man and info pages... ==> Checking for packaging issues... ==> Creating package "haskell-sbv"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Creating package "haskell-sbv-debug"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: haskell-sbv 9.1-37 (Fri Apr 11 05:34:53 2025)