==> Cloning agda-stdlib ... Cloning into 'agda-stdlib'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring agda-stdlib :: 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 129k 100 129k 0 0 383k 0 --:--:-- --:--:-- --:--:-- 384k % 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 8472k 0 45980 0 0 66338 0 0:02:10 --:--:-- 0:02:10 66253 25 8472k 25 2129k 0 0 1230k 0 0:00:06 0:00:01 0:00:05 1230k 65 8472k 65 5569k 0 0 2012k 0 0:00:04 0:00:02 0:00:02 2011k 100 8472k 100 8472k 0 0 2444k 0 0:00:03 0:00:03 --:--:-- 2444k % 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 139k 65 93854 0 0 524k 0 --:--:-- --:--:-- --:--:-- 523k 100 139k 100 139k 0 0 796k 0 --:--:-- --:--:-- --:--:-- 793k :: Starting full system upgrade... there is nothing to do PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp/archlinux-ci/ GIT_SSL_NO_VERIFY=1 SOURCE_DATE_EPOCH=1702088045 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1702088045' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' GIT_SSL_NO_VERIFY=1 printenv 2>&1 SCHROOT_SESSION_ID=archlinux-agda-stdlib-archlinuxrb-build-Q8W1rzsC PWD=/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib LOGNAME=jenkins SCHROOT_ALIAS_NAME=jenkins-reproducible-archlinux SCHROOT_GROUP=jenkins SCHROOT_USER=jenkins ftp_proxy=http://127.0.0.1:3128 HOME=/var/lib/jenkins LANG=C https_proxy=http://127.0.0.1:3128 USER=jenkins FTP_PROXY=http://127.0.0.1:3128 SHLVL=1 HTTPS_PROXY=http://127.0.0.1:3128 HTTP_PROXY=http://127.0.0.1:3128 SCHROOT_GID=116 http_proxy=http://127.0.0.1:3128 DEBUGINFOD_URLS=https://debuginfod.archlinux.org SCHROOT_UID=108 HG=/usr/bin/hg _=/usr/sbin/printenv ==> Making package: agda-stdlib 1.7.3-1 (Fri Jan 10 08:37:25 2025) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (78) ghc-9.0.2-3 ghc-libs-9.0.2-3 haskell-aeson-2.1.2.1-27 haskell-ansi-terminal-0.11.4-48 haskell-assoc-1.0.2-226 haskell-async-2.2.5-3 haskell-attoparsec-0.14.4-65 haskell-base-compat-0.12.2-1 haskell-base-compat-batteries-0.12.2-66 haskell-base-orphans-0.8.7-76 haskell-bifunctors-5.6-37 haskell-blaze-builder-0.4.2.3-1 haskell-blaze-html-0.9.1.2-217 haskell-blaze-markup-0.8.3.0-1 haskell-boxes-0.1.5-229 haskell-case-insensitive-1.2.1.0-194 haskell-colour-2.3.6-192 haskell-comonad-5.0.8-221 haskell-contravariant-1.5.5-3 haskell-cpphs-1.20.9.1-12 haskell-data-array-byte-0.1.0.1-37 haskell-data-fix-0.3.2-93 haskell-data-hash-0.2.0.1-24 haskell-distributive-0.6.2.1-200 haskell-dlist-1.0-227 haskell-edit-distance-0.2.2.1-198 haskell-equivalence-0.4.1-39 haskell-erf-2.0.0.0-24 haskell-foldable1-classes-compat-0.1-37 haskell-generically-0.1.1-1 haskell-ghc-bignum-orphans-0.1.1-1 haskell-gitrev-1.3.1-31 haskell-hashable-1.4.3.0-21 haskell-indexed-traversable-0.1.3-29 haskell-indexed-traversable-instances-0.1.1.2-24 haskell-integer-logarithms-1.0.3.1-6 haskell-monad-control-1.0.3.1-93 haskell-murmur-hash-0.1.0.10-2 haskell-network-uri-2.6.4.2-21 haskell-onetuple-0.3.1-66 haskell-parallel-3.2.2.0-17 haskell-peano-0.1.0.1-1 haskell-polyparse-1.13-11 haskell-primitive-0.7.4.0-93 haskell-quickcheck-2.14.3-39 haskell-random-1.2.1.1-140 haskell-regex-base-0.94.0.2-2 haskell-regex-tdfa-1.3.2.2-24 haskell-scientific-0.3.7.0-104 haskell-semialign-1.2.0.1-140 haskell-semigroupoids-5.3.7-122 haskell-split-0.2.4-7 haskell-splitmix-0.1.0.5-4 haskell-statevar-1.2.2-2 haskell-stmonadtrans-0.4.7-11 haskell-strict-0.4.0.1-200 haskell-tagged-0.8.8-1 haskell-text-icu-0.8.0.4-7 haskell-text-short-0.1.5-70 haskell-th-abstraction-0.4.5.0-1 haskell-th-compat-0.1.4-34 haskell-these-1.1.1.1-227 haskell-time-compat-1.9.6.1-88 haskell-transformers-base-0.4.6-93 haskell-transformers-compat-0.7.2-1 haskell-unordered-containers-0.2.19.1-87 haskell-uri-encode-1.5.0.7-203 haskell-utf8-string-1.0.2-141 haskell-uuid-types-1.0.5.1-7 haskell-vector-0.13.1.0-10 haskell-vector-hashtables-0.1.1.3-29 haskell-vector-stream-0.1.0.0-1 haskell-witherable-0.4.2-81 haskell-zlib-0.6.3.0-51 llvm14-14.0.6-3 llvm14-libs-14.0.6-3 numactl-2.0.16-1 agda-2.6.4-4 Total Download Size: 129.70 MiB Total Installed Size: 888.10 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 81057 100 81057 0 0 33.4M 0 --:--:-- --:--:-- --:--:-- 38.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 19.0M 100 19.0M 0 0 91.4M 0 --:--:-- --:--:-- --:--:-- 91.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 27.5M 100 27.5M 0 0 91.2M 0 --:--:-- --:--:-- --:--:-- 91.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 10.9M 100 10.9M 0 0 90.7M 0 --:--:-- --:--:-- --:--:-- 90.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 76 31.6M 76 24.2M 0 0 89.8M 0 --:--:-- --:--:-- --:--:-- 89.5M 100 31.6M 100 31.6M 0 0 91.0M 0 --:--:-- --:--:-- --:--:-- 90.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 68022 100 68022 0 0 99339 0 --:--:-- --:--:-- --:--:-- 99447 % 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 75358 100 75358 0 0 40.7M 0 --:--:-- --:--:-- --:--:-- 71.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 9932 100 9932 0 0 7189k 0 --:--:-- --:--:-- --:--:-- 9699k % 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 17211 100 17211 0 0 11.9M 0 --:--:-- --:--:-- --:--:-- 16.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 42780 100 42780 0 0 28.6M 0 --:--:-- --:--:-- --:--:-- 40.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 238k 100 238k 0 0 81.7M 0 --:--:-- --:--:-- --:--:-- 116M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 4 595k 4 24576 0 0 129k 0 0:00:04 --:--:-- 0:00:04 129k 100 595k 100 595k 0 0 861k 0 --:--:-- --:--:-- --:--:-- 861k % 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 33612 100 33612 0 0 22.2M 0 --:--:-- --:--:-- --:--:-- 32.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 5799 100 5799 0 0 4954k 0 --:--:-- --:--:-- --:--:-- 5663k % 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 56.8M 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 26391 100 26391 0 0 19.1M 0 --:--:-- --:--:-- --:--:-- 25.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 283k 100 283k 0 0 81.1M 0 --:--:-- --:--:-- --:--:-- 92.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 123k 100 123k 0 0 59.1M 0 --:--:-- --:--:-- --:--:-- 120M % 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 398k 100 398k 0 0 90.0M 0 --:--:-- --:--:-- --:--:-- 97.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 85463 100 85463 0 0 50.5M 0 --:--:-- --:--:-- --:--:-- 81.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 79559 100 79559 0 0 46.1M 0 --:--:-- --:--:-- --:--:-- 75.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 43801 100 43801 0 0 32.1M 0 --:--:-- --:--:-- --:--:-- 41.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 59675 100 59675 0 0 43.5M 0 --:--:-- --:--:-- --:--:-- 56.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 22204 100 22204 0 0 15.3M 0 --:--:-- --:--:-- --:--:-- 21.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 63524 100 63524 0 0 39.8M 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 87842 100 87842 0 0 47.3M 0 --:--:-- --:--:-- --:--:-- 83.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 124k 100 124k 0 0 59.5M 0 --:--:-- --:--:-- --:--:-- 121M % 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 251k 100 251k 0 0 79.0M 0 --:--:-- --:--:-- --:--:-- 81.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 67755 100 67755 0 0 43.1M 0 --:--:-- --:--:-- --:--:-- 64.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 2 1198k 2 24576 0 0 130k 0 0:00:09 --:--:-- 0:00:09 130k 100 1198k 100 1198k 0 0 2283k 0 --:--:-- --:--:-- --:--:-- 2279k % 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 26189 100 26189 0 0 18.1M 0 --:--:-- --:--:-- --:--:-- 24.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 41980 100 41980 0 0 30.5M 0 --:--:-- --:--:-- --:--:-- 40.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 127k 100 127k 0 0 57.7M 0 --:--:-- --:--:-- --:--:-- 62.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 110k 100 110k 0 0 55.6M 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 176k 100 176k 0 0 70.6M 0 --:--:-- --:--:-- --:--:-- 86.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 444k 100 444k 0 0 88.4M 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 21672 100 21672 0 0 14.5M 0 --:--:-- --:--:-- --:--:-- 20.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 67873 100 67873 0 0 38.1M 0 --:--:-- --:--:-- --:--:-- 64.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 392k 100 392k 0 0 85.0M 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 18840 100 18840 0 0 13.0M 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 106k 100 106k 0 0 49.4M 0 --:--:-- --:--:-- --:--:-- 51.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 146k 100 146k 0 0 57.7M 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 188k 100 188k 0 0 65.9M 0 --:--:-- --:--:-- --:--:-- 91.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 82152 100 82152 0 0 40.8M 0 --:--:-- --:--:-- --:--:-- 78.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 141k 100 141k 0 0 62.8M 0 --:--:-- --:--:-- --:--:-- 69.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 69937 100 69937 0 0 45.1M 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 138k 100 138k 0 0 63.2M 0 --:--:-- --:--:-- --:--:-- 67.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 44 1360k 44 606k 0 0 1714k 0 --:--:-- --:--:-- --:--:-- 1712k 100 1360k 100 1360k 0 0 1980k 0 --:--:-- --:--:-- --:--:-- 1979k % 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 167k 100 167k 0 0 64.7M 0 --:--:-- --:--:-- --:--:-- 81.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 150k 100 150k 0 0 60.9M 0 --:--:-- --:--:-- --:--:-- 73.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 69641 100 69641 0 0 44.4M 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 72007 100 72007 0 0 46.9M 0 --:--:-- --:--:-- --:--:-- 68.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 94426 100 94426 0 0 53.5M 0 --:--:-- --:--:-- --:--:-- 90.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 392k 100 392k 0 0 89.4M 0 --:--:-- --:--:-- --:--:-- 95.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 42111 100 42111 0 0 30.7M 0 --:--:-- --:--:-- --:--:-- 40.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 41039 100 41039 0 0 218k 0 --:--:-- --:--:-- --:--:-- 219k % 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 34078 100 34078 0 0 18.7M 0 --:--:-- --:--:-- --:--:-- 32.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 304k 100 304k 0 0 13.3M 0 --:--:-- --:--:-- --:--:-- 13.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 210k 100 210k 0 0 17.5M 0 --:--:-- --:--:-- --:--:-- 18.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 70334 100 70334 0 0 37.5M 0 --:--:-- --:--:-- --:--:-- 67.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 50962 100 50962 0 0 269k 0 --:--:-- --:--:-- --:--:-- 270k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 29 82018 29 24576 0 0 132k 0 --:--:-- --:--:-- --:--:-- 131k 100 82018 100 82018 0 0 440k 0 --:--:-- --:--:-- --:--:-- 440k % 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 24572 100 24572 0 0 17.3M 0 --:--:-- --:--:-- --:--:-- 23.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 25857 100 25857 0 0 15.8M 0 --:--:-- --:--:-- --:--:-- 24.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 32888 100 32888 0 0 26.0M 0 --:--:-- --:--:-- --:--:-- 31.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 31975 100 31975 0 0 22.3M 0 --:--:-- --:--:-- --:--:-- 30.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 46040 100 46040 0 0 29.9M 0 --:--:-- --:--:-- --:--:-- 43.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 25681 100 25681 0 0 135k 0 --:--:-- --:--:-- --:--:-- 135k % 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 74518 100 74518 0 0 41.2M 0 --:--:-- --:--:-- --:--:-- 71.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 560k 100 560k 0 0 2859k 0 --:--:-- --:--:-- --:--:-- 2873k % 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 27990 100 27990 0 0 18.3M 0 --:--:-- --:--:-- --:--:-- 26.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 130k 100 130k 0 0 61.2M 0 --:--:-- --:--:-- --:--:-- 63.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 81870 100 81870 0 0 47.1M 0 --:--:-- --:--:-- --:--:-- 78.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 15549 100 15549 0 0 86222 0 --:--:-- --:--:-- --:--:-- 86383 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 15 158k 15 24576 0 0 134k 0 0:00:01 --:--:-- 0:00:01 134k 100 158k 100 158k 0 0 879k 0 --:--:-- --:--:-- --:--:-- 877k % 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 153k 100 153k 0 0 60.2M 0 --:--:-- --:--:-- --:--:-- 74.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 791k 100 791k 0 0 2235k 0 --:--:-- --:--:-- --:--:-- 2235k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 6 29.0M 6 1930k 0 0 3555k 0 0:00:08 --:--:-- 0:00:08 3549k 21 29.0M 21 6292k 0 0 4070k 0 0:00:07 0:00:01 0:00:06 4069k 41 29.0M 41 12.0M 0 0 4856k 0 0:00:06 0:00:02 0:00:04 4855k 69 29.0M 69 20.3M 0 0 5860k 0 0:00:05 0:00:03 0:00:02 5860k 100 29.0M 100 29.0M 0 0 6998k 0 0:00:04 0:00:04 --:--:-- 6998k 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 llvm14-libs... installing llvm14... installing ghc... installing haskell-stmonadtrans... installing haskell-base-orphans... installing haskell-onetuple... installing haskell-erf... installing haskell-splitmix... installing haskell-random... installing haskell-quickcheck... installing haskell-data-array-byte... installing haskell-ghc-bignum-orphans... installing haskell-hashable... 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-unordered-containers... 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-async... installing haskell-blaze-builder... installing haskell-blaze-markup... installing haskell-blaze-html... installing haskell-split... installing haskell-boxes... installing haskell-case-insensitive... installing haskell-polyparse... installing haskell-cpphs... installing haskell-data-hash... installing haskell-edit-distance... installing haskell-equivalence... installing haskell-gitrev... installing haskell-transformers-base... installing haskell-monad-control... installing haskell-murmur-hash... installing haskell-parallel... installing haskell-peano... installing haskell-regex-base... installing haskell-regex-tdfa... installing haskell-th-compat... installing haskell-network-uri... installing haskell-utf8-string... installing haskell-uri-encode... installing haskell-vector-hashtables... installing haskell-zlib... installing haskell-text-icu... installing agda... Optional dependencies for agda agda-stdlib: for standard library :: 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 (2) haskell-unix-compat-0.7-24 haskell-filemanip-0.3.6.3-127 Total Download Size: 0.09 MiB Total Installed Size: 0.38 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 15215 100 15215 0 0 9368k 0 --:--:-- --:--:-- --:--:-- 14.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 76353 100 76353 0 0 144k 0 --:--:-- --:--:-- --:--:-- 144k checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing haskell-unix-compat... installing haskell-filemanip... :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Registering Haskell modules... ==> Retrieving sources... -> Downloading agda-stdlib-1.7.3.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 920k 0 920k 0 0 1931k 0 --:--:-- --:--:-- --:--:-- 1931k -> Found standard-library.agda-lib.in ==> WARNING: Skipping verification of source file PGP signatures. ==> Validating source files with sha512sums... agda-stdlib-1.7.3.tar.gz ... Passed standard-library.agda-lib.in ... Passed ==> Extracting sources... -> Extracting agda-stdlib-1.7.3.tar.gz with bsdtar ==> Starting prepare()... ==> Starting build()... Configuring agda-stdlib-utils-1.7.3... Preprocessing executable 'AllNonAsciiChars' for agda-stdlib-utils-1.7.3.. Building executable 'AllNonAsciiChars' for agda-stdlib-utils-1.7.3.. [1 of 1] Compiling Main ( AllNonAsciiChars.hs, dist/build/AllNonAsciiChars/AllNonAsciiChars-tmp/Main.dyn_o ) Linking dist/build/AllNonAsciiChars/AllNonAsciiChars ... Preprocessing executable 'GenerateEverything' for agda-stdlib-utils-1.7.3.. Building executable 'GenerateEverything' for agda-stdlib-utils-1.7.3.. [1 of 1] Compiling Main ( GenerateEverything.hs, dist/build/GenerateEverything/GenerateEverything-tmp/Main.dyn_o ) Linking dist/build/GenerateEverything/GenerateEverything ... Checking Everything (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/Everything.agda). Checking Algebra (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra.agda). Checking Algebra.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Core.agda). Checking Level (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Level.agda). Checking Algebra.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Definitions.agda). Checking Relation.Binary.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Core.agda). Checking Data.Product (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product.agda). Checking Function.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Base.agda). Checking Strict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Strict.agda). Checking Relation.Nullary (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary.agda). Checking Data.Empty (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Empty.agda). Checking Data.Empty.Irrelevant (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Empty/Irrelevant.agda). Checking Data.Sum.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Base.agda). Checking Data.Bool.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Bool/Base.agda). Checking Data.Unit.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Unit/Base.agda). Checking Relation.Nullary.Reflects (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Reflects.agda). Checking Algebra.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Structures.agda). Checking Relation.Binary (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary.agda). Checking Relation.Binary.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Definitions.agda). Checking Data.Maybe.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe/Base.agda). Checking Data.These.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/These/Base.agda). Checking Relation.Binary.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Structures.agda). Checking Relation.Binary.PropositionalEquality.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/Core.agda). Checking Relation.Binary.Consequences (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Consequences.agda). Checking Relation.Nullary.Decidable.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Decidable/Core.agda). Checking Relation.Unary (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Unary.agda). Checking Relation.Binary.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Bundles.agda). Checking Algebra.Consequences.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Consequences/Setoid.agda). Checking Relation.Binary.Reasoning.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Setoid.agda). Checking Relation.Binary.Reasoning.Base.Single (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Base/Single.agda). Checking Algebra.Consequences.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Consequences/Base.agda). Checking Algebra.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Bundles.agda). Checking Algebra.Consequences.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Consequences/Propositional.agda). Checking Relation.Binary.PropositionalEquality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality.agda). Checking Axiom.Extensionality.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Axiom/Extensionality/Propositional.agda). Checking Axiom.UniquenessOfIdentityProofs (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Axiom/UniquenessOfIdentityProofs.agda). Checking Relation.Binary.PropositionalEquality.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/Properties.agda). Checking Function.Equality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Equality.agda). Checking Relation.Binary.Indexed.Heterogeneous (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous.agda). Checking Relation.Binary.Indexed.Heterogeneous.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Core.agda). Checking Relation.Binary.Indexed.Heterogeneous.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Definitions.agda). Checking Relation.Binary.Indexed.Heterogeneous.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Structures.agda). Checking Relation.Binary.Indexed.Heterogeneous.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Bundles.agda). Checking Relation.Binary.Indexed.Heterogeneous.Construct.Trivial (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda). Checking Relation.Binary.PropositionalEquality.Algebra (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/Algebra.agda). Checking Algebra.Construct.DirectProduct (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/DirectProduct.agda). Checking Data.Product.Relation.Binary.Pointwise.NonDependent (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Pointwise/NonDependent.agda). Checking Data.Product.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Properties.agda). Checking Function (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function.agda). Checking Function.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Core.agda). Checking Function.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Definitions.agda). Checking Function.Definitions.Core1 (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Definitions/Core1.agda). Checking Function.Definitions.Core2 (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Definitions/Core2.agda). Checking Function.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Structures.agda). Checking Function.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Bundles.agda). Checking Relation.Nullary.Product (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Product.agda). Checking Relation.Nullary.Decidable (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Decidable.agda). Checking Function.Equivalence (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Equivalence.agda). Checking Function.Injection (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Injection.agda). Checking Function.Inverse (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Inverse.agda). Checking Function.Bijection (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Bijection.agda). Checking Function.Surjection (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Surjection.agda). Checking Function.LeftInverse (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/LeftInverse.agda). Checking Function.Related (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Related.agda). Checking Algebra.Construct.LexProduct (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/LexProduct.agda). Checking Data.Bool (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Bool.agda). Checking Data.Bool.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Bool/Properties.agda). Checking Algebra.Properties.BooleanAlgebra (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/BooleanAlgebra.agda). Checking Algebra.Properties.DistributiveLattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/DistributiveLattice.agda). Checking Algebra.Properties.Lattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Lattice.agda). Checking Algebra.Properties.Semilattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semilattice.agda). Checking Relation.Binary.Construct.NaturalOrder.Left (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/NaturalOrder/Left.agda). Checking Relation.Binary.Lattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Lattice.agda). Checking Relation.Binary.Properties.Poset (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/Poset.agda). Checking Relation.Binary.Construct.NonStrictToStrict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/NonStrictToStrict.agda). Checking Relation.Nullary.Negation (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Negation.agda). Checking Category.Monad (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Monad.agda). Checking Category.Monad.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Monad/Indexed.agda). Checking Category.Applicative.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Applicative/Indexed.agda). Checking Category.Functor (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Functor.agda). Checking Data.Unit (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Unit.agda). Checking Data.Unit.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Unit/Properties.agda). Checking Relation.Nullary.Negation.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Negation/Core.agda). Checking Relation.Binary.Properties.Preorder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/Preorder.agda). Checking Algebra.Construct.LexProduct.Inner (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/LexProduct/Inner.agda). Checking Algebra.Construct.LexProduct.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/LexProduct/Base.agda). Checking Algebra.Construct.LiftedChoice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/LiftedChoice.agda). Checking Algebra.Construct.NaturalChoice.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/Base.agda). Checking Relation.Binary.Construct.Converse (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Converse.agda). Checking Relation.Binary.Properties.TotalOrder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/TotalOrder.agda). Checking Algebra.Construct.NaturalChoice.Max (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/Max.agda). Checking Algebra.Construct.NaturalChoice.Min (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/Min.agda). Checking Data.Sum (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum.agda). Checking Data.Unit.Polymorphic.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Unit/Polymorphic/Base.agda). Checking Algebra.Construct.NaturalChoice.MinOp (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/MinOp.agda). Checking Relation.Binary.Reasoning.Preorder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Preorder.agda). Checking Relation.Binary.Reasoning.Base.Double (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Base/Double.agda). Checking Algebra.Construct.NaturalChoice.MaxOp (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/MaxOp.agda). Checking Algebra.Construct.NaturalChoice.MinMaxOp (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/MinMaxOp.agda). Checking Algebra.Construct.Subst.Equality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/Subst/Equality.agda). Checking Relation.Binary.Construct.Subst.Equality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Subst/Equality.agda). Checking Algebra.Construct.Zero (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Construct/Zero.agda). Checking Data.Unit.Polymorphic (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Unit/Polymorphic.agda). Checking Data.Unit.Polymorphic.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Unit/Polymorphic/Properties.agda). Checking Algebra.Definitions.RawMagma (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Definitions/RawMagma.agda). Checking Algebra.Definitions.RawMonoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Definitions/RawMonoid.agda). Checking Data.Nat.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Base.agda). Checking Data.Vec.Functional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Functional.agda). Checking Data.Fin.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Base.agda). Checking Data.Nat.Properties.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Properties/Core.agda). Checking Data.List.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Base.agda). Checking Relation.Unary.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Unary/Properties.agda). Checking Relation.Nullary.Sum (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Sum.agda). Checking Data.Vec.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Base.agda). Checking Algebra.Definitions.RawSemiring (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Definitions/RawSemiring.agda). Checking Data.Nat (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat.agda). Checking Data.Nat.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Properties.agda). Checking Algebra.Morphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Morphism.agda). Checking Algebra.Morphism.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Morphism/Definitions.agda). Checking Algebra.Properties.Group (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Group.agda). Checking Algebra.Morphism.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Morphism/Structures.agda). Checking Relation.Binary.Morphism.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Structures.agda). Checking Relation.Binary.Morphism.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Definitions.agda). Checking Algebra.Properties.CommutativeSemigroup (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemigroup.agda). Checking Algebra.Properties.Semigroup (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semigroup.agda). Checking Function.Metric.Nat (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Nat.agda). Checking Function.Metric.Nat.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Nat/Core.agda). Checking Function.Metric.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Core.agda). Checking Function.Metric.Nat.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Nat/Definitions.agda). Checking Function.Metric.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Definitions.agda). Checking Function.Metric.Nat.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Nat/Structures.agda). Checking Function.Metric.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Structures.agda). Checking Function.Metric.Nat.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Nat/Bundles.agda). Checking Function.Metric.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Bundles.agda). Checking Relation.Binary.Reasoning.Base.Triple (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Base/Triple.agda). Checking Algebra.Module.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Bundles.agda). Checking Algebra.Module.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Structures.agda). Checking Algebra.Module.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Definitions.agda). Checking Algebra.Module.Definitions.Left (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Definitions/Left.agda). Checking Algebra.Module.Definitions.Right (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Definitions/Right.agda). Checking Algebra.Module.Definitions.Bi (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Definitions/Bi.agda). Checking Algebra.Module.Consequences (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Consequences.agda). Checking Algebra.Module.Construct.DirectProduct (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Construct/DirectProduct.agda). Checking Algebra.Module.Construct.TensorUnit (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Construct/TensorUnit.agda). Checking Algebra.Module.Construct.Zero (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Construct/Zero.agda). Checking Algebra.Module.Structures.Biased (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Module/Structures/Biased.agda). Checking Algebra.Morphism.Consequences (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Morphism/Consequences.agda). Checking Algebra.Morphism.GroupMonomorphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Morphism/GroupMonomorphism.agda). Checking Algebra.Morphism.MonoidMonomorphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Morphism/MonoidMonomorphism.agda). Checking Algebra.Morphism.MagmaMonomorphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Morphism/MagmaMonomorphism.agda). Checking Relation.Binary.Morphism.RelMonomorphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/RelMonomorphism.agda). Checking Relation.Binary.Morphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Morphism.agda). Checking Relation.Binary.Morphism.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Bundles.agda). Checking Algebra.Morphism.LatticeMonomorphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Morphism/LatticeMonomorphism.agda). Checking Algebra.Morphism.RingMonomorphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Morphism/RingMonomorphism.agda). Checking Algebra.Properties.AbelianGroup (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/AbelianGroup.agda). Checking Algebra.Properties.BooleanAlgebra.Expression (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/BooleanAlgebra/Expression.agda). Checking Category.Applicative (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Applicative.agda). Checking Data.Vec.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Categorical.agda). Checking Function.Identity.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Identity/Categorical.agda). Checking Category.Comonad (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Comonad.agda). Checking Data.Vec.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Properties.agda). Checking Data.Sum.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Properties.agda). Checking Data.Vec.Relation.Binary.Pointwise.Extensional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Pointwise/Extensional.agda). Checking Data.Vec.Relation.Binary.Pointwise.Inductive (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Pointwise/Inductive.agda). Checking Data.Vec.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/All.agda). Checking Relation.Binary.Construct.Closure.Transitive (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Transitive.agda). Checking Induction.WellFounded (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Induction/WellFounded.agda). Checking Induction (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Induction.agda). Checking Relation.Binary.Reflection (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reflection.agda). Checking Data.Vec.N-ary (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/N-ary.agda). Checking Algebra.Properties.CancellativeCommutativeSemiring (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CancellativeCommutativeSemiring.agda). Checking Algebra.Properties.CommutativeMagma.Divisibility (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMagma/Divisibility.agda). Checking Algebra.Properties.Magma.Divisibility (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Magma/Divisibility.agda). Checking Algebra.Properties.CommutativeMonoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid.agda). Checking Algebra.Operations.CommutativeMonoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Operations/CommutativeMonoid.agda). Checking Data.Table.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Table/Base.agda). Checking Algebra.Solver.CommutativeMonoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/CommutativeMonoid.agda). Checking Data.Nat.GeneralisedArithmetic (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/GeneralisedArithmetic.agda). Checking Data.Fin.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Properties.agda). Checking Data.Fin.Patterns (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Patterns.agda). Checking Data.Fin.Permutation (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Permutation.agda). Checking Data.Fin.Permutation.Components (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Permutation/Components.agda). Checking Data.Table (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Table.agda). Checking Data.Fin (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin.agda). Checking Data.Table.Relation.Binary.Equality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Table/Relation/Binary/Equality.agda). Checking Data.Table.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Table/Properties.agda). Checking Data.List.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Any.agda). Checking Data.List.Membership.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional.agda). Checking Data.List.Membership.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Membership/Setoid.agda). Checking Algebra.Properties.CommutativeMonoid.Mult (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid/Mult.agda). Checking Algebra.Properties.Monoid.Mult (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid/Mult.agda). Checking Algebra.Properties.CommutativeMonoid.Mult.TCOptimised (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agda). Checking Algebra.Properties.Monoid.Mult.TCOptimised (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid/Mult/TCOptimised.agda). Checking Algebra.Properties.CommutativeMonoid.Sum (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid/Sum.agda). Checking Data.Vec.Functional.Relation.Binary.Equality.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Binary/Equality/Setoid.agda). Checking Data.Vec.Functional.Relation.Binary.Pointwise (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Binary/Pointwise.agda). Checking Data.Vec.Functional.Relation.Binary.Pointwise.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agda). Checking Algebra.Properties.Monoid.Sum (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid/Sum.agda). Checking Algebra.Properties.CommutativeSemigroup.Divisibility (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemigroup/Divisibility.agda). Checking Algebra.Properties.Semigroup.Divisibility (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semigroup/Divisibility.agda). Checking Algebra.Properties.CommutativeSemiring.Exp (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemiring/Exp.agda). Checking Algebra.Properties.Semiring.Exp (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Exp.agda). Checking Algebra.Properties.CommutativeSemiring.Exp.TCOptimised (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agda). Checking Algebra.Properties.Semiring.Exp.TCOptimised (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Exp/TCOptimised.agda). Checking Algebra.Properties.Monoid.Divisibility (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid/Divisibility.agda). Checking Algebra.Properties.Ring (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Ring.agda). Checking Algebra.Properties.Semiring.Divisibility (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Divisibility.agda). Checking Algebra.Properties.Semiring.Mult (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Mult.agda). Checking Algebra.Properties.Semiring.Mult.TCOptimised (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Mult/TCOptimised.agda). Checking Algebra.Properties.Semiring.Primality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Primality.agda). Checking Algebra.Properties.Semiring.Sum (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Sum.agda). Checking Algebra.Solver.CommutativeMonoid.Example (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/CommutativeMonoid/Example.agda). Checking Algebra.Solver.IdempotentCommutativeMonoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/IdempotentCommutativeMonoid.agda). Checking Algebra.Solver.IdempotentCommutativeMonoid.Example (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda). Checking Algebra.Solver.Monoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/Monoid.agda). Checking Data.List.Relation.Binary.Equality.DecPropositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Equality/DecPropositional.agda). Checking Data.List.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Properties.agda). Checking Data.List.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/All.agda). Checking Data.Product.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Relation/Unary/All.agda). Checking Data.List.Relation.Binary.Equality.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Equality/Propositional.agda). Checking Data.List.Relation.Binary.Equality.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Equality/Setoid.agda). Checking Data.List.Relation.Binary.Pointwise (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Pointwise.agda). Checking Data.List.Relation.Unary.AllPairs (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/AllPairs.agda). Checking Relation.Binary.Construct.Intersection (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Intersection.agda). Checking Data.List.Relation.Unary.AllPairs.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/AllPairs/Core.agda). Checking Data.List.Relation.Binary.Pointwise.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Pointwise/Base.agda). Checking Data.List.Relation.Binary.Pointwise.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Pointwise/Properties.agda). Checking Data.List.Relation.Unary.Unique.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Setoid.agda). Checking Relation.Binary.Properties.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/Setoid.agda). Checking Data.List.Relation.Binary.Equality.DecSetoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Equality/DecSetoid.agda). Checking Algebra.Solver.Ring (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/Ring.agda). Checking Algebra.Solver.Ring.AlmostCommutativeRing (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/AlmostCommutativeRing.agda). Checking Algebra.Solver.Ring.Lemmas (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/Lemmas.agda). Checking Algebra.Solver.Ring.NaturalCoefficients (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/NaturalCoefficients.agda). Checking Algebra.Solver.Ring.NaturalCoefficients.Default (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agda). Checking Algebra.Solver.Ring.Simple (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/Simple.agda). Checking Algebra.Structures.Biased (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Algebra/Structures/Biased.agda). Checking Axiom.DoubleNegationElimination (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Axiom/DoubleNegationElimination.agda). Checking Axiom.ExcludedMiddle (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Axiom/ExcludedMiddle.agda). Checking Axiom.Extensionality.Heterogeneous (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Axiom/Extensionality/Heterogeneous.agda). Checking Relation.Binary.HeterogeneousEquality.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality/Core.agda). Checking Axiom.UniquenessOfIdentityProofs.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Axiom/UniquenessOfIdentityProofs/WithK.agda). Checking Category.Applicative.Predicate (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Applicative/Predicate.agda). Checking Category.Functor.Predicate (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Functor/Predicate.agda). Checking Relation.Unary.PredicateTransformer (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Unary/PredicateTransformer.agda). Checking Category.Monad.Continuation (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Monad/Continuation.agda). Checking Category.Monad.Partiality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Monad/Partiality.agda). Checking Codata.Musical.Notation (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Notation.agda). Checking Category.Monad.Partiality.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Monad/Partiality/All.agda). Checking Category.Monad.Partiality.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Monad/Partiality/Instances.agda). Checking Category.Monad.Predicate (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Monad/Predicate.agda). Checking Category.Monad.Reader (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Monad/Reader.agda). Checking Category.Monad.State (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Category/Monad/State.agda). Checking Codata.Cofin (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Cofin.agda). Checking Size (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Size.agda). Checking Codata.Thunk (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Thunk.agda). Checking Relation.Unary.Sized (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Unary/Sized.agda). Checking Codata.Conat (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Conat.agda). Checking Codata.Conat.Bisimilarity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Conat/Bisimilarity.agda). Checking Codata.Cofin.Literals (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Cofin/Literals.agda). Checking Codata.Conat.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Conat/Properties.agda). Checking Codata.Colist (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Colist.agda). Checking Data.List.NonEmpty (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/NonEmpty.agda). Checking Data.List.NonEmpty.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/NonEmpty/Base.agda). Checking Data.Vec.Bounded.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Bounded/Base.agda). Checking Data.List.Extrema (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Extrema.agda). Checking Data.List.Membership.Propositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional/Properties.agda). Checking Data.List.Relation.Unary.Any.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Any/Properties.agda). Checking Data.List.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Categorical.agda). Checking Data.List.Membership.Propositional.Properties.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional/Properties/Core.agda). Checking Data.Maybe.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Unary/Any.agda). Checking Data.Product.Function.NonDependent.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Function/NonDependent/Propositional.agda). Checking Data.Product.Function.NonDependent.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Function/NonDependent/Setoid.agda). Checking Data.Product.Function.Dependent.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Propositional.agda). Checking Function.HalfAdjointEquivalence (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/HalfAdjointEquivalence.agda). Checking Function.Related.TypeIsomorphisms (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Related/TypeIsomorphisms.agda). Checking Data.Empty.Polymorphic (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Empty/Polymorphic.agda). Checking Data.Sum.Function.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Function/Propositional.agda). Checking Data.Sum.Function.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Function/Setoid.agda). Checking Data.Sum.Relation.Binary.Pointwise (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Relation/Binary/Pointwise.agda). Checking Relation.Nullary.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Indexed.agda). Checking Data.List.Membership.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Membership/Setoid/Properties.agda). Checking Relation.Binary.Properties.DecTotalOrder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/DecTotalOrder.agda). Checking Data.List.Relation.Binary.Subset.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Propositional.agda). Checking Data.List.Relation.Binary.Subset.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Setoid.agda). Checking Relation.Binary.Construct.On (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/On.agda). Checking Data.List.Extrema.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Extrema/Core.agda). Checking Data.List.Relation.Unary.All.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/All/Properties.agda). Checking Data.Maybe.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Unary/All.agda). Checking Codata.Cowriter (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Cowriter.agda). Checking Codata.Delay (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Delay.agda). Checking Codata.Stream (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Stream.agda). Checking Data.BoundedVec (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/BoundedVec.agda). Checking Data.BoundedVec.Inefficient (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/BoundedVec/Inefficient.agda). Checking Data.Nat.Solver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Solver.agda). Checking Codata.Colist.Bisimilarity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Colist/Bisimilarity.agda). Checking Codata.Colist.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Colist/Categorical.agda). Checking Codata.Colist.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Colist/Properties.agda). Checking Codata.Cowriter.Bisimilarity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Cowriter/Bisimilarity.agda). Checking Data.Vec.Bounded (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Bounded.agda). Checking Data.Vec (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec.agda). Checking Data.Maybe.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe/Properties.agda). Checking Codata.Conat.Literals (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Conat/Literals.agda). Checking Codata.Covec (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Covec.agda). Checking Codata.Covec.Bisimilarity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Covec/Bisimilarity.agda). Checking Codata.Covec.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Covec/Categorical.agda). Checking Codata.Covec.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Covec/Instances.agda). Checking Codata.Covec.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Covec/Properties.agda). Checking Codata.Delay.Bisimilarity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Delay/Bisimilarity.agda). Checking Codata.Delay.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Delay/Categorical.agda). Checking Data.These (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/These.agda). Checking Codata.Delay.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Delay/Properties.agda). Checking Codata.M (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/M.agda). Checking Data.Container.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Core.agda). Checking Codata.M.Bisimilarity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/M/Bisimilarity.agda). Checking Data.Container.Relation.Binary.Pointwise (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Relation/Binary/Pointwise.agda). Checking Codata.M.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/M/Properties.agda). Checking Data.Container.Morphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Morphism.agda). Checking Data.Container.Relation.Binary.Equality.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Relation/Binary/Equality/Setoid.agda). Checking Data.Container.Relation.Binary.Pointwise.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Relation/Binary/Pointwise/Properties.agda). Checking Codata.Musical.Cofin (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Cofin.agda). Checking Codata.Musical.Conat (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Conat.agda). Checking Codata.Musical.Conat.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Conat/Base.agda). Checking Codata.Musical.Colist (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Colist.agda). Checking Codata.Musical.Colist.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Properties.agda). Checking Codata.Musical.Colist.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Base.agda). Checking Codata.Musical.Colist.Relation.Unary.All.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/All/Properties.agda). Checking Codata.Musical.Colist.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/All.agda). Checking Data.Maybe (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe.agda). Checking Relation.Binary.Construct.FromRel (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/FromRel.agda). Checking Relation.Binary.Reasoning.PartialOrder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/PartialOrder.agda). Checking Codata.Musical.Colist.Bisimilarity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Bisimilarity.agda). Checking Codata.Musical.Colist.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/Any.agda). Checking Codata.Musical.Colist.Relation.Unary.Any.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/Any/Properties.agda). Checking Codata.Musical.Colist.Infinite-merge (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Infinite-merge.agda). Checking Data.Nat.Induction (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Induction.agda). Checking Codata.Musical.Conversion (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Conversion.agda). Checking Codata.Musical.Covec (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Covec.agda). Checking Codata.Musical.M (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/M.agda). Checking Codata.Musical.Stream (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Stream.agda). Checking Codata.Musical.Costring (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/Costring.agda). Checking Data.Char.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Char/Base.agda). Checking Relation.Binary.Construct.Closure.Reflexive (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Reflexive.agda). Checking Relation.Binary.Construct.Constant.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Constant/Core.agda). Checking Data.String.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/String/Base.agda). Checking Data.List.Relation.Binary.Lex.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Lex/Core.agda). Checking Codata.Musical.M.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Musical/M/Indexed.agda). Checking Data.Container.Indexed.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Indexed/Core.agda). Checking Codata.Stream.Bisimilarity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Stream/Bisimilarity.agda). Checking Codata.Stream.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Stream/Categorical.agda). Checking Codata.Stream.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Stream/Instances.agda). Checking Codata.Stream.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Codata/Stream/Properties.agda). Checking Data.Bool.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Bool/Instances.agda). Checking Data.Bool.Show (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Bool/Show.agda). Checking Data.Bool.Solver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Bool/Solver.agda). Checking Data.Char (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Char.agda). Checking Data.Char.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Char/Properties.agda). Checking Relation.Binary.Construct.Closure.Reflexive.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Reflexive/Properties.agda). Checking Data.Char.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Char/Instances.agda). Checking Data.Container (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container.agda). Checking Data.W (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/W.agda). Checking Data.Container.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Relation/Unary/All.agda). Checking Data.Container.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Relation/Unary/Any.agda). Checking Data.Container.Membership (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Membership.agda). Checking Data.Container.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Properties.agda). Checking Data.Container.Related (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Related.agda). Checking Data.Container.Morphism.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Morphism/Properties.agda). Checking Data.Container.Combinator (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Combinator.agda). Checking Data.Container.Combinator.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Combinator/Properties.agda). Checking Data.Container.Fixpoints.Guarded (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Fixpoints/Guarded.agda). Checking Data.Container.Fixpoints.Sized (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Fixpoints/Sized.agda). Checking Data.W.Sized (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/W/Sized.agda). Checking Data.Container.FreeMonad (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/FreeMonad.agda). Checking Data.Container.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Indexed.agda). Checking Data.W.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/W/Indexed.agda). Checking Data.Container.Indexed.Combinator (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Indexed/Combinator.agda). Checking Data.Sum.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Relation/Unary/All.agda). Checking Data.Container.Indexed.Fixpoints.Guarded (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Indexed/Fixpoints/Guarded.agda). Checking Data.Container.Indexed.FreeMonad (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Indexed/FreeMonad.agda). Checking Data.Container.Indexed.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Indexed/WithK.agda). Checking Relation.Binary.HeterogeneousEquality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality.agda). Checking Data.Unit.NonEta (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Unit/NonEta.agda). Checking Relation.Binary.Indexed.Heterogeneous.Construct.At (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda). Checking Data.Container.Relation.Unary.Any.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Container/Relation/Unary/Any/Properties.agda). Checking Data.DifferenceList (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/DifferenceList.agda). Checking Data.DifferenceNat (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/DifferenceNat.agda). Checking Data.DifferenceVec (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/DifferenceVec.agda). Checking Data.Digit (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Digit.agda). Checking Data.Nat.DivMod (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/DivMod.agda). Checking Data.Nat.DivMod.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/DivMod/Core.agda). Checking Data.Nat.Divisibility.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Divisibility/Core.agda). Checking Data.Digit.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Digit/Properties.agda). Checking Data.Vec.Relation.Unary.Unique.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Propositional.agda). Checking Data.Vec.Relation.Unary.Unique.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Setoid.agda). Checking Data.Vec.Relation.Unary.AllPairs (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/AllPairs.agda). Checking Data.Vec.Relation.Unary.AllPairs.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/AllPairs/Core.agda). Checking Data.Vec.Relation.Unary.Unique.Propositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Propositional/Properties.agda). Checking Data.Vec.Relation.Unary.Unique.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Setoid/Properties.agda). Checking Data.Vec.Relation.Unary.AllPairs.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/AllPairs/Properties.agda). Checking Data.Vec.Relation.Unary.All.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/All/Properties.agda). Checking Data.Erased (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Erased.agda). Checking Data.Fin.Induction (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Induction.agda). Checking Data.Fin.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Instances.agda). Checking Data.Fin.Literals (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Literals.agda). Checking Data.Fin.Permutation.Transposition.List (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Permutation/Transposition/List.agda). Checking Data.List (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List.agda). Checking Data.Fin.Reflection (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Reflection.agda). Checking Reflection.Term (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Term.agda). Checking Data.String (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/String.agda). Checking Data.List.Relation.Binary.Lex.Strict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Lex/Strict.agda). Checking Data.List.Relation.Binary.Lex (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Lex.agda). Checking Data.List.Membership.DecPropositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Membership/DecPropositional.agda). Checking Data.List.Membership.DecSetoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Membership/DecSetoid.agda). Checking Data.String.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/String/Properties.agda). Checking Reflection.Abstraction (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Abstraction.agda). Checking Reflection.Argument (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Argument.agda). Checking Reflection.Argument.Visibility (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Argument/Visibility.agda). Checking Reflection.Argument.Relevance (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Argument/Relevance.agda). Checking Reflection.Argument.Quantity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Argument/Quantity.agda). Checking Reflection.Argument.Modality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Argument/Modality.agda). Checking Reflection.Argument.Information (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Argument/Information.agda). Checking Reflection.Literal (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Literal.agda). Checking Data.Float (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Float.agda). Checking Data.Float.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Float/Base.agda). Checking Data.Word.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Word/Base.agda). Checking Data.Float.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Float/Properties.agda). Checking Data.Word.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Word/Properties.agda). Checking Data.Word (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Word.agda). Checking Reflection.Meta (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Meta.agda). Checking Reflection.Name (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Name.agda). Checking Data.Fin.Show (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Show.agda). Checking Data.Nat.Show (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Show.agda). Checking Data.Maybe.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe/Categorical.agda). Checking Data.Fin.Subset (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Subset.agda). Checking Data.Fin.Subset.Induction (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Subset/Induction.agda). Checking Data.Fin.Subset.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Subset/Properties.agda). Checking Data.Fin.Substitution (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Substitution.agda). Checking Relation.Binary.Construct.Closure.ReflexiveTransitive (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda). Checking Data.Fin.Substitution.Example (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Substitution/Example.agda). Checking Data.Fin.Substitution.Lemmas (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Substitution/Lemmas.agda). Checking Data.Fin.Substitution.List (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Fin/Substitution/List.agda). Checking Data.Float.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Float/Instances.agda). Checking Data.Graph.Acyclic (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Graph/Acyclic.agda). Checking Data.Integer (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer.agda). Checking Data.Integer.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Base.agda). Checking Data.Sign (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sign.agda). Checking Data.Sign.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sign/Base.agda). Checking Data.Sign.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sign/Properties.agda). Checking Data.Integer.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Properties.agda). Checking Data.Integer.Coprimality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Coprimality.agda). Checking Data.Integer.Divisibility (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Divisibility.agda). Checking Data.Nat.Divisibility (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Divisibility.agda). Checking Data.Nat.Coprimality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Coprimality.agda). Checking Data.Nat.GCD (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/GCD.agda). Checking Data.Nat.GCD.Lemmas (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/GCD/Lemmas.agda). Checking Induction.Lexicographic (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Induction/Lexicographic.agda). Checking Data.Nat.Primality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Primality.agda). Checking Data.Integer.DivMod (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/DivMod.agda). Checking Data.Integer.Divisibility.Signed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Divisibility/Signed.agda). Checking Data.Integer.GCD (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/GCD.agda). Checking Data.Integer.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Instances.agda). Checking Data.Integer.LCM (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/LCM.agda). Checking Data.Nat.LCM (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/LCM.agda). Checking Data.Integer.Literals (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Literals.agda). Checking Data.Integer.Show (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Show.agda). Checking Data.Integer.Solver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Solver.agda). Checking Data.Integer.Tactic.RingSolver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Integer/Tactic/RingSolver.agda). Checking Tactic.RingSolver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver.agda). Checking Data.Nat.Reflection (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Reflection.agda). Checking Reflection.TypeChecking.Monad.Syntax (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Monad/Syntax.agda). Checking Tactic.RingSolver.NonReflective (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/NonReflective.agda). Checking Tactic.RingSolver.Core.AlmostCommutativeRing (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/AlmostCommutativeRing.agda). Checking Tactic.RingSolver.Core.Polynomial.Parameters (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Parameters.agda). Checking Tactic.RingSolver.Core.Expression (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Expression.agda). Checking Tactic.RingSolver.Core.Polynomial.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Base.agda). Checking Data.List.Kleene (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Kleene.agda). Checking Data.List.Kleene.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Kleene/Base.agda). Checking Tactic.RingSolver.Core.Polynomial.Semantics (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Semantics.agda). Checking Tactic.RingSolver.Core.Polynomial.Homomorphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism.agda). Checking Tactic.RingSolver.Core.Polynomial.Homomorphism.Addition (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agda). Checking Tactic.RingSolver.Core.Polynomial.Homomorphism.Lemmas (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agda). Checking Tactic.RingSolver.Core.Polynomial.Reasoning (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Reasoning.agda). Checking Tactic.RingSolver.Core.Polynomial.Homomorphism.Multiplication (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agda). Checking Tactic.RingSolver.Core.Polynomial.Homomorphism.Negation (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agda). Checking Tactic.RingSolver.Core.Polynomial.Homomorphism.Exponentiation (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agda). Checking Tactic.RingSolver.Core.Polynomial.Homomorphism.Constants (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agda). Checking Tactic.RingSolver.Core.Polynomial.Homomorphism.Variables (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agda). Checking Tactic.RingSolver.Core.NatSet (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/NatSet.agda). Checking Tactic.RingSolver.Core.ReflectionHelp (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/ReflectionHelp.agda). Checking Data.List.Countdown (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Countdown.agda). Checking Data.List.Extrema.Nat (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Extrema/Nat.agda). Checking Data.List.Fresh (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Fresh.agda). Checking Relation.Nary (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nary.agda). Checking Data.Product.Nary.NonDependent (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Nary/NonDependent.agda). Checking Function.Nary.NonDependent.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Nary/NonDependent/Base.agda). Checking Function.Nary.NonDependent (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Nary/NonDependent.agda). Checking Data.List.Fresh.Membership.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Fresh/Membership/Setoid.agda). Checking Data.List.Fresh.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/Any.agda). Checking Data.List.Fresh.Membership.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Fresh/Membership/Setoid/Properties.agda). Checking Data.List.Fresh.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Fresh/Properties.agda). Checking Data.List.Fresh.Relation.Unary.Any.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/Any/Properties.agda). Checking Data.List.Fresh.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/All.agda). Checking Data.List.Fresh.Relation.Unary.All.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/All/Properties.agda). Checking Data.List.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Instances.agda). Checking Data.List.Relation.Binary.Lex.NonStrict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Lex/NonStrict.agda). Checking Relation.Binary.TypeClasses (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/TypeClasses.agda). Checking Data.List.Kleene.AsList (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Kleene/AsList.agda). Checking Data.List.Literals (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Literals.agda). Checking Data.List.Membership.Propositional.Properties.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional/Properties/WithK.agda). Checking Data.List.Relation.Unary.Unique.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Propositional.agda). Checking Relation.Binary.PropositionalEquality.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/WithK.agda). Checking Data.List.NonEmpty.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/NonEmpty/Categorical.agda). Checking Data.List.NonEmpty.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/NonEmpty/Instances.agda). Checking Data.List.NonEmpty.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/NonEmpty/Properties.agda). Checking Data.List.Relation.Binary.BagAndSetEquality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/BagAndSetEquality.agda). Checking Data.List.Relation.Binary.Subset.Propositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agda). Checking Data.List.Relation.Binary.Subset.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agda). Checking Data.List.Relation.Binary.Sublist.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Setoid.agda). Checking Data.List.Relation.Binary.Sublist.Heterogeneous (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agda). Checking Data.List.Relation.Binary.Sublist.Heterogeneous.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agda). Checking Data.List.Relation.Binary.Sublist.Heterogeneous.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agda). Checking Data.List.Relation.Binary.Permutation.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Setoid.agda). Checking Data.List.Relation.Binary.Permutation.Homogeneous (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Homogeneous.agda). Checking Data.List.Relation.Binary.Permutation.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda). Checking Data.List.Relation.Binary.Permutation.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Propositional.agda). Checking Data.List.Relation.Binary.Permutation.Propositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda). Checking Data.List.Relation.Binary.Disjoint.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Disjoint/Propositional.agda). Checking Data.List.Relation.Binary.Disjoint.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Disjoint/Setoid.agda). Checking Data.List.Relation.Binary.Disjoint.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agda). Checking Data.List.Relation.Binary.Infix.Heterogeneous (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Infix/Heterogeneous.agda). Checking Data.List.Relation.Binary.Prefix.Heterogeneous (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agda). Checking Data.List.Relation.Binary.Infix.Heterogeneous.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agda). Checking Data.List.Relation.Binary.Prefix.Heterogeneous.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agda). Checking Data.List.Relation.Binary.Suffix.Heterogeneous (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agda). Checking Data.List.Relation.Binary.Infix.Homogeneous.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agda). Checking Data.List.Relation.Binary.Prefix.Homogeneous.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agda). Checking Data.List.Relation.Binary.Sublist.DecPropositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecPropositional.agda). Checking Data.List.Relation.Binary.Sublist.DecSetoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecSetoid.agda). Checking Data.List.Relation.Binary.Sublist.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional.agda). Checking Data.List.Relation.Binary.Sublist.DecPropositional.Solver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agda). Checking Data.List.Relation.Binary.Sublist.DecSetoid.Solver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agda). Checking Data.List.Relation.Binary.Sublist.Heterogeneous.Solver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agda). Checking Data.List.Relation.Binary.Sublist.Propositional.Disjoint (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agda). Checking Data.List.Relation.Binary.Sublist.Propositional.Example.UniqueBoundVariables (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agda). Checking Data.List.Relation.Binary.Sublist.Propositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda). Checking Data.List.Relation.Binary.Sublist.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agda). Checking Data.List.Relation.Binary.Suffix.Heterogeneous.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agda). Checking Data.List.Relation.Binary.Suffix.Homogeneous.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Suffix/Homogeneous/Properties.agda). Checking Data.List.Relation.Ternary.Appending (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending.agda). Checking Data.List.Relation.Ternary.Appending.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Properties.agda). Checking Data.List.Relation.Ternary.Appending.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Propositional.agda). Checking Data.List.Relation.Ternary.Appending.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Setoid.agda). Checking Data.List.Relation.Ternary.Appending.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Setoid/Properties.agda). Checking Data.List.Relation.Ternary.Appending.Propositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Propositional/Properties.agda). Checking Data.List.Relation.Ternary.Interleaving (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving.agda). Checking Data.List.Relation.Ternary.Interleaving.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Properties.agda). Checking Data.List.Relation.Ternary.Interleaving.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Propositional.agda). Checking Data.List.Relation.Ternary.Interleaving.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Setoid.agda). Checking Data.List.Relation.Ternary.Interleaving.Propositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agda). Checking Data.List.Relation.Ternary.Interleaving.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agda). Checking Data.List.Relation.Unary.AllPairs.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/AllPairs/Properties.agda). Checking Data.List.Relation.Unary.Enumerates.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Enumerates/Setoid.agda). Checking Data.List.Relation.Unary.Enumerates.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agda). Checking Data.List.Relation.Unary.First (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/First.agda). Checking Data.List.Relation.Unary.First.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/First/Properties.agda). Checking Data.List.Relation.Unary.Grouped (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Grouped.agda). Checking Data.List.Relation.Unary.Grouped.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Grouped/Properties.agda). Checking Data.List.Relation.Unary.Linked (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Linked.agda). Checking Data.Maybe.Relation.Binary.Connected (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Binary/Connected.agda). Checking Data.List.Relation.Unary.Linked.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Linked/Properties.agda). Checking Data.List.Relation.Unary.Sorted.TotalOrder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Sorted/TotalOrder.agda). Checking Data.List.Relation.Unary.Sorted.TotalOrder.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agda). Checking Data.List.Relation.Unary.Unique.DecPropositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecPropositional.agda). Checking Data.List.Relation.Unary.Unique.DecSetoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecSetoid.agda). Checking Data.List.Relation.Unary.Unique.DecPropositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecPropositional/Properties.agda). Checking Data.List.Relation.Unary.Unique.DecSetoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecSetoid/Properties.agda). Checking Data.List.Relation.Unary.Unique.Setoid.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Setoid/Properties.agda). Checking Data.List.Relation.Unary.Unique.Propositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda). Checking Data.List.Reverse (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Reverse.agda). Checking Data.List.Sort (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Sort.agda). Checking Data.List.Sort.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Sort/Base.agda). Checking Data.List.Sort.MergeSort (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Sort/MergeSort.agda). Checking Data.List.Zipper (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Zipper.agda). Checking Data.List.Zipper.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/List/Zipper/Properties.agda). Checking Data.Maybe.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe/Instances.agda). Checking Data.Maybe.Relation.Binary.Pointwise (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Binary/Pointwise.agda). Checking Data.Maybe.Relation.Unary.All.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Unary/All/Properties.agda). Checking Data.Nat.Binary (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Binary.agda). Checking Data.Nat.Binary.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Binary/Base.agda). Checking Data.Nat.Binary.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Binary/Properties.agda). Checking Relation.Binary.Morphism.OrderMonomorphism (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/OrderMonomorphism.agda). Checking Relation.Binary.Construct.StrictToNonStrict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/StrictToNonStrict.agda). Checking Data.Nat.Binary.Induction (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Binary/Induction.agda). Checking Data.Nat.Binary.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Binary/Instances.agda). Checking Data.Nat.Binary.Subtraction (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Binary/Subtraction.agda). Checking Data.Nat.DivMod.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/DivMod/WithK.agda). Checking Data.Nat.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/WithK.agda). Checking Data.Nat.InfinitelyOften (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/InfinitelyOften.agda). Checking Data.Nat.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Instances.agda). Checking Data.Nat.Literals (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Literals.agda). Checking Data.Nat.PseudoRandom.LCG (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/PseudoRandom/LCG.agda). Checking Data.Nat.PseudoRandom.LCG.Unsafe (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/PseudoRandom/LCG/Unsafe.agda). Checking Data.Nat.Show.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Show/Properties.agda). Checking Data.Nat.Tactic.RingSolver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Nat/Tactic/RingSolver.agda). Checking Data.Product.Algebra (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Algebra.agda). Checking Data.Sum.Algebra (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Algebra.agda). Checking Function.Properties.Inverse (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Properties/Inverse.agda). Checking Function.Construct.Identity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Construct/Identity.agda). Checking Function.Construct.Symmetry (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Construct/Symmetry.agda). Checking Function.Construct.Composition (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Construct/Composition.agda). Checking Data.Product.Categorical.Examples (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Categorical/Examples.agda). Checking Data.Product.Categorical.Left (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Categorical/Left.agda). Checking Data.Product.Categorical.Left.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Categorical/Left/Base.agda). Checking Data.Product.Categorical.Right (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Categorical/Right.agda). Checking Data.Product.Categorical.Right.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Categorical/Right/Base.agda). Checking Data.Product.Function.Dependent.Propositional.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Propositional/WithK.agda). Checking Data.Product.Function.Dependent.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Setoid.agda). Checking Data.Product.Relation.Binary.Pointwise.Dependent (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Pointwise/Dependent.agda). Checking Data.Product.Relation.Binary.Pointwise.Dependent.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agda). Checking Data.Product.Function.Dependent.Setoid.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Setoid/WithK.agda). Checking Data.Product.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Instances.agda). Checking Data.Product.Properties.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Properties/WithK.agda). Checking Data.Product.Relation.Binary.Lex.NonStrict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Lex/NonStrict.agda). Checking Data.Product.Relation.Binary.Lex.Strict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Lex/Strict.agda). Checking Data.Rational (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational.agda). Checking Data.Rational.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Base.agda). Checking Data.Rational.Unnormalised.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Unnormalised/Base.agda). Checking Data.Rational.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Properties.agda). Checking Data.Rational.Unnormalised.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Unnormalised/Properties.agda). Checking Data.Rational.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Instances.agda). Checking Data.Rational.Literals (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Literals.agda). Checking Data.Rational.Show (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Show.agda). Checking Data.Rational.Solver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Solver.agda). Checking Data.Rational.Unnormalised (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Unnormalised.agda). Checking Data.Rational.Unnormalised.Solver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Rational/Unnormalised/Solver.agda). Checking Data.Record (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Record.agda). Checking Data.Refinement (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Refinement.agda). Checking Data.Refinement.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Refinement/Relation/Unary/All.agda). Checking Data.Sign.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sign/Instances.agda). Checking Data.Star.BoundedVec (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Star/BoundedVec.agda). Checking Data.Star.Nat (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Star/Nat.agda). Checking Relation.Binary.Construct.Always (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Always.agda). Checking Relation.Binary.Construct.Constant (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Constant.agda). Checking Data.Star.Decoration (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Star/Decoration.agda). Checking Data.Star.Pointer (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Star/Pointer.agda). Checking Data.Star.List (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Star/List.agda). Checking Data.Star.Environment (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Star/Environment.agda). Checking Data.Star.Fin (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Star/Fin.agda). Checking Data.Star.Vec (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Star/Vec.agda). Checking Data.String.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/String/Instances.agda). Checking Data.String.Literals (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/String/Literals.agda). Checking Data.String.Unsafe (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/String/Unsafe.agda). Checking Relation.Binary.PropositionalEquality.TrustMe (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/TrustMe.agda). Checking Data.Sum.Categorical.Examples (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Categorical/Examples.agda). Checking Data.Sum.Categorical.Left (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Categorical/Left.agda). Checking Data.Sum.Categorical.Right (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Categorical/Right.agda). Checking Data.Sum.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Instances.agda). Checking Data.Sum.Relation.Binary.LeftOrder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Sum/Relation/Binary/LeftOrder.agda). Checking Data.These.Categorical.Left (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/These/Categorical/Left.agda). Checking Data.These.Categorical.Left.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/These/Categorical/Left/Base.agda). Checking Data.These.Categorical.Right (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/These/Categorical/Right.agda). Checking Data.These.Categorical.Right.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/These/Categorical/Right/Base.agda). Checking Data.These.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/These/Instances.agda). Checking Data.These.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/These/Properties.agda). Checking Data.Tree.AVL (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL.agda). Checking Data.Tree.AVL.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed.agda). Checking Data.Tree.AVL.Key (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Key.agda). Checking Relation.Nullary.Construct.Add.Extrema (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Construct/Add/Extrema.agda). Checking Relation.Nullary.Construct.Add.Infimum (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Construct/Add/Infimum.agda). Checking Relation.Nullary.Construct.Add.Point (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Construct/Add/Point.agda). Checking Relation.Nullary.Construct.Add.Supremum (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Construct/Add/Supremum.agda). Checking Relation.Binary.Construct.Add.Extrema.Equality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Extrema/Equality.agda). Checking Relation.Binary.Construct.Add.Infimum.Equality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Infimum/Equality.agda). Checking Relation.Binary.Construct.Add.Point.Equality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Point/Equality.agda). Checking Relation.Binary.Construct.Add.Supremum.Equality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Supremum/Equality.agda). Checking Relation.Binary.Construct.Add.Extrema.Strict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Extrema/Strict.agda). Checking Relation.Binary.Construct.Add.Infimum.Strict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Infimum/Strict.agda). Checking Relation.Binary.Construct.Add.Infimum.NonStrict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Infimum/NonStrict.agda). Checking Relation.Binary.Construct.Add.Supremum.Strict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Supremum/Strict.agda). Checking Relation.Binary.Construct.Add.Supremum.NonStrict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Supremum/NonStrict.agda). Checking Relation.Binary.Construct.Add.Extrema.NonStrict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Extrema/NonStrict.agda). Checking Data.Tree.AVL.Value (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Value.agda). Checking Data.Tree.AVL.Height (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Height.agda). Checking Data.Tree.AVL.Indexed.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/Relation/Unary/All.agda). Checking Data.Tree.AVL.Indexed.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/Relation/Unary/Any.agda). Checking Data.Tree.AVL.Indexed.Relation.Unary.Any.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agda). Checking Relation.Binary.Reasoning.StrictPartialOrder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/StrictPartialOrder.agda). Checking Data.Tree.AVL.Indexed.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/WithK.agda). Checking Data.Tree.AVL.IndexedMap (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/IndexedMap.agda). Checking Data.Tree.AVL.Map (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Map.agda). Checking Data.Tree.AVL.Map.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Map/Relation/Unary/Any.agda). Checking Data.Tree.AVL.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Relation/Unary/Any.agda). Checking Data.Tree.AVL.NonEmpty (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/NonEmpty.agda). Checking Data.Tree.AVL.NonEmpty.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/NonEmpty/Propositional.agda). Checking Data.Tree.AVL.Sets (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/AVL/Sets.agda). Checking Data.Tree.Binary (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Binary.agda). Checking Data.Tree.Binary.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Binary/Properties.agda). Checking Data.Tree.Binary.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Binary/Relation/Unary/All.agda). Checking Data.Tree.Binary.Relation.Unary.All.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Binary/Relation/Unary/All/Properties.agda). Checking Data.Tree.Binary.Show (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Binary/Show.agda). Checking Data.Tree.Rose (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Rose.agda). Checking Data.Tree.Rose.Show (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Rose/Show.agda). Checking Data.Tree.Binary.Zipper (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Binary/Zipper.agda). Checking Data.Tree.Binary.Zipper.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Binary/Zipper/Properties.agda). Checking Data.Tree.Rose.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Tree/Rose/Properties.agda). Checking Data.Trie (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Trie.agda). Checking Data.Trie.NonEmpty (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Trie/NonEmpty.agda). Checking Data.Unit.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Unit/Instances.agda). Checking Data.Unit.Polymorphic.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Unit/Polymorphic/Instances.agda). Checking Data.Universe (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Universe.agda). Checking Data.Universe.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Universe/Indexed.agda). Checking Data.Vec.Functional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Functional/Properties.agda). Checking Data.Vec.Functional.Relation.Unary.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Unary/All.agda). Checking Data.Vec.Functional.Relation.Unary.All.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Unary/All/Properties.agda). Checking Data.Vec.Functional.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Unary/Any.agda). Checking Data.Vec.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Instances.agda). Checking Data.Vec.Relation.Binary.Equality.DecPropositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/DecPropositional.agda). Checking Data.Vec.Relation.Binary.Equality.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/Propositional.agda). Checking Data.Vec.Relation.Binary.Equality.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/Setoid.agda). Checking Data.Vec.Relation.Binary.Equality.DecSetoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/DecSetoid.agda). Checking Data.Vec.Membership.DecPropositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Membership/DecPropositional.agda). Checking Data.Vec.Membership.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Membership/Propositional.agda). Checking Data.Vec.Relation.Unary.Any (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Any.agda). Checking Data.Vec.Membership.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Membership/Setoid.agda). Checking Data.Vec.Membership.DecSetoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Membership/DecSetoid.agda). Checking Data.Vec.Membership.Propositional.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Membership/Propositional/Properties.agda). Checking Data.Vec.Properties.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Properties/WithK.agda). Checking Data.Vec.Recursive (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Recursive.agda). Checking Data.Vec.Recursive.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Recursive/Categorical.agda). Checking Data.Vec.Recursive.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Recursive/Properties.agda). Checking Data.Vec.Relation.Binary.Equality.Propositional.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agda). Checking Data.Vec.Relation.Binary.Lex.NonStrict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Lex/NonStrict.agda). Checking Data.Vec.Relation.Binary.Lex.Strict (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Lex/Strict.agda). Checking Data.Vec.Relation.Binary.Lex.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Lex/Core.agda). Checking Data.Vec.Relation.Unary.Any.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Any/Properties.agda). Checking Data.W.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/W/WithK.agda). Checking Data.Word.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Word/Instances.agda). Checking Data.Wrap (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Data/Wrap.agda). Checking Debug.Trace (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Debug/Trace.agda). Checking Effect.Applicative (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Applicative.agda). Checking Effect.Applicative.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Applicative/Indexed.agda). Checking Effect.Applicative.Predicate (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Applicative/Predicate.agda). Checking Effect.Comonad (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Comonad.agda). Checking Effect.Functor (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Functor.agda). Checking Effect.Functor.Predicate (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Functor/Predicate.agda). Checking Effect.Monad (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Monad.agda). Checking Effect.Monad.Continuation (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Monad/Continuation.agda). Checking Effect.Monad.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Monad/Indexed.agda). Checking Effect.Monad.Partiality (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Monad/Partiality.agda). Checking Effect.Monad.Partiality.All (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Monad/Partiality/All.agda). Checking Effect.Monad.Partiality.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Monad/Partiality/Instances.agda). Checking Effect.Monad.Predicate (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Monad/Predicate.agda). Checking Effect.Monad.Reader (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Monad/Reader.agda). Checking Effect.Monad.State (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Effect/Monad/State.agda). Checking Foreign.Haskell (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Foreign/Haskell.agda). Checking Foreign.Haskell.Pair (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Foreign/Haskell/Pair.agda). Checking Foreign.Haskell.Either (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Foreign/Haskell/Either.agda). Checking Foreign.Haskell.Coerce (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Foreign/Haskell/Coerce.agda). Checking IO.Primitive (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/IO/Primitive.agda). Checking Function.Endomorphism.Propositional (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Endomorphism/Propositional.agda). Checking Function.Endomorphism.Setoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Endomorphism/Setoid.agda). Checking Function.Identity.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Identity/Instances.agda). Checking Function.Metric (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric.agda). Checking Function.Metric.Rational (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Rational.agda). Checking Function.Metric.Rational.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Rational/Core.agda). Checking Function.Metric.Rational.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Rational/Definitions.agda). Checking Function.Metric.Rational.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Rational/Structures.agda). Checking Function.Metric.Rational.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Metric/Rational/Bundles.agda). Checking Function.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Properties.agda). Checking Function.Properties.Equivalence (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Properties/Equivalence.agda). Checking Function.Reasoning (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Reasoning.agda). Checking Function.Related.TypeIsomorphisms.Solver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Function/Related/TypeIsomorphisms/Solver.agda). Checking IO (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/IO.agda). Checking IO.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/IO/Base.agda). Checking IO.Finite (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/IO/Finite.agda). Checking IO.Primitive.Finite (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/IO/Primitive/Finite.agda). Checking IO.Infinite (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/IO/Infinite.agda). Checking IO.Primitive.Infinite (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/IO/Primitive/Infinite.agda). Checking Level.Literals (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Level/Literals.agda). Checking Reflection (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection.agda). Checking Reflection.Definition (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Definition.agda). Checking Reflection.Pattern (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Pattern.agda). Checking Reflection.TypeChecking.Monad (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Monad.agda). Checking Reflection.TypeChecking.Format (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Format.agda). Checking Text.Format (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Format.agda). Checking Text.Format.Generic (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Format/Generic.agda). Checking Text.Printf (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Printf.agda). Checking Text.Printf.Generic (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Printf/Generic.agda). Checking Reflection.Show (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Show.agda). Checking Reflection.Annotated (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Annotated.agda). Checking Reflection.Universe (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Universe.agda). Checking Reflection.Annotated.Free (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Annotated/Free.agda). Checking Reflection.DeBruijn (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/DeBruijn.agda). Checking Reflection.Traversal (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Traversal.agda). Checking Reflection.External (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/External.agda). Checking Reflection.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/Instances.agda). Checking Reflection.TypeChecking.Monad.Categorical (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Monad/Categorical.agda). Checking Reflection.TypeChecking.Monad.Instances (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Monad/Instances.agda). Checking Relation.Binary.Construct.Closure.Equivalence (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Equivalence.agda). Checking Relation.Binary.Construct.Closure.Symmetric (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Symmetric.agda). Checking Relation.Binary.Construct.Closure.Equivalence.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Equivalence/Properties.agda). Checking Relation.Binary.Construct.Closure.Reflexive.Properties.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agda). Checking Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda). Checking Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agda). Checking Relation.Binary.Construct.Closure.SymmetricTransitive (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/SymmetricTransitive.agda). Checking Relation.Binary.Construct.Closure.Transitive.WithK (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Transitive/WithK.agda). Checking Relation.Binary.Construct.Composition (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Composition.agda). Checking Relation.Binary.Construct.Flip (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Flip.agda). Checking Relation.Binary.Construct.FromPred (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/FromPred.agda). Checking Relation.Binary.Construct.NaturalOrder.Right (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/NaturalOrder/Right.agda). Checking Relation.Binary.Construct.Never (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Never.agda). Checking Relation.Binary.Construct.Union (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Union.agda). Checking Relation.Binary.HeterogeneousEquality.Quotients (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality/Quotients.agda). Checking Relation.Binary.HeterogeneousEquality.Quotients.Examples (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda). Checking Relation.Binary.Indexed.Homogeneous (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous.agda). Checking Relation.Binary.Indexed.Homogeneous.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Core.agda). Checking Relation.Unary.Indexed (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Unary/Indexed.agda). Checking Relation.Binary.Indexed.Homogeneous.Definitions (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Definitions.agda). Checking Relation.Binary.Indexed.Homogeneous.Structures (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Structures.agda). Checking Relation.Binary.Indexed.Homogeneous.Bundles (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Bundles.agda). Checking Relation.Binary.Indexed.Homogeneous.Construct.At (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Construct/At.agda). Checking Relation.Binary.Morphism.Construct.Composition (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Construct/Composition.agda). Checking Relation.Binary.Morphism.Construct.Constant (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Construct/Constant.agda). Checking Relation.Binary.Morphism.Construct.Identity (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Construct/Identity.agda). Checking Relation.Binary.Properties.BoundedJoinSemilattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/BoundedJoinSemilattice.agda). Checking Relation.Binary.Properties.BoundedLattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/BoundedLattice.agda). Checking Relation.Binary.Properties.MeetSemilattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/MeetSemilattice.agda). Checking Relation.Binary.Properties.JoinSemilattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/JoinSemilattice.agda). Checking Relation.Binary.Properties.BoundedMeetSemilattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/BoundedMeetSemilattice.agda). Checking Relation.Binary.Properties.DistributiveLattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/DistributiveLattice.agda). Checking Relation.Binary.Properties.Lattice (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/Lattice.agda). Checking Relation.Binary.Properties.HeytingAlgebra (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/HeytingAlgebra.agda). Checking Relation.Binary.Properties.StrictPartialOrder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/StrictPartialOrder.agda). Checking Relation.Binary.Properties.StrictTotalOrder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Properties/StrictTotalOrder.agda). Checking Relation.Binary.Reasoning.Base.Partial (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Base/Partial.agda). Checking Relation.Binary.Reasoning.MultiSetoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/MultiSetoid.agda). Checking Relation.Binary.Reasoning.PartialSetoid (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/PartialSetoid.agda). Checking Relation.Binary.Rewriting (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Binary/Rewriting.agda). Checking Relation.Nullary.Implication (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Implication.agda). Checking Relation.Nullary.Indexed.Negation (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Indexed/Negation.agda). Checking Relation.Nullary.Universe (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Nullary/Universe.agda). Checking Relation.Unary.Closure.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Unary/Closure/Base.agda). Checking Relation.Unary.Closure.Preorder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Unary/Closure/Preorder.agda). Checking Relation.Unary.Closure.StrictPartialOrder (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Unary/Closure/StrictPartialOrder.agda). Checking Relation.Unary.Consequences (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Relation/Unary/Consequences.agda). Checking System.Environment (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/System/Environment.agda). Checking System.Environment.Primitive (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/System/Environment/Primitive.agda). Checking System.Exit (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/System/Exit.agda). Checking System.Exit.Primitive (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/System/Exit/Primitive.agda). Checking Tactic.MonoidSolver (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Tactic/MonoidSolver.agda). Checking Text.Pretty (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Pretty.agda). Checking Text.Pretty.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Pretty/Core.agda). Checking Text.Regex (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Regex.agda). Checking Text.Regex.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Regex/Base.agda). Checking Text.Regex.SmartConstructors (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Regex/SmartConstructors.agda). Checking Text.Regex.Properties.Core (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Regex/Properties/Core.agda). Checking Text.Regex.Derivative.Brzozowski (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Regex/Derivative/Brzozowski.agda). Checking Text.Regex.Properties (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Regex/Properties.agda). Checking Text.Regex.Search (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Regex/Search.agda). Checking Text.Regex.String (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Regex/String.agda). Checking Text.Regex.String.Unsafe (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Regex/String/Unsafe.agda). Checking Text.Tabular.Base (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Tabular/Base.agda). Checking Text.Tabular.List (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Tabular/List.agda). Checking Text.Tabular.Vec (/tmp/archlinux-ci/agda-stdlib-archlinuxrb-build-Q8W1rzsC/agda-stdlib/src/agda-stdlib-1.7.3/src/Text/Tabular/Vec.agda). ==> Entering fakeroot environment... ==> Starting package()... ==> Tidying install... -> Removing libtool files... -> Purging unwanted files... -> Stripping unneeded symbols from binaries and libraries... -> Compressing man and info pages... ==> Checking for packaging issues... ==> Creating package "agda-stdlib"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: agda-stdlib 1.7.3-1 (Fri Jan 10 08:51:25 2025)