==> Cloning agda ... Cloning into 'agda'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring agda :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 133k 100 133k 0 0 395k 0 --:--:-- --:--:-- --:--:-- 395k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 1 8557k 1 97797 0 0 281k 0 0:00:30 --:--:-- 0:00:30 280k 100 8557k 100 8557k 0 0 21.8M 0 --:--:-- --:--:-- --:--:-- 21.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 142k 100 142k 0 0 420k 0 --:--:-- --:--:-- --:--:-- 422k :: 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/ SOURCE_DATE_EPOCH=1710029016 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1710029016' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-agda-rb-build-00dx5XmR PWD=/tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda 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 2.6.4-22 (Sun Mar 10 00:03:54 2024) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (75) haskell-assoc-1.0.2-256 haskell-attoparsec-0.14.4-73 haskell-base-compat-0.12.2-2 haskell-base-compat-batteries-0.12.2-81 haskell-base-orphans-0.8.8.2-12 haskell-bifunctors-5.6-67 haskell-blaze-builder-0.4.2.3-2 haskell-blaze-markup-0.8.3.0-9 haskell-colour-2.3.6-208 haskell-comonad-5.0.8-251 haskell-contravariant-1.5.5-4 haskell-data-array-byte-0.1.0.1-53 haskell-data-fix-0.3.2-101 haskell-distributive-0.6.2.1-208 haskell-erf-2.0.0.0-25 haskell-foldable1-classes-compat-0.1-67 haskell-generically-0.1.1-2 haskell-ghc-bignum-orphans-0.1.1-2 haskell-indexed-traversable-0.1.3-59 haskell-indexed-traversable-instances-0.1.1.2-39 haskell-integer-logarithms-1.0.3.1-7 haskell-network-uri-2.6.4.2-29 haskell-onetuple-0.3.1-74 haskell-polyparse-1.13-12 haskell-primitive-0.7.4.0-109 haskell-quickcheck-2.14.3-62 haskell-random-1.2.1.2-6 haskell-regex-base-0.94.0.2-3 haskell-scientific-0.3.7.0-112 haskell-semialign-1.2.0.1-155 haskell-semigroupoids-5.3.7-137 haskell-splitmix-0.1.0.5-20 haskell-statevar-1.2.2-3 haskell-tagged-0.8.8-2 haskell-text-short-0.1.5-78 haskell-th-abstraction-0.4.5.0-2 haskell-th-compat-0.1.4-42 haskell-these-1.1.1.1-257 haskell-transformers-base-0.4.6-101 haskell-transformers-compat-0.7.2-2 haskell-utf8-string-1.0.2-149 haskell-uuid-types-1.0.5.1-15 haskell-vector-stream-0.1.0.1-2 haskell-witherable-0.4.2-96 numactl-2.0.18-1 ghc-9.2.8-1 ghc-libs-9.2.8-1 haskell-aeson-2.1.2.1-42 haskell-ansi-terminal-0.11.4-64 haskell-async-2.2.5-25 haskell-blaze-html-0.9.1.2-225 haskell-boxes-0.1.5-238 haskell-case-insensitive-1.2.1.0-202 haskell-cpphs-1.20.9.1-13 haskell-data-hash-0.2.0.1-25 haskell-dlist-1.0-240 haskell-edit-distance-0.2.2.1-206 haskell-equivalence-0.4.1-48 haskell-gitrev-1.3.1-32 haskell-hashable-1.4.3.0-44 haskell-monad-control-1.0.3.1-101 haskell-murmur-hash-0.1.0.10-3 haskell-parallel-3.2.2.0-18 haskell-peano-0.1.0.1-2 haskell-regex-tdfa-1.3.2.2-39 haskell-split-0.2.5-5 haskell-stmonadtrans-0.4.8-4 haskell-strict-0.4.0.1-230 haskell-text-icu-0.8.0.4-16 haskell-time-compat-1.9.6.1-96 haskell-unordered-containers-0.2.20-13 haskell-uri-encode-1.5.0.7-211 haskell-vector-0.13.1.0-28 haskell-vector-hashtables-0.1.1.4-16 haskell-zlib-0.6.3.0-59 Total Download Size: 59.42 MiB Total Installed Size: 418.07 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 83803 100 83803 0 0 58.0M 0 --:--:-- --:--:-- --:--:-- 79.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 16.1M 100 16.1M 0 0 189M 0 --:--:-- --:--:-- --:--:-- 190M % 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 33.7M 100 33.7M 0 0 193M 0 --:--:-- --:--:-- --:--:-- 193M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 27 57104 27 15809 0 0 41718 0 0:00:01 --:--:-- 0:00:01 41712 100 57104 100 57104 0 0 147k 0 --:--:-- --:--:-- --:--:-- 146k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 28164 100 28164 0 0 31.3M 0 --:--:-- --:--:-- --:--:-- 26.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 9396 100 9396 0 0 9984k 0 --:--:-- --:--:-- --:--:-- 9175k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 15637 100 15637 0 0 18.4M 0 --:--:-- --:--:-- --:--:-- 14.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 35865 100 35865 0 0 40.3M 0 --:--:-- --:--:-- --:--:-- 34.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 201k 100 201k 0 0 131M 0 --:--:-- --:--:-- --:--:-- 196M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 480k 100 480k 0 0 173M 0 --:--:-- --:--:-- --:--:-- 234M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 30141 100 30141 0 0 29.9M 0 --:--:-- --:--:-- --:--:-- 28.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 5853 100 5853 0 0 7039k 0 --:--:-- --:--:-- --:--:-- 5715k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 93418 100 93418 0 0 86.5M 0 --:--:-- --:--:-- --:--:-- 89.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 24084 100 24084 0 0 24.6M 0 --:--:-- --:--:-- --:--:-- 22.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 235k 100 235k 0 0 129M 0 --:--:-- --:--:-- --:--:-- 229M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 98k 100 98k 0 0 87.8M 0 --:--:-- --:--:-- --:--:-- 96.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 321k 100 321k 0 0 150M 0 --:--:-- --:--:-- --:--:-- 156M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 80917 100 80917 0 0 71.1M 0 --:--:-- --:--:-- --:--:-- 77.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 79236 100 79236 0 0 69.1M 0 --:--:-- --:--:-- --:--:-- 75.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 36725 100 36725 0 0 38.5M 0 --:--:-- --:--:-- --:--:-- 35.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 49966 100 49966 0 0 55.6M 0 --:--:-- --:--:-- --:--:-- 47.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 19781 100 19781 0 0 22.4M 0 --:--:-- --:--:-- --:--:-- 18.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 55312 100 55312 0 0 57.8M 0 --:--:-- --:--:-- --:--:-- 52.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 69719 100 69719 0 0 69.1M 0 --:--:-- --:--:-- --:--:-- 66.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 102k 100 102k 0 0 90.9M 0 --:--:-- --:--:-- --:--:-- 100M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 216k 100 216k 0 0 133M 0 --:--:-- --:--:-- --:--:-- 210M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 68462 100 68462 0 0 64.1M 0 --:--:-- --:--:-- --:--:-- 65.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1004k 100 1004k 0 0 168M 0 --:--:-- --:--:-- --:--:-- 196M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 22610 100 22610 0 0 26.2M 0 --:--:-- --:--:-- --:--:-- 21.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 37077 100 37077 0 0 38.0M 0 --:--:-- --:--:-- --:--:-- 35.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 109k 100 109k 0 0 96.9M 0 --:--:-- --:--:-- --:--:-- 107M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 93829 100 93829 0 0 80.7M 0 --:--:-- --:--:-- --:--:-- 89.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 135k 100 135k 0 0 100M 0 --:--:-- --:--:-- --:--:-- 132M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 363k 100 363k 0 0 162M 0 --:--:-- --:--:-- --:--:-- 177M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 19841 100 19841 0 0 20.8M 0 --:--:-- --:--:-- --:--:-- 18.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 57805 100 57805 0 0 59.7M 0 --:--:-- --:--:-- --:--:-- 55.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 326k 100 326k 0 0 160M 0 --:--:-- --:--:-- --:--:-- 318M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16971 100 16971 0 0 16.5M 0 --:--:-- --:--:-- --:--:-- 16.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 91494 100 91494 0 0 87.3M 0 --:--:-- --:--:-- --:--:-- 87.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 119k 100 119k 0 0 97.1M 0 --:--:-- --:--:-- --:--:-- 117M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 154k 100 154k 0 0 108M 0 --:--:-- --:--:-- --:--:-- 150M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 69912 100 69912 0 0 70.4M 0 --:--:-- --:--:-- --:--:-- 66.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 62691 100 62691 0 0 55.3M 0 --:--:-- --:--:-- --:--:-- 59.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 62903 100 62903 0 0 59.1M 0 --:--:-- --:--:-- --:--:-- 59.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 111k 100 111k 0 0 92.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 1080k 100 1080k 0 0 168M 0 --:--:-- --:--:-- --:--:-- 175M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 142k 100 142k 0 0 110M 0 --:--:-- --:--:-- --:--:-- 138M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 113k 100 113k 0 0 94.6M 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 57780 100 57780 0 0 52.5M 0 --:--:-- --:--:-- --:--:-- 55.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 61331 100 61331 0 0 50.9M 0 --:--:-- --:--:-- --:--:-- 58.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 81188 100 81188 0 0 80.1M 0 --:--:-- --:--:-- --:--:-- 77.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 384k 100 384k 0 0 157M 0 --:--:-- --:--:-- --:--:-- 187M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 35560 100 35560 0 0 40.2M 0 --:--:-- --:--:-- --:--:-- 33.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 40 34802 40 14095 0 0 37131 0 --:--:-- --:--:-- --:--:-- 37092 100 34802 100 34802 0 0 63521 0 --:--:-- --:--:-- --:--:-- 63507 % 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 33942 100 33942 0 0 34.1M 0 --:--:-- --:--:-- --:--:-- 32.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 250k 100 250k 0 0 7653k 0 --:--:-- --:--:-- --:--:-- 7825k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 168k 100 168k 0 0 7173k 0 --:--:-- --:--:-- --:--:-- 7340k % 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 63748 100 63748 0 0 4514k 0 --:--:-- --:--:-- --:--:-- 4788k % 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 49036 100 49036 0 0 42.8M 0 --:--:-- --:--:-- --:--:-- 46.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 65709 100 65709 0 0 179k 0 --:--:-- --:--:-- --:--:-- 179k % 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 22536 100 22536 0 0 20.5M 0 --:--:-- --:--:-- --:--:-- 21.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 22558 100 22558 0 0 5760k 0 --:--:-- --:--:-- --:--:-- 7343k % 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 30779 100 30779 0 0 2077k 0 --:--:-- --:--:-- --:--:-- 2146k % 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 29101 100 29101 0 0 28.6M 0 --:--:-- --:--:-- --:--:-- 27.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 40468 100 40468 0 0 39.6M 0 --:--:-- --:--:-- --:--:-- 38.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 26408 100 26408 0 0 27.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 63696 100 63696 0 0 50.8M 0 --:--:-- --:--:-- --:--:-- 60.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 76 442k 76 339k 0 0 1745k 0 --:--:-- --:--:-- --:--:-- 1741k 100 442k 100 442k 0 0 2270k 0 --:--:-- --:--:-- --:--:-- 2270k % 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 25400 100 25400 0 0 26.4M 0 --:--:-- --:--:-- --:--:-- 24.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 107k 100 107k 0 0 88.6M 0 --:--:-- --:--:-- --:--:-- 105M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 74082 100 74082 0 0 67.2M 0 --:--:-- --:--:-- --:--:-- 70.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 13419 100 13419 0 0 38943 0 --:--:-- --:--:-- --:--:-- 39008 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 18 139k 18 25677 0 0 49413 0 0:00:02 --:--:-- 0:00:02 49378 100 139k 100 139k 0 0 162k 0 --:--:-- --:--:-- --:--:-- 162k % 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 120k 100 120k 0 0 86.5M 0 --:--:-- --:--:-- --:--:-- 117M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 669k 100 669k 0 0 19.2M 0 --:--:-- --:--:-- --:--:-- 19.8M 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 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... :: 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 (3) alex-3.2.7.4-2 happy-1.20.1.1-2 uusi-0.4.3.0-33 Total Download Size: 0.40 MiB Total Installed Size: 2.24 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 64446 100 64446 0 0 48.4M 0 --:--:-- --:--:-- --:--:-- 61.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 148k 100 148k 0 0 2773k 0 --:--:-- --:--:-- --:--:-- 2794k % 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 200k 100 200k 0 0 9137k 0 --:--:-- --:--:-- --:--:-- 9567k checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing uusi... installing alex... installing happy... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Retrieving sources... -> Downloading Agda-2.6.4.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 1840k 0 1840k 0 0 2976k 0 --:--:-- --:--:-- --:--:-- 2976k ==> Validating source files with sha512sums... Agda-2.6.4.tar.gz ... Passed ==> Extracting sources... -> Extracting Agda-2.6.4.tar.gz with bsdtar ==> Starting prepare()... Pending action(s): SetVersion["split", >=0] Parsing cabal file from Agda.cabal... Write file: Agda.cabal ==> Starting build()... Configuring Agda-2.6.4... Preprocessing executable 'agda-mode' for Agda-2.6.4.. Building executable 'agda-mode' for Agda-2.6.4.. [1 of 2] Compiling Paths_Agda ( dist/build/agda-mode/autogen/Paths_Agda.hs, dist/build/agda-mode/agda-mode-tmp/Paths_Agda.dyn_o ) [2 of 2] Compiling Main ( src/agda-mode/Main.hs, dist/build/agda-mode/agda-mode-tmp/Main.dyn_o ) Linking dist/build/agda-mode/agda-mode ... Preprocessing library for Agda-2.6.4.. Building library for Agda-2.6.4.. [ 1 of 427] Compiling Agda.Interaction.ExitCode ( src/full/Agda/Interaction/ExitCode.hs, dist/build/Agda/Interaction/ExitCode.dyn_o ) [ 2 of 427] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist/build/Agda/Termination/CutOff.dyn_o ) [ 3 of 427] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.dyn_o ) [ 4 of 427] Compiling Agda.TypeChecking.Monad.Debug[boot] ( src/full/Agda/TypeChecking/Monad/Debug.hs-boot, dist/build/Agda/TypeChecking/Monad/Debug.dyn_o-boot ) [ 5 of 427] Compiling Agda.Utils.AffineHole ( src/full/Agda/Utils/AffineHole.hs, dist/build/Agda/Utils/AffineHole.dyn_o ) [ 6 of 427] Compiling Agda.Utils.Applicative ( src/full/Agda/Utils/Applicative.hs, dist/build/Agda/Utils/Applicative.dyn_o ) [ 7 of 427] Compiling Agda.Utils.Boolean ( src/full/Agda/Utils/Boolean.hs, dist/build/Agda/Utils/Boolean.dyn_o ) [ 8 of 427] Compiling Agda.Syntax.Internal.Univ ( src/full/Agda/Syntax/Internal/Univ.hs, dist/build/Agda/Syntax/Internal/Univ.dyn_o ) [ 9 of 427] Compiling Agda.Utils.CallStack.Base ( src/full/Agda/Utils/CallStack/Base.hs, dist/build/Agda/Utils/CallStack/Base.dyn_o ) [ 10 of 427] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist/build/Agda/Utils/Char.dyn_o ) [ 11 of 427] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, dist/build/Agda/Utils/Environment.dyn_o ) [ 12 of 427] Compiling Agda.Utils.Fail ( src/full/Agda/Utils/Fail.hs, dist/build/Agda/Utils/Fail.dyn_o ) [ 13 of 427] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.dyn_o ) [ 14 of 427] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist/build/Agda/TypeChecking/SizedTypes/Utils.dyn_o ) [ 15 of 427] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist/build/Agda/Utils/Functor.dyn_o ) [ 16 of 427] Compiling Agda.Utils.HashTable ( src/full/Agda/Utils/HashTable.hs, dist/build/Agda/Utils/HashTable.dyn_o ) [ 17 of 427] Compiling Agda.Utils.Haskell.Syntax ( src/full/Agda/Utils/Haskell/Syntax.hs, dist/build/Agda/Utils/Haskell/Syntax.dyn_o ) [ 18 of 427] Compiling Agda.Compiler.MAlonzo.Strict ( src/full/Agda/Compiler/MAlonzo/Strict.hs, dist/build/Agda/Compiler/MAlonzo/Strict.dyn_o ) [ 19 of 427] Compiling Agda.Utils.IO ( src/full/Agda/Utils/IO.hs, dist/build/Agda/Utils/IO.dyn_o ) [ 20 of 427] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.dyn_o ) [ 21 of 427] Compiling Agda.Utils.IO.Directory ( src/full/Agda/Utils/IO/Directory.hs, dist/build/Agda/Utils/IO/Directory.dyn_o ) [ 22 of 427] Compiling Agda.Utils.IO.TempFile ( src/full/Agda/Utils/IO/TempFile.hs, dist/build/Agda/Utils/IO/TempFile.dyn_o ) [ 23 of 427] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.dyn_o ) [ 24 of 427] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist/build/Agda/Utils/IORef.dyn_o ) [ 25 of 427] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.dyn_o ) [ 26 of 427] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist/build/Agda/Utils/Empty.dyn_o ) [ 27 of 427] Compiling Agda.Utils.BoolSet ( src/full/Agda/Utils/BoolSet.hs, dist/build/Agda/Utils/BoolSet.dyn_o ) [ 28 of 427] Compiling Agda.Utils.Bag ( src/full/Agda/Utils/Bag.hs, dist/build/Agda/Utils/Bag.dyn_o ) [ 29 of 427] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist/build/Agda/Auto/NarrowingSearch.dyn_o ) [ 30 of 427] Compiling Agda.Utils.IntSet.Infinite ( src/full/Agda/Utils/IntSet/Infinite.hs, dist/build/Agda/Utils/IntSet/Infinite.dyn_o ) [ 31 of 427] Compiling Agda.Utils.Lens ( src/full/Agda/Utils/Lens.hs, dist/build/Agda/Utils/Lens.dyn_o ) [ 32 of 427] Compiling Agda.Utils.IndexedList ( src/full/Agda/Utils/IndexedList.hs, dist/build/Agda/Utils/IndexedList.dyn_o ) [ 33 of 427] Compiling Agda.Auto.Options ( src/full/Agda/Auto/Options.hs, dist/build/Agda/Auto/Options.dyn_o ) [ 34 of 427] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist/build/Agda/Utils/Lens/Examples.dyn_o ) [ 35 of 427] Compiling Agda.Utils.List1[boot] ( src/full/Agda/Utils/List1.hs-boot, dist/build/Agda/Utils/List1.dyn_o-boot ) [ 36 of 427] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist/build/Agda/Utils/Map.dyn_o ) [ 37 of 427] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.dyn_o ) [ 38 of 427] Compiling Agda.Utils.Memo ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.dyn_o ) [ 39 of 427] Compiling Agda.Utils.Monoid ( src/full/Agda/Utils/Monoid.hs, dist/build/Agda/Utils/Monoid.dyn_o ) [ 40 of 427] Compiling Agda.Utils.Null ( src/full/Agda/Utils/Null.hs, dist/build/Agda/Utils/Null.dyn_o ) [ 41 of 427] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist/build/Agda/Utils/Maybe/Strict.dyn_o ) [ 42 of 427] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist/build/Agda/Utils/PartialOrd.dyn_o ) [ 43 of 427] Compiling Agda.Utils.POMonoid ( src/full/Agda/Utils/POMonoid.hs, dist/build/Agda/Utils/POMonoid.dyn_o ) [ 44 of 427] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.dyn_o ) [ 45 of 427] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.dyn_o ) [ 46 of 427] Compiling Agda.Utils.Semigroup ( src/full/Agda/Utils/Semigroup.hs, dist/build/Agda/Utils/Semigroup.dyn_o ) [ 47 of 427] Compiling Agda.Utils.SmallSet ( src/full/Agda/Utils/SmallSet.hs, dist/build/Agda/Utils/SmallSet.dyn_o ) [ 48 of 427] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist/build/Agda/Utils/Singleton.dyn_o ) [ 49 of 427] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.dyn_o ) [ 50 of 427] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist/build/Agda/Utils/Suffix.dyn_o ) [ 51 of 427] Compiling Agda.Utils.Three ( src/full/Agda/Utils/Three.hs, dist/build/Agda/Utils/Three.dyn_o ) [ 52 of 427] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist/build/Agda/Utils/Trie.dyn_o ) [ 53 of 427] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.dyn_o ) [ 54 of 427] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.dyn_o ) [ 55 of 427] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.dyn_o ) [ 56 of 427] Compiling Agda.Utils.List1 ( src/full/Agda/Utils/List1.hs, dist/build/Agda/Utils/List1.dyn_o ) [ 57 of 427] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.dyn_o ) [ 58 of 427] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist/build/Agda/Utils/Permutation.dyn_o ) [ 59 of 427] Compiling Agda.Utils.ProfileOptions ( src/full/Agda/Utils/ProfileOptions.hs, dist/build/Agda/Utils/ProfileOptions.dyn_o ) [ 60 of 427] Compiling Agda.Utils.List2 ( src/full/Agda/Utils/List2.hs, dist/build/Agda/Utils/List2.dyn_o ) [ 61 of 427] Compiling Agda.Utils.Float ( src/full/Agda/Utils/Float.hs, dist/build/Agda/Utils/Float.dyn_o ) [ 62 of 427] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist/build/Agda/Utils/Either.dyn_o ) [ 63 of 427] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist/build/Agda/Utils/Monad.dyn_o ) [ 64 of 427] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist/build/Agda/Utils/ListT.dyn_o ) [ 65 of 427] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.dyn_o ) [ 66 of 427] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist/build/Agda/Utils/Hash.dyn_o ) [ 67 of 427] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist/build/Agda/Utils/BiMap.dyn_o ) [ 68 of 427] Compiling Agda.Syntax.TopLevelModuleName.Boot ( src/full/Agda/Syntax/TopLevelModuleName/Boot.hs, dist/build/Agda/Syntax/TopLevelModuleName/Boot.dyn_o ) [ 69 of 427] Compiling Agda.Interaction.Options.Warnings ( src/full/Agda/Interaction/Options/Warnings.hs, dist/build/Agda/Interaction/Options/Warnings.dyn_o ) [ 70 of 427] Compiling Agda.Interaction.Options.Help ( src/full/Agda/Interaction/Options/Help.hs, dist/build/Agda/Interaction/Options/Help.dyn_o ) [ 71 of 427] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist/build/Agda/Utils/Favorites.dyn_o ) [ 72 of 427] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist/build/Agda/Utils/AssocList.dyn_o ) [ 73 of 427] Compiling Agda.Utils.TypeLevel ( src/full/Agda/Utils/TypeLevel.hs, dist/build/Agda/Utils/TypeLevel.dyn_o ) [ 74 of 427] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist/build/Agda/Syntax/Position.dyn_o ) [ 75 of 427] Compiling Agda.Syntax.Common.Aspect ( src/full/Agda/Syntax/Common/Aspect.hs, dist/build/Agda/Syntax/Common/Aspect.dyn_o ) [ 76 of 427] Compiling Agda.Syntax.Common.Pretty ( src/full/Agda/Syntax/Common/Pretty.hs, dist/build/Agda/Syntax/Common/Pretty.dyn_o ) [ 77 of 427] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.dyn_o ) [ 78 of 427] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, dist/build/Agda/Utils/Parser/MemoisedCPS.dyn_o ) [ 79 of 427] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.dyn_o ) [ 80 of 427] Compiling Agda.Utils.Graph.TopSort ( src/full/Agda/Utils/Graph/TopSort.hs, dist/build/Agda/Utils/Graph/TopSort.dyn_o ) [ 81 of 427] Compiling Agda.Interaction.Highlighting.Dot.Base ( src/full/Agda/Interaction/Highlighting/Dot/Base.hs, dist/build/Agda/Interaction/Highlighting/Dot/Base.dyn_o ) [ 82 of 427] Compiling Agda.Utils.CallStack.Pretty ( src/full/Agda/Utils/CallStack/Pretty.hs, dist/build/Agda/Utils/CallStack/Pretty.dyn_o ) [ 83 of 427] Compiling Agda.Utils.CallStack ( src/full/Agda/Utils/CallStack.hs, dist/build/Agda/Utils/CallStack.dyn_o ) [ 84 of 427] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist/build/Agda/Utils/Benchmark.dyn_o ) [ 85 of 427] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist/build/Agda/Termination/SparseMatrix.dyn_o ) [ 86 of 427] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist/build/Agda/Termination/Order.dyn_o ) [ 87 of 427] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist/build/Agda/Termination/CallMatrix.dyn_o ) [ 88 of 427] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.dyn_o ) [ 89 of 427] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist/build/Agda/Termination/Termination.dyn_o ) [ 90 of 427] Compiling Agda.Syntax.Concrete.Glyph ( src/full/Agda/Syntax/Concrete/Glyph.hs, dist/build/Agda/Syntax/Concrete/Glyph.dyn_o ) [ 91 of 427] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.dyn_o ) [ 92 of 427] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist/build/Agda/Syntax/Common.dyn_o ) [ 93 of 427] Compiling Agda.Syntax.Parser.Literate ( src/full/Agda/Syntax/Parser/Literate.hs, dist/build/Agda/Syntax/Parser/Literate.dyn_o ) [ 94 of 427] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist/build/Agda/Syntax/Fixity.dyn_o ) [ 95 of 427] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad ( src/full/Agda/Syntax/Concrete/Operators/Parser/Monad.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser/Monad.dyn_o ) [ 96 of 427] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist/build/Agda/Syntax/Concrete/Name.dyn_o ) [ 97 of 427] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist/build/Agda/Compiler/JS/Syntax.dyn_o ) [ 98 of 427] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist/build/Agda/Compiler/JS/Substitution.dyn_o ) [ 99 of 427] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist/build/Agda/Compiler/JS/Pretty.dyn_o ) [100 of 427] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist/build/Agda/Auto/Syntax.dyn_o ) [101 of 427] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist/build/Agda/Auto/SearchControl.dyn_o ) [102 of 427] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist/build/Agda/Auto/Typecheck.dyn_o ) [103 of 427] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist/build/Agda/Auto/CaseSplit.dyn_o ) [104 of 427] Compiling Agda.Syntax.Builtin ( src/full/Agda/Syntax/Builtin.hs, dist/build/Agda/Syntax/Builtin.dyn_o ) [105 of 427] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist/build/Agda/Syntax/Abstract/Name.dyn_o ) [106 of 427] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist/build/Agda/TypeChecking/Positivity/Occurrence.dyn_o ) [107 of 427] Compiling Agda.TypeChecking.Monad.Base.Warning ( src/full/Agda/TypeChecking/Monad/Base/Warning.hs, dist/build/Agda/TypeChecking/Monad/Base/Warning.dyn_o ) [108 of 427] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist/build/Agda/Syntax/Literal.dyn_o ) [109 of 427] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, dist/build/Agda/Syntax/Treeless.dyn_o ) [110 of 427] Compiling Agda.Compiler.Treeless.Pretty[boot] ( src/full/Agda/Compiler/Treeless/Pretty.hs-boot, dist/build/Agda/Compiler/Treeless/Pretty.dyn_o-boot ) [111 of 427] Compiling Agda.Compiler.Treeless.GuardsToPrims ( src/full/Agda/Compiler/Treeless/GuardsToPrims.hs, dist/build/Agda/Compiler/Treeless/GuardsToPrims.dyn_o ) [112 of 427] Compiling Agda.Compiler.Treeless.AsPatterns ( src/full/Agda/Compiler/Treeless/AsPatterns.hs, dist/build/Agda/Compiler/Treeless/AsPatterns.dyn_o ) [113 of 427] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist/build/Agda/Syntax/Parser/Tokens.dyn_o ) [114 of 427] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist/build/Agda/Syntax/Concrete.dyn_o ) [115 of 427] Compiling Agda.Syntax.TopLevelModuleName ( src/full/Agda/Syntax/TopLevelModuleName.hs, dist/build/Agda/Syntax/TopLevelModuleName.dyn_o ) [116 of 427] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist/build/Agda/TypeChecking/Monad/Base.dyn_o-boot ) [117 of 427] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist/build/Agda/Syntax/Concrete/Pretty.dyn_o ) [118 of 427] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist/build/Agda/TypeChecking/Coverage/SplitTree.dyn_o ) [119 of 427] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist/build/Agda/Syntax/Notation.dyn_o ) [120 of 427] Compiling Agda.Syntax.Internal.Elim ( src/full/Agda/Syntax/Internal/Elim.hs, dist/build/Agda/Syntax/Internal/Elim.dyn_o ) [121 of 427] Compiling Agda.Syntax.Internal.Blockers ( src/full/Agda/Syntax/Internal/Blockers.hs, dist/build/Agda/Syntax/Internal/Blockers.dyn_o ) [122 of 427] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.dyn_o ) [123 of 427] Compiling Agda.TypeChecking.Substitute.DeBruijn ( src/full/Agda/TypeChecking/Substitute/DeBruijn.hs, dist/build/Agda/TypeChecking/Substitute/DeBruijn.dyn_o ) [124 of 427] Compiling Agda.TypeChecking.Free.Precompute ( src/full/Agda/TypeChecking/Free/Precompute.hs, dist/build/Agda/TypeChecking/Free/Precompute.dyn_o ) [125 of 427] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, dist/build/Agda/TypeChecking/Free/Lazy.dyn_o ) [126 of 427] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, dist/build/Agda/Syntax/Reflected.dyn_o ) [127 of 427] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist/build/Agda/Syntax/Internal/Pattern.dyn_o ) [128 of 427] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist/build/Agda/Syntax/Internal/Generic.dyn_o ) [129 of 427] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist/build/Agda/TypeChecking/CompiledClause.dyn_o ) [130 of 427] Compiling Agda.Syntax.Internal.MetaVars ( src/full/Agda/Syntax/Internal/MetaVars.hs, dist/build/Agda/Syntax/Internal/MetaVars.dyn_o ) [131 of 427] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist/build/Agda/Syntax/Internal/Defs.dyn_o ) [132 of 427] Compiling Agda.Syntax.Concrete.Pattern ( src/full/Agda/Syntax/Concrete/Pattern.hs, dist/build/Agda/Syntax/Concrete/Pattern.dyn_o ) [133 of 427] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser.dyn_o ) [134 of 427] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist/build/Agda/Syntax/Concrete/Generic.dyn_o ) [135 of 427] Compiling Agda.Syntax.Concrete.Fixity ( src/full/Agda/Syntax/Concrete/Fixity.hs, dist/build/Agda/Syntax/Concrete/Fixity.dyn_o ) [136 of 427] Compiling Agda.Syntax.Concrete.Definitions.Types ( src/full/Agda/Syntax/Concrete/Definitions/Types.hs, dist/build/Agda/Syntax/Concrete/Definitions/Types.dyn_o ) [137 of 427] Compiling Agda.Syntax.Concrete.Definitions.Errors ( src/full/Agda/Syntax/Concrete/Definitions/Errors.hs, dist/build/Agda/Syntax/Concrete/Definitions/Errors.dyn_o ) [138 of 427] Compiling Agda.Syntax.Concrete.Definitions.Monad ( src/full/Agda/Syntax/Concrete/Definitions/Monad.hs, dist/build/Agda/Syntax/Concrete/Definitions/Monad.dyn_o ) [139 of 427] Compiling Agda.Syntax.Concrete.Attribute ( src/full/Agda/Syntax/Concrete/Attribute.hs, dist/build/Agda/Syntax/Concrete/Attribute.dyn_o ) [140 of 427] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist/build/Agda/Syntax/Parser/Monad.dyn_o ) [141 of 427] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist/build/Agda/Syntax/Parser/Alex.dyn_o ) [142 of 427] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist/build/Agda/Syntax/Parser/LookAhead.dyn_o ) [143 of 427] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist/build/Agda/Syntax/Parser/StringLiterals.dyn_o ) [144 of 427] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist/build/Agda/Syntax/Parser/LexActions.dyn_o-boot ) [145 of 427] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist/build/Agda/Syntax/Parser/Layout.dyn_o-boot ) [146 of 427] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist/build/Agda/Syntax/Parser/Comments.dyn_o ) [147 of 427] Compiling Agda.Syntax.Parser.Lexer ( dist/build/Agda/Syntax/Parser/Lexer.hs, dist/build/Agda/Syntax/Parser/Lexer.dyn_o ) [148 of 427] Compiling Agda.Syntax.Parser.Parser ( dist/build/Agda/Syntax/Parser/Parser.hs, dist/build/Agda/Syntax/Parser/Parser.dyn_o ) [149 of 427] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist/build/Agda/Syntax/Parser/LexActions.dyn_o ) [150 of 427] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist/build/Agda/Syntax/Parser/Layout.dyn_o ) [151 of 427] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist/build/Agda/Syntax/Parser.dyn_o ) [152 of 427] Compiling Agda.Compiler.Backend[boot] ( src/full/Agda/Compiler/Backend.hs-boot, dist/build/Agda/Compiler/Backend.dyn_o-boot ) [153 of 427] Compiling Agda.Compiler.Builtin[boot] ( src/full/Agda/Compiler/Builtin.hs-boot, dist/build/Agda/Compiler/Builtin.dyn_o-boot ) [154 of 427] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist/build/Agda/Benchmarking.dyn_o ) [155 of 427] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist/build/Agda/TypeChecking/Free.dyn_o ) [156 of 427] Compiling Agda.TypeChecking.Substitute.Class ( src/full/Agda/TypeChecking/Substitute/Class.hs, dist/build/Agda/TypeChecking/Substitute/Class.dyn_o ) [157 of 427] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist/build/Agda/Syntax/Scope/Base.dyn_o ) [158 of 427] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist/build/Agda/Syntax/Info.dyn_o ) [159 of 427] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist/build/Agda/Syntax/Abstract.dyn_o ) [160 of 427] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist/build/Agda/Syntax/Abstract/Views.dyn_o ) [161 of 427] Compiling Agda.Syntax.Abstract.UsedNames ( src/full/Agda/Syntax/Abstract/UsedNames.hs, dist/build/Agda/Syntax/Abstract/UsedNames.dyn_o ) [162 of 427] Compiling Agda.Syntax.Abstract.PatternSynonyms ( src/full/Agda/Syntax/Abstract/PatternSynonyms.hs, dist/build/Agda/Syntax/Abstract/PatternSynonyms.dyn_o ) [163 of 427] Compiling Agda.Syntax.Abstract.Pattern ( src/full/Agda/Syntax/Abstract/Pattern.hs, dist/build/Agda/Syntax/Abstract/Pattern.dyn_o ) [164 of 427] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, dist/build/Agda/Interaction/Library/Base.dyn_o ) [165 of 427] Compiling Agda.Interaction.Library.Parse ( src/full/Agda/Interaction/Library/Parse.hs, dist/build/Agda/Interaction/Library/Parse.dyn_o ) [166 of 427] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist/build/Agda/Interaction/Highlighting/Range.dyn_o ) [167 of 427] Compiling Agda.Utils.RangeMap ( src/full/Agda/Utils/RangeMap.hs, dist/build/Agda/Utils/RangeMap.dyn_o ) [168 of 427] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist/build/Agda/Interaction/Highlighting/Precise.dyn_o ) [169 of 427] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist/build/Agda/Interaction/Response.dyn_o-boot ) [170 of 427] Compiling Agda.Utils.TypeLits ( src/full/Agda/Utils/TypeLits.hs, dist/build/Agda/Utils/TypeLits.dyn_o ) [171 of 427] Compiling Agda.Utils.Unsafe ( src/full/Agda/Utils/Unsafe.hs, dist/build/Agda/Utils/Unsafe.dyn_o ) [172 of 427] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist/build/Agda/Utils/Update.dyn_o ) [173 of 427] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist/build/Agda/Syntax/Concrete/Definitions.dyn_o ) [174 of 427] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist/build/Agda/Utils/VarSet.dyn_o ) [175 of 427] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist/build/Agda/Utils/Warshall.dyn_o ) [176 of 427] Compiling Agda.Utils.WithDefault ( src/full/Agda/Utils/WithDefault.hs, dist/build/Agda/Utils/WithDefault.dyn_o ) [177 of 427] Compiling Agda.Utils.Zipper ( src/full/Agda/Utils/Zipper.hs, dist/build/Agda/Utils/Zipper.dyn_o ) [178 of 427] Compiling Paths_Agda ( dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.dyn_o ) [179 of 427] Compiling Agda.Version ( src/full/Agda/Version.hs, dist/build/Agda/Version.dyn_o ) [180 of 427] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, dist/build/Agda/VersionCommit.dyn_o ) [181 of 427] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, dist/build/Agda/Interaction/Library.dyn_o ) [182 of 427] Compiling Agda.Interaction.Options.Base ( src/full/Agda/Interaction/Options/Base.hs, dist/build/Agda/Interaction/Options/Base.dyn_o ) [183 of 427] Compiling Agda.Interaction.Options.HasOptions ( src/full/Agda/Interaction/Options/HasOptions.hs, dist/build/Agda/Interaction/Options/HasOptions.dyn_o ) [184 of 427] Compiling Agda.Syntax.Common.Pretty.ANSI ( src/full/Agda/Syntax/Common/Pretty/ANSI.hs, dist/build/Agda/Syntax/Common/Pretty/ANSI.dyn_o ) [185 of 427] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist/build/Agda/Interaction/Options.dyn_o ) [186 of 427] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist/build/Agda/TypeChecking/Monad/Base.dyn_o ) [187 of 427] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist/build/Agda/TypeChecking/Substitute.dyn_o ) [188 of 427] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, dist/build/Agda/Compiler/Treeless/Subst.dyn_o ) [189 of 427] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, dist/build/Agda/Compiler/Treeless/Pretty.dyn_o ) [190 of 427] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, dist/build/Agda/Compiler/Treeless/Compare.dyn_o ) [191 of 427] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, dist/build/Agda/Compiler/Treeless/Uncase.dyn_o ) [192 of 427] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, dist/build/Agda/TypeChecking/Serialise/Base.dyn_o ) [193 of 427] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist/build/Agda/TypeChecking/Rules/Term.dyn_o-boot ) [194 of 427] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist/build/Agda/TypeChecking/Rules/Decl.dyn_o-boot ) [195 of 427] Compiling Agda.TypeChecking.Rules.Data[boot] ( src/full/Agda/TypeChecking/Rules/Data.hs-boot, dist/build/Agda/TypeChecking/Rules/Data.dyn_o-boot ) [196 of 427] Compiling Agda.TypeChecking.Rules.Application[boot] ( src/full/Agda/TypeChecking/Rules/Application.hs-boot, dist/build/Agda/TypeChecking/Rules/Application.dyn_o-boot ) [197 of 427] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, dist/build/Agda/TypeChecking/Rewriting.dyn_o-boot ) [198 of 427] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, dist/build/Agda/TypeChecking/Reduce/Fast.dyn_o-boot ) [199 of 427] Compiling Agda.TypeChecking.Reduce[boot] ( src/full/Agda/TypeChecking/Reduce.hs-boot, dist/build/Agda/TypeChecking/Reduce.dyn_o-boot ) [200 of 427] Compiling Agda.TypeChecking.Primitive[boot] ( src/full/Agda/TypeChecking/Primitive.hs-boot, dist/build/Agda/TypeChecking/Primitive.dyn_o-boot ) [201 of 427] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist/build/Agda/TypeChecking/Monad/Options.dyn_o-boot ) [202 of 427] Compiling Agda.TypeChecking.Monad.MetaVars[boot] ( src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot, dist/build/Agda/TypeChecking/Monad/MetaVars.dyn_o-boot ) [203 of 427] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist/build/Agda/TypeChecking/Monad/Imports.dyn_o ) [204 of 427] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist/build/Agda/TypeChecking/Monad/Env.dyn_o ) [205 of 427] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist/build/Agda/TypeChecking/Monad/Context.dyn_o-boot ) [206 of 427] Compiling Agda.TypeChecking.Monad.Builtin[boot] ( src/full/Agda/TypeChecking/Monad/Builtin.hs-boot, dist/build/Agda/TypeChecking/Monad/Builtin.dyn_o-boot ) [207 of 427] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist/build/Agda/TypeChecking/Monad/Builtin.dyn_o ) [208 of 427] Compiling Agda.TypeChecking.Lock[boot] ( src/full/Agda/TypeChecking/Lock.hs-boot, dist/build/Agda/TypeChecking/Lock.dyn_o-boot ) [209 of 427] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist/build/Agda/TypeChecking/Errors.dyn_o-boot ) [210 of 427] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist/build/Agda/TypeChecking/Monad/Debug.dyn_o ) [211 of 427] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist/build/Agda/TypeChecking/Monad/Statistics.dyn_o ) [212 of 427] Compiling Agda.TypeChecking.Monad.Signature[boot] ( src/full/Agda/TypeChecking/Monad/Signature.hs-boot, dist/build/Agda/TypeChecking/Monad/Signature.dyn_o-boot ) [213 of 427] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist/build/Agda/TypeChecking/ProjectionLike.dyn_o-boot ) [214 of 427] Compiling Agda.TypeChecking.Opacity[boot] ( src/full/Agda/TypeChecking/Opacity.hs-boot, dist/build/Agda/TypeChecking/Opacity.dyn_o-boot ) [215 of 427] Compiling Agda.TypeChecking.Monad.Pure[boot] ( src/full/Agda/TypeChecking/Monad/Pure.hs-boot, dist/build/Agda/TypeChecking/Monad/Pure.dyn_o-boot ) [216 of 427] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist/build/Agda/TypeChecking/Pretty.dyn_o-boot ) [217 of 427] Compiling Agda.TypeChecking.Pretty.Warning[boot] ( src/full/Agda/TypeChecking/Pretty/Warning.hs-boot, dist/build/Agda/TypeChecking/Pretty/Warning.dyn_o-boot ) [218 of 427] Compiling Agda.TypeChecking.Pretty.Call[boot] ( src/full/Agda/TypeChecking/Pretty/Call.hs-boot, dist/build/Agda/TypeChecking/Pretty/Call.dyn_o-boot ) [219 of 427] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, dist/build/Agda/TypeChecking/Monad/Caching.dyn_o ) [220 of 427] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist/build/Agda/TypeChecking/Monad/Benchmark.dyn_o ) [221 of 427] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist/build/Agda/TypeChecking/DropArgs.dyn_o ) [222 of 427] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Match.dyn_o-boot ) [223 of 427] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o-boot ) [224 of 427] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, dist/build/Agda/Syntax/Internal/Names.dyn_o ) [225 of 427] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist/build/Agda/Interaction/Imports.dyn_o-boot ) [226 of 427] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist/build/Agda/Interaction/Highlighting/Generate.dyn_o-boot ) [227 of 427] Compiling Agda.TypeChecking.Warnings ( src/full/Agda/TypeChecking/Warnings.hs, dist/build/Agda/TypeChecking/Warnings.dyn_o ) [228 of 427] Compiling Agda.Compiler.Treeless.Erase[boot] ( src/full/Agda/Compiler/Treeless/Erase.hs-boot, dist/build/Agda/Compiler/Treeless/Erase.dyn_o-boot ) [229 of 427] Compiling Agda.TypeChecking.Inlining ( src/full/Agda/TypeChecking/Inlining.hs, dist/build/Agda/TypeChecking/Inlining.dyn_o ) [230 of 427] Compiling Agda.Interaction.Base ( src/full/Agda/Interaction/Base.hs, dist/build/Agda/Interaction/Base.dyn_o ) [231 of 427] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist/build/Agda/Interaction/Response.dyn_o ) [232 of 427] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist/build/Agda/TypeChecking/Monad/State.dyn_o ) [233 of 427] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist/build/Agda/TypeChecking/Monad/Trace.dyn_o ) [234 of 427] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist/build/Agda/TypeChecking/Monad/SizedTypes.dyn_o ) [235 of 427] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist/build/Agda/TypeChecking/Monad/Open.dyn_o ) [236 of 427] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist/build/Agda/TypeChecking/Monad/Mutual.dyn_o ) [237 of 427] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist/build/Agda/TypeChecking/Monad/Context.dyn_o ) [238 of 427] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, dist/build/Agda/TypeChecking/Telescope.dyn_o-boot ) [239 of 427] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist/build/Agda/TypeChecking/Polarity.dyn_o-boot ) [240 of 427] Compiling Agda.TypeChecking.Monad.Modality ( src/full/Agda/TypeChecking/Monad/Modality.hs, dist/build/Agda/TypeChecking/Monad/Modality.dyn_o ) [241 of 427] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist/build/Agda/TypeChecking/Monad/Closure.dyn_o ) [242 of 427] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist/build/Agda/TypeChecking/Monad/Constraints.dyn_o ) [243 of 427] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist/build/Agda/TypeChecking/Constraints.dyn_o-boot ) [244 of 427] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist/build/Agda/Syntax/Scope/Monad.dyn_o ) [245 of 427] Compiling Agda.Syntax.Scope.Flat ( src/full/Agda/Syntax/Scope/Flat.hs, dist/build/Agda/Syntax/Scope/Flat.dyn_o ) [246 of 427] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist/build/Agda/Syntax/Concrete/Operators.dyn_o ) [247 of 427] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist/build/Agda/Interaction/Options/Lenses.dyn_o ) [248 of 427] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist/build/Agda/Interaction/FindFile.dyn_o ) [249 of 427] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Common.dyn_o ) [250 of 427] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_o ) [251 of 427] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Abstract.dyn_o ) [252 of 427] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist/build/Agda/TypeChecking/Monad/Options.dyn_o ) [253 of 427] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist/build/Agda/TypeChecking/Monad/Signature.dyn_o ) [254 of 427] Compiling Agda.TypeChecking.Monad.Pure ( src/full/Agda/TypeChecking/Monad/Pure.hs, dist/build/Agda/TypeChecking/Monad/Pure.dyn_o ) [255 of 427] Compiling Agda.TypeChecking.Primitive.Cubical.Base[boot] ( src/full/Agda/TypeChecking/Primitive/Cubical/Base.hs-boot, dist/build/Agda/TypeChecking/Primitive/Cubical/Base.dyn_o-boot ) [256 of 427] Compiling Agda.TypeChecking.Irrelevance[boot] ( src/full/Agda/TypeChecking/Irrelevance.hs-boot, dist/build/Agda/TypeChecking/Irrelevance.dyn_o-boot ) [257 of 427] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist/build/Agda/TypeChecking/Monad/MetaVars.dyn_o ) [258 of 427] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist/build/Agda/TypeChecking/MetaVars.dyn_o-boot ) [259 of 427] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist/build/Agda/TypeChecking/Datatypes.dyn_o-boot ) [260 of 427] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist/build/Agda/Syntax/Translation/AbstractToConcrete.dyn_o ) [261 of 427] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist/build/Agda/Syntax/Abstract/Pretty.dyn_o ) [262 of 427] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist/build/Agda/TypeChecking/Monad.dyn_o ) [263 of 427] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_o ) [264 of 427] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Internal.dyn_o ) [265 of 427] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Errors.dyn_o ) [266 of 427] Compiling Agda.TypeChecking.Serialise.Instances ( src/full/Agda/TypeChecking/Serialise/Instances.hs, dist/build/Agda/TypeChecking/Serialise/Instances.dyn_o ) [267 of 427] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist/build/Agda/TypeChecking/Serialise.dyn_o ) [268 of 427] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist/build/Agda/TypeChecking/Rules/Def.dyn_o-boot ) [269 of 427] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o-boot ) [270 of 427] Compiling Agda.TypeChecking.Rewriting.Clause ( src/full/Agda/TypeChecking/Rewriting/Clause.hs, dist/build/Agda/TypeChecking/Rewriting/Clause.dyn_o ) [271 of 427] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist/build/Agda/TypeChecking/Reduce/Monad.dyn_o ) [272 of 427] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.dyn_o ) [273 of 427] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist/build/Agda/TypeChecking/Records.dyn_o-boot ) [274 of 427] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist/build/Agda/TypeChecking/Patterns/Match.dyn_o-boot ) [275 of 427] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist/build/Agda/TypeChecking/Patterns/Abstract.dyn_o ) [276 of 427] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist/build/Agda/TypeChecking/MetaVars/Mention.dyn_o ) [277 of 427] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist/build/Agda/TypeChecking/EtaContract.dyn_o ) [278 of 427] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist/build/Agda/TypeChecking/Reduce.dyn_o ) [279 of 427] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist/build/Agda/TypeChecking/Telescope.dyn_o ) [280 of 427] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist/build/Agda/TypeChecking/SyntacticEquality.dyn_o ) [281 of 427] Compiling Agda.TypeChecking.Patterns.Internal ( src/full/Agda/TypeChecking/Patterns/Internal.hs, dist/build/Agda/TypeChecking/Patterns/Internal.dyn_o ) [282 of 427] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist/build/Agda/TypeChecking/Level.dyn_o ) [283 of 427] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist/build/Agda/TypeChecking/LevelConstraints.dyn_o ) [284 of 427] Compiling Agda.TypeChecking.Level.Solve ( src/full/Agda/TypeChecking/Level/Solve.hs, dist/build/Agda/TypeChecking/Level/Solve.dyn_o ) [285 of 427] Compiling Agda.TypeChecking.Free.Reduce ( src/full/Agda/TypeChecking/Free/Reduce.hs, dist/build/Agda/TypeChecking/Free/Reduce.dyn_o ) [286 of 427] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist/build/Agda/TypeChecking/Forcing.dyn_o ) [287 of 427] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist/build/Agda/TypeChecking/Empty.dyn_o-boot ) [288 of 427] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist/build/Agda/TypeChecking/DisplayForm.dyn_o ) [289 of 427] Compiling Agda.TypeChecking.DeadCode ( src/full/Agda/TypeChecking/DeadCode.hs, dist/build/Agda/TypeChecking/DeadCode.dyn_o ) [290 of 427] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist/build/Agda/TypeChecking/Conversion.dyn_o-boot ) [291 of 427] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist/build/Agda/TypeChecking/CompiledClause/Match.dyn_o ) [292 of 427] Compiling Agda.TypeChecking.CheckInternal[boot] ( src/full/Agda/TypeChecking/CheckInternal.hs-boot, dist/build/Agda/TypeChecking/CheckInternal.dyn_o-boot ) [293 of 427] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist/build/Agda/Termination/RecCheck.dyn_o ) [294 of 427] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, dist/build/Agda/Syntax/Translation/ReflectedToAbstract.dyn_o ) [295 of 427] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist/build/Agda/Syntax/Translation/InternalToAbstract.dyn_o ) [296 of 427] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist/build/Agda/TypeChecking/Pretty.dyn_o ) [297 of 427] Compiling Agda.TypeChecking.Telescope.Path ( src/full/Agda/TypeChecking/Telescope/Path.hs, dist/build/Agda/TypeChecking/Telescope/Path.dyn_o ) [298 of 427] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist/build/Agda/TypeChecking/SizedTypes/Syntax.dyn_o ) [299 of 427] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist/build/Agda/TypeChecking/SizedTypes/WarshallSolver.dyn_o ) [300 of 427] Compiling Agda.TypeChecking.Rules.Display ( src/full/Agda/TypeChecking/Rules/Display.hs, dist/build/Agda/TypeChecking/Rules/Display.dyn_o ) [301 of 427] Compiling Agda.TypeChecking.Pretty.Constraint[boot] ( src/full/Agda/TypeChecking/Pretty/Constraint.hs-boot, dist/build/Agda/TypeChecking/Pretty/Constraint.dyn_o-boot ) [302 of 427] Compiling Agda.TypeChecking.Pretty.Call ( src/full/Agda/TypeChecking/Pretty/Call.hs, dist/build/Agda/TypeChecking/Pretty/Call.dyn_o ) [303 of 427] Compiling Agda.TypeChecking.Opacity ( src/full/Agda/TypeChecking/Opacity.hs, dist/build/Agda/TypeChecking/Opacity.dyn_o ) [304 of 427] Compiling Agda.TypeChecking.Names ( src/full/Agda/TypeChecking/Names.hs, dist/build/Agda/TypeChecking/Names.dyn_o ) [305 of 427] Compiling Agda.TypeChecking.Primitive.Base ( src/full/Agda/TypeChecking/Primitive/Base.hs, dist/build/Agda/TypeChecking/Primitive/Base.dyn_o ) [306 of 427] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist/build/Agda/TypeChecking/Quote.dyn_o ) [307 of 427] Compiling Agda.TypeChecking.Primitive.Cubical.Base ( src/full/Agda/TypeChecking/Primitive/Cubical/Base.hs, dist/build/Agda/TypeChecking/Primitive/Cubical/Base.dyn_o ) [308 of 427] Compiling Agda.TypeChecking.Primitive.Cubical.Id ( src/full/Agda/TypeChecking/Primitive/Cubical/Id.hs, dist/build/Agda/TypeChecking/Primitive/Cubical/Id.dyn_o ) [309 of 427] Compiling Agda.TypeChecking.Primitive.Cubical.Glue ( src/full/Agda/TypeChecking/Primitive/Cubical/Glue.hs, dist/build/Agda/TypeChecking/Primitive/Cubical/Glue.dyn_o ) [310 of 427] Compiling Agda.TypeChecking.Primitive.Cubical.HCompU ( src/full/Agda/TypeChecking/Primitive/Cubical/HCompU.hs, dist/build/Agda/TypeChecking/Primitive/Cubical/HCompU.dyn_o ) [311 of 427] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, dist/build/Agda/TypeChecking/Primitive/Cubical.dyn_o ) [312 of 427] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist/build/Agda/TypeChecking/Primitive.dyn_o ) [313 of 427] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist/build/Agda/TypeChecking/Irrelevance.dyn_o ) [314 of 427] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist/build/Agda/TypeChecking/Records.dyn_o ) [315 of 427] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist/build/Agda/TypeChecking/Rules/LHS/Problem.dyn_o ) [316 of 427] Compiling Agda.TypeChecking.Rules.LHS.Unify.Types ( src/full/Agda/TypeChecking/Rules/LHS/Unify/Types.hs, dist/build/Agda/TypeChecking/Rules/LHS/Unify/Types.dyn_o ) [317 of 427] Compiling Agda.TypeChecking.Rules.LHS.Unify.LeftInverse ( src/full/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.hs, dist/build/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.dyn_o ) [318 of 427] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist/build/Agda/TypeChecking/Patterns/Match.dyn_o ) [319 of 427] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist/build/Agda/TypeChecking/Implicit.dyn_o ) [320 of 427] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist/build/Agda/TypeChecking/Rules/LHS/Implicit.dyn_o ) [321 of 427] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist/build/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_o ) [322 of 427] Compiling Agda.TypeChecking.Functions ( src/full/Agda/TypeChecking/Functions.hs, dist/build/Agda/TypeChecking/Functions.dyn_o ) [323 of 427] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist/build/Agda/TypeChecking/Datatypes.dyn_o ) [324 of 427] Compiling Agda.TypeChecking.Rewriting.NonLinPattern ( src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs, dist/build/Agda/TypeChecking/Rewriting/NonLinPattern.dyn_o ) [325 of 427] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist/build/Agda/TypeChecking/RecordPatterns.dyn_o ) [326 of 427] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist/build/Agda/TypeChecking/Positivity.dyn_o ) [327 of 427] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist/build/Agda/TypeChecking/ProjectionLike.dyn_o ) [328 of 427] Compiling Agda.TypeChecking.Sort ( src/full/Agda/TypeChecking/Sort.hs, dist/build/Agda/TypeChecking/Sort.dyn_o ) [329 of 427] Compiling Agda.TypeChecking.Pretty.Warning ( src/full/Agda/TypeChecking/Pretty/Warning.hs, dist/build/Agda/TypeChecking/Pretty/Warning.dyn_o ) [330 of 427] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist/build/Agda/TypeChecking/Coverage/Match.dyn_o ) [331 of 427] Compiling Agda.TypeChecking.Conversion.Pure ( src/full/Agda/TypeChecking/Conversion/Pure.hs, dist/build/Agda/TypeChecking/Conversion/Pure.dyn_o ) [332 of 427] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, dist/build/Agda/TypeChecking/Rewriting/NonLinMatch.dyn_o ) [333 of 427] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist/build/Agda/Termination/Monad.dyn_o ) [334 of 427] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist/build/Agda/TypeChecking/Errors.dyn_o ) [335 of 427] Compiling Agda.TypeChecking.Pretty.Constraint ( src/full/Agda/TypeChecking/Pretty/Constraint.hs, dist/build/Agda/TypeChecking/Pretty/Constraint.dyn_o ) [336 of 427] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist/build/Agda/TypeChecking/SizedTypes.dyn_o ) [337 of 427] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist/build/Agda/TypeChecking/Polarity.dyn_o ) [338 of 427] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist/build/Agda/TypeChecking/Injectivity.dyn_o ) [339 of 427] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist/build/Agda/TypeChecking/InstanceArguments.dyn_o ) [340 of 427] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist/build/Agda/TypeChecking/Constraints.dyn_o ) [341 of 427] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist/build/Agda/TypeChecking/Rules/LHS/Unify.dyn_o ) [342 of 427] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist/build/Agda/TypeChecking/MetaVars/Occurs.dyn_o ) [343 of 427] Compiling Agda.TypeChecking.Lock ( src/full/Agda/TypeChecking/Lock.hs, dist/build/Agda/TypeChecking/Lock.dyn_o ) [344 of 427] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist/build/Agda/TypeChecking/MetaVars.dyn_o ) [345 of 427] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, dist/build/Agda/TypeChecking/SizedTypes/Solve.dyn_o ) [346 of 427] Compiling Agda.TypeChecking.Coverage.SplitClause ( src/full/Agda/TypeChecking/Coverage/SplitClause.hs, dist/build/Agda/TypeChecking/Coverage/SplitClause.dyn_o ) [347 of 427] Compiling Agda.TypeChecking.Coverage.Cubical ( src/full/Agda/TypeChecking/Coverage/Cubical.hs, dist/build/Agda/TypeChecking/Coverage/Cubical.dyn_o ) [348 of 427] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist/build/Agda/TypeChecking/Conversion.dyn_o ) [349 of 427] Compiling Agda.TypeChecking.Rewriting.Confluence ( src/full/Agda/TypeChecking/Rewriting/Confluence.hs, dist/build/Agda/TypeChecking/Rewriting/Confluence.dyn_o ) [350 of 427] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, dist/build/Agda/TypeChecking/Rewriting.dyn_o ) [351 of 427] Compiling Agda.TypeChecking.Reduce.Fast ( src/full/Agda/TypeChecking/Reduce/Fast.hs, dist/build/Agda/TypeChecking/Reduce/Fast.dyn_o ) [352 of 427] Compiling Agda.TypeChecking.Modalities ( src/full/Agda/TypeChecking/Modalities.hs, dist/build/Agda/TypeChecking/Modalities.dyn_o ) [353 of 427] Compiling Agda.TypeChecking.IApplyConfluence ( src/full/Agda/TypeChecking/IApplyConfluence.hs, dist/build/Agda/TypeChecking/IApplyConfluence.dyn_o ) [354 of 427] Compiling Agda.TypeChecking.Generalize ( src/full/Agda/TypeChecking/Generalize.hs, dist/build/Agda/TypeChecking/Generalize.dyn_o ) [355 of 427] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist/build/Agda/TypeChecking/Rules/Data.dyn_o ) [356 of 427] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, dist/build/Agda/TypeChecking/CheckInternal.dyn_o ) [357 of 427] Compiling Agda.TypeChecking.ReconstructParameters ( src/full/Agda/TypeChecking/ReconstructParameters.hs, dist/build/Agda/TypeChecking/ReconstructParameters.dyn_o ) [358 of 427] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, dist/build/Agda/TypeChecking/Unquote.dyn_o ) [359 of 427] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist/build/Agda/TypeChecking/Abstract.dyn_o ) [360 of 427] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist/build/Agda/TypeChecking/With.dyn_o ) [361 of 427] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist/build/Agda/Termination/TermCheck.dyn_o ) [362 of 427] Compiling Agda.Syntax.Internal.SanityCheck ( src/full/Agda/Syntax/Internal/SanityCheck.hs, dist/build/Agda/Syntax/Internal/SanityCheck.dyn_o ) [363 of 427] Compiling Agda.Syntax.IdiomBrackets ( src/full/Agda/Syntax/IdiomBrackets.hs, dist/build/Agda/Syntax/IdiomBrackets.dyn_o ) [364 of 427] Compiling Agda.Syntax.DoNotation ( src/full/Agda/Syntax/DoNotation.hs, dist/build/Agda/Syntax/DoNotation.dyn_o ) [365 of 427] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist/build/Agda/Interaction/Monad.dyn_o ) [366 of 427] Compiling Agda.Interaction.JSON ( src/full/Agda/Interaction/JSON.hs, dist/build/Agda/Interaction/JSON.dyn_o ) [367 of 427] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist/build/Agda/Interaction/Highlighting/Vim.dyn_o ) [368 of 427] Compiling Agda.Interaction.Highlighting.FromAbstract ( src/full/Agda/Interaction/Highlighting/FromAbstract.hs, dist/build/Agda/Interaction/Highlighting/FromAbstract.dyn_o ) [369 of 427] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist/build/Agda/Interaction/Highlighting/Generate.dyn_o ) [370 of 427] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist/build/Agda/TypeChecking/Rules/LHS.dyn_o ) [371 of 427] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist/build/Agda/TypeChecking/Rules/Term.dyn_o ) [372 of 427] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist/build/Agda/TypeChecking/Rules/Builtin.dyn_o ) [373 of 427] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o ) [374 of 427] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist/build/Agda/TypeChecking/Coverage.dyn_o ) [375 of 427] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist/build/Agda/TypeChecking/Empty.dyn_o ) [376 of 427] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o ) [377 of 427] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist/build/Agda/TypeChecking/Rules/Record.dyn_o ) [378 of 427] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist/build/Agda/TypeChecking/Rules/Def.dyn_o ) [379 of 427] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist/build/Agda/Interaction/MakeCase.dyn_o ) [380 of 427] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist/build/Agda/Auto/Convert.dyn_o ) [381 of 427] Compiling Agda.TypeChecking.Rules.Application ( src/full/Agda/TypeChecking/Rules/Application.hs, dist/build/Agda/TypeChecking/Rules/Application.dyn_o ) [382 of 427] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist/build/Agda/TypeChecking/Rules/Decl.dyn_o ) [383 of 427] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, dist/build/Agda/TheTypeChecker.dyn_o ) [384 of 427] Compiling Agda.Interaction.Highlighting.Common ( src/full/Agda/Interaction/Highlighting/Common.hs, dist/build/Agda/Interaction/Highlighting/Common.dyn_o ) [385 of 427] Compiling Agda.Interaction.Highlighting.JSON ( src/full/Agda/Interaction/Highlighting/JSON.hs, dist/build/Agda/Interaction/Highlighting/JSON.dyn_o ) [386 of 427] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist/build/Agda/Interaction/Highlighting/Emacs.dyn_o ) [387 of 427] Compiling Agda.Compiler.Treeless.Unused ( src/full/Agda/Compiler/Treeless/Unused.hs, dist/build/Agda/Compiler/Treeless/Unused.dyn_o ) [388 of 427] Compiling Agda.Compiler.Treeless.Simplify ( src/full/Agda/Compiler/Treeless/Simplify.hs, dist/build/Agda/Compiler/Treeless/Simplify.dyn_o ) [389 of 427] Compiling Agda.Compiler.Treeless.NormalizeNames ( src/full/Agda/Compiler/Treeless/NormalizeNames.hs, dist/build/Agda/Compiler/Treeless/NormalizeNames.dyn_o ) [390 of 427] Compiling Agda.Compiler.Treeless.Identity ( src/full/Agda/Compiler/Treeless/Identity.hs, dist/build/Agda/Compiler/Treeless/Identity.dyn_o ) [391 of 427] Compiling Agda.Compiler.Treeless.Erase ( src/full/Agda/Compiler/Treeless/Erase.hs, dist/build/Agda/Compiler/Treeless/Erase.dyn_o ) [392 of 427] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns ( src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs, dist/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_o ) [393 of 427] Compiling Agda.Compiler.Treeless.EliminateDefaults ( src/full/Agda/Compiler/Treeless/EliminateDefaults.hs, dist/build/Agda/Compiler/Treeless/EliminateDefaults.dyn_o ) [394 of 427] Compiling Agda.Compiler.Treeless.Builtin ( src/full/Agda/Compiler/Treeless/Builtin.hs, dist/build/Agda/Compiler/Treeless/Builtin.dyn_o ) [395 of 427] Compiling Agda.Compiler.ToTreeless ( src/full/Agda/Compiler/ToTreeless.hs, dist/build/Agda/Compiler/ToTreeless.dyn_o ) [396 of 427] Compiling Agda.Compiler.MAlonzo.Coerce ( src/full/Agda/Compiler/MAlonzo/Coerce.hs, dist/build/Agda/Compiler/MAlonzo/Coerce.dyn_o ) [397 of 427] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist/build/Agda/Compiler/CallCompiler.dyn_o ) [398 of 427] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist/build/Agda/Syntax/Translation/ConcreteToAbstract.dyn_o ) [399 of 427] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist/build/Agda/Interaction/BasicOps.dyn_o ) [400 of 427] Compiling Agda.Interaction.SearchAbout ( src/full/Agda/Interaction/SearchAbout.hs, dist/build/Agda/Interaction/SearchAbout.dyn_o ) [401 of 427] Compiling Agda.Auto.Auto ( src/full/Agda/Auto/Auto.hs, dist/build/Agda/Auto/Auto.dyn_o ) [402 of 427] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist/build/Agda/Interaction/Imports.dyn_o ) [403 of 427] Compiling Agda.Interaction.CommandLine ( src/full/Agda/Interaction/CommandLine.hs, dist/build/Agda/Interaction/CommandLine.dyn_o ) [404 of 427] Compiling Agda.Compiler.Common ( src/full/Agda/Compiler/Common.hs, dist/build/Agda/Compiler/Common.dyn_o ) [405 of 427] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist/build/Agda/Compiler/MAlonzo/Misc.dyn_o ) [406 of 427] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist/build/Agda/Compiler/MAlonzo/Primitives.dyn_o ) [407 of 427] Compiling Agda.Compiler.MAlonzo.Pragmas ( src/full/Agda/Compiler/MAlonzo/Pragmas.hs, dist/build/Agda/Compiler/MAlonzo/Pragmas.dyn_o ) [408 of 427] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist/build/Agda/Compiler/MAlonzo/Encode.dyn_o ) [409 of 427] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist/build/Agda/Compiler/MAlonzo/Pretty.dyn_o ) [410 of 427] Compiling Agda.Compiler.MAlonzo.HaskellTypes ( src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs, dist/build/Agda/Compiler/MAlonzo/HaskellTypes.dyn_o ) [411 of 427] Compiling Agda.Compiler.Backend ( src/full/Agda/Compiler/Backend.hs, dist/build/Agda/Compiler/Backend.dyn_o ) [412 of 427] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist/build/Agda/Interaction/InteractionTop.dyn_o ) [413 of 427] Compiling Agda.Interaction.AgdaTop ( src/full/Agda/Interaction/AgdaTop.hs, dist/build/Agda/Interaction/AgdaTop.dyn_o ) [414 of 427] Compiling Agda.Interaction.EmacsTop ( src/full/Agda/Interaction/EmacsTop.hs, dist/build/Agda/Interaction/EmacsTop.dyn_o ) [415 of 427] Compiling Agda.Interaction.JSONTop ( src/full/Agda/Interaction/JSONTop.hs, dist/build/Agda/Interaction/JSONTop.dyn_o ) [416 of 427] Compiling Agda.Interaction.Highlighting.Dot.Backend ( src/full/Agda/Interaction/Highlighting/Dot/Backend.hs, dist/build/Agda/Interaction/Highlighting/Dot/Backend.dyn_o ) [417 of 427] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist/build/Agda/Interaction/Highlighting/Dot.dyn_o ) [418 of 427] Compiling Agda.Interaction.Highlighting.LaTeX.Base ( src/full/Agda/Interaction/Highlighting/LaTeX/Base.hs, dist/build/Agda/Interaction/Highlighting/LaTeX/Base.dyn_o ) [419 of 427] Compiling Agda.Interaction.Highlighting.LaTeX.Backend ( src/full/Agda/Interaction/Highlighting/LaTeX/Backend.hs, dist/build/Agda/Interaction/Highlighting/LaTeX/Backend.dyn_o ) [420 of 427] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist/build/Agda/Interaction/Highlighting/LaTeX.dyn_o ) [421 of 427] Compiling Agda.Interaction.Highlighting.HTML.Base ( src/full/Agda/Interaction/Highlighting/HTML/Base.hs, dist/build/Agda/Interaction/Highlighting/HTML/Base.dyn_o ) [422 of 427] Compiling Agda.Interaction.Highlighting.HTML.Backend ( src/full/Agda/Interaction/Highlighting/HTML/Backend.hs, dist/build/Agda/Interaction/Highlighting/HTML/Backend.dyn_o ) [423 of 427] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist/build/Agda/Interaction/Highlighting/HTML.dyn_o ) [424 of 427] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist/build/Agda/Compiler/MAlonzo/Compiler.dyn_o ) [425 of 427] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist/build/Agda/Compiler/JS/Compiler.dyn_o ) [426 of 427] Compiling Agda.Compiler.Builtin ( src/full/Agda/Compiler/Builtin.hs, dist/build/Agda/Compiler/Builtin.dyn_o ) [427 of 427] Compiling Agda.Main ( src/full/Agda/Main.hs, dist/build/Agda/Main.dyn_o ) Preprocessing executable 'agda' for Agda-2.6.4.. Building executable 'agda' for Agda-2.6.4.. [1 of 1] Compiling Main ( src/main/Main.hs, dist/build/agda/agda-tmp/Main.dyn_o ) Linking dist/build/agda/agda ... Unregistering Agda-2.6.4... ==> Entering fakeroot environment... ==> Starting package()... ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. Installing executable agda-mode in /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/bin Warning: The directory /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/bin is not in the system search path. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. Installing library in /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/lib/ghc-9.2.8/site-local/Agda-2.6.4 ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. Installing executable agda in /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/bin Warning: The directory /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/bin is not in the system search path. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. Generating Agda library interface files... ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. Installing executable agda-mode in /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/bin Warning: The directory /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/bin is not in the system search path. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. Installing library in /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/lib/ghc-9.2.8/site-local/Agda-2.6.4 ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. Installing executable agda in /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/bin Warning: The directory /tmp/archlinux-ci/agda-rb-build-00dx5XmR/agda/pkg/agda/usr/bin is not in the system search path. ERROR: ld.so: object 'libfakeroot.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored. ==> Tidying install... -> Removing libtool files... -> Purging unwanted files... -> Removing static library files... -> Stripping unneeded symbols from binaries and libraries... -> Compressing man and info pages... ==> Checking for packaging issues... ==> Creating package "agda"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Creating package "agda-debug"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: agda 2.6.4-22 (Sun Mar 10 00:33:40 2024)