debspawn 0.6.3 on cumin at 2023-06-21 22:48:08 UTC+0000 dpkg-source: info: extracting agda in agda-2.6.2.2 dpkg-source: info: unpacking agda_2.6.2.2.orig.tar.gz dpkg-source: info: unpacking agda_2.6.2.2-1.1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying var-lib-agda dpkg-source: info: applying agda-mode-deps ╔═══════════════════════╗ ║ Package build ║ ╚═══════════════════════╝ Package: agda Version: 2.6.2.2-1.1 Distribution: landing Architecture: arm64 Free space in workspace: 84.1GiB ┌───────────────────────────────────────┐ │ Preparing container for build │ └───────────────────────────────────────┘ Get:1 https://repo.pureos.net/pureos landing InRelease [8717 B] Get:2 https://repo.pureos.net/pureos landing/main all Packages [3713 kB] Fetched 3722 kB in 3s (1372 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: dpkg-dev libdpkg-perl 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/1960 kB of archives. After this operation, 1529 kB disk space will be freed. debconf: delaying package configuration, since apt-utils is not installed (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13138 files and directories currently installed.) Preparing to unpack .../dpkg-dev_1.21.22pureos1_all.deb ... Unpacking dpkg-dev (1.21.22pureos1) over (1.20.12pureos1) ... Preparing to unpack .../libdpkg-perl_1.21.22pureos1_all.deb ... Unpacking libdpkg-perl (1.21.22pureos1) over (1.20.12pureos1) ... Setting up libdpkg-perl (1.21.22pureos1) ... Setting up dpkg-dev (1.21.22pureos1) ... Reading package lists... Building dependency tree... Reading state information... build-essential is already the newest version (12.9). dpkg-dev is already the newest version (1.21.22pureos1). fakeroot is already the newest version (1.31-1.2). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. ┌───────────────────────────────────────────────┐ │ Installing package build-dependencies │ └───────────────────────────────────────────────┘ Note, using directory './' to get the build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: alex autoconf automake autopoint autotools-dev bsdextrautils cdbs cpphs dctrl-tools debhelper dh-autoreconf dh-buildinfo dh-elpa dh-strip-nondeterminism dwz emacs-bin-common emacs-common emacs-el emacs-nox emacsen-common file gettext gettext-base ghc ghc-prof groff-base happy haskell-devscripts haskell-devscripts-minimal hscolour html-xml-utils install-info intltool-debian libapt-pkg-perl libarchive-zip-perl libarray-unique-perl libarray-utils-perl libasound2 libasound2-data libb-hooks-op-check-perl libbrotli1 libbsd-dev libbsd0 libcgi-pm-perl libclass-accessor-perl libclone-perl libconfig-tiny-perl libconst-fast-perl libcurl3-gnutls libdata-optlist-perl libdbus-1-3 libdebhelper-perl libdebian-source-perl libdevel-callchecker-perl libdevel-confess-perl libdynaloader-functions-perl libedit2 libelf1 libencode-locale-perl liberror-perl libexporter-lite-perl libexporter-tiny-perl libffi-dev libfile-listing-perl libfile-stripnondeterminism-perl libgccjit0 libghc-aeson-dev libghc-aeson-prof libghc-assoc-dev libghc-assoc-prof libghc-async-dev libghc-attoparsec-dev libghc-attoparsec-prof libghc-base-compat-batteries-dev libghc-base-compat-batteries-prof libghc-base-compat-dev libghc-base-compat-prof libghc-base-orphans-dev libghc-base-orphans-prof libghc-bifunctors-dev libghc-bifunctors-prof libghc-blaze-builder-dev libghc-blaze-html-dev libghc-blaze-markup-dev libghc-boxes-dev libghc-boxes-prof libghc-case-insensitive-dev libghc-case-insensitive-prof libghc-comonad-dev libghc-comonad-prof libghc-contravariant-dev libghc-contravariant-prof libghc-data-fix-dev libghc-data-fix-prof libghc-data-hash-dev libghc-distributive-dev libghc-distributive-prof libghc-dlist-dev libghc-dlist-prof libghc-edit-distance-dev libghc-equivalence-dev libghc-equivalence-prof libghc-gitrev-dev libghc-gitrev-prof libghc-hashable-dev libghc-hashable-prof libghc-hashtables-dev libghc-hashtables-prof libghc-indexed-traversable-dev libghc-indexed-traversable-instances-dev libghc-indexed-traversable-instances-prof libghc-indexed-traversable-prof libghc-integer-logarithms-dev libghc-integer-logarithms-prof libghc-monad-control-dev libghc-monad-control-prof libghc-murmur-hash-dev libghc-murmur-hash-prof libghc-network-uri-dev libghc-network-uri-prof libghc-onetuple-dev libghc-onetuple-prof libghc-parallel-dev libghc-parallel-prof libghc-primitive-dev libghc-primitive-prof libghc-quickcheck2-dev libghc-quickcheck2-prof libghc-random-dev libghc-random-prof libghc-regex-base-dev libghc-regex-base-prof libghc-regex-tdfa-dev libghc-regex-tdfa-prof libghc-scientific-dev libghc-scientific-prof libghc-semialign-dev libghc-semialign-prof libghc-semigroupoids-dev libghc-semigroupoids-prof libghc-split-dev libghc-split-prof libghc-splitmix-dev libghc-splitmix-prof libghc-statevar-dev libghc-statevar-prof libghc-stmonadtrans-dev libghc-stmonadtrans-prof libghc-strict-dev libghc-strict-prof libghc-tagged-dev libghc-tagged-prof libghc-text-short-dev libghc-text-short-prof libghc-th-abstraction-dev libghc-th-abstraction-prof libghc-th-compat-dev libghc-th-compat-prof libghc-these-dev libghc-these-prof libghc-time-compat-dev libghc-time-compat-prof libghc-transformers-base-dev libghc-transformers-base-prof libghc-transformers-compat-dev libghc-transformers-compat-prof libghc-unordered-containers-dev libghc-unordered-containers-prof libghc-uri-encode-dev libghc-uri-encode-prof libghc-utf8-string-dev libghc-utf8-string-prof libghc-uuid-types-dev libghc-uuid-types-prof libghc-vector-dev libghc-vector-prof libghc-witherable-dev libghc-witherable-prof libghc-zlib-dev libgmp-dev libgmpxx4ldbl libgpm2 libhtml-form-perl libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libhttp-cookies-perl libhttp-date-perl libhttp-message-perl libhttp-negotiate-perl libicu72 libio-html-perl libio-socket-ssl-perl libio-stringy-perl libipc-run3-perl liblcms2-2 libldap-2.5-0 liblist-moreutils-perl liblist-moreutils-xs-perl liblist-someutils-perl libllvm13 liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic-mgc libmagic1 libmd-dev libmd0 libmodule-implementation-perl libmodule-runtime-perl libncurses-dev libncurses6 libncursesw6 libnet-http-perl libnet-ssleay-perl libnghttp2-14 libparams-classify-perl libparams-util-perl libparse-debcontrol-perl libpath-tiny-perl libpfm4 libpipeline1 libpsl5 libpython3-stdlib libpython3.11-stdlib libreadline8 libregexp-ipv6-perl librtmp1 libsasl2-2 libsasl2-modules-db libsqlite3-0 libssh2-1 libsub-exporter-perl libsub-exporter-progressive-perl libsub-install-perl libsub-name-perl libsub-override-perl libtie-ixhash-perl libtimedate-perl libtool libtry-tiny-perl libuchardet0 libunicode-utf8-perl liburi-perl libwww-mechanize-perl libwww-perl libwww-robotrules-perl libxml2 libz3-4 llvm-13 llvm-13-linker-tools llvm-13-runtime m4 man-db media-types netbase perl-openssl-defaults po-debconf python3 python3-pkg-resources python3-scour python3-six python3.11 readline-common scour sensible-utils sgml-base zlib1g-dev 0 upgraded, 267 newly installed, 0 to remove and 0 not upgraded. Need to get 54.1 MB/353 MB of archives. After this operation, 3216 MB of additional disk space will be used. Get:1 https://repo.pureos.net/pureos landing/main arm64 alex arm64 3.2.7.1-3 [1524 kB] Get:2 https://repo.pureos.net/pureos landing/main arm64 cpphs arm64 1.20.9.1-2+b1 [1366 kB] Get:3 https://repo.pureos.net/pureos landing/main arm64 libapt-pkg-perl arm64 0.1.40+b2 [66.1 kB] Get:4 https://repo.pureos.net/pureos landing/main all libarray-unique-perl all 0.08-4 [11.2 kB] Get:5 https://repo.pureos.net/pureos landing/main arm64 libsub-name-perl arm64 0.26-2+b1 [12.4 kB] Get:6 https://repo.pureos.net/pureos landing/main all libclass-accessor-perl all 0.51-2 [22.7 kB] Get:7 https://repo.pureos.net/pureos landing/main all libexporter-tiny-perl all 1.006000-1 [38.6 kB] Get:8 https://repo.pureos.net/pureos landing/main arm64 liblist-moreutils-xs-perl arm64 0.430-3+b1 [37.5 kB] Get:9 https://repo.pureos.net/pureos landing/main all liblist-moreutils-perl all 0.430-2 [46.9 kB] Get:10 https://repo.pureos.net/pureos landing/main all libio-stringy-perl all 2.111-3 [56.5 kB] Get:11 https://repo.pureos.net/pureos landing/main all liberror-perl all 0.17029-2 [29.0 kB] Get:12 https://repo.pureos.net/pureos landing/main all libexporter-lite-perl all 0.09-2 [10.7 kB] Get:13 https://repo.pureos.net/pureos landing/main all libparse-debcontrol-perl all 2.005-6 [21.6 kB] Get:14 https://repo.pureos.net/pureos landing/main all libtie-ixhash-perl all 1.23-4 [11.7 kB] Get:15 https://repo.pureos.net/pureos landing/main all libcgi-pm-perl all 4.55-1 [220 kB] Get:16 https://repo.pureos.net/pureos landing/main all libhtml-form-perl all 6.11-1 [33.1 kB] Get:17 https://repo.pureos.net/pureos landing/main all libwww-mechanize-perl all 2.16-1 [116 kB] Get:18 https://repo.pureos.net/pureos landing/main all libdebian-source-perl all 0.122 [63.7 kB] Get:19 https://repo.pureos.net/pureos landing/main all emacs-el all 1:28.2+1-15 [16.9 MB] Get:20 https://repo.pureos.net/pureos landing/main all emacsen-common all 3.0.5 [12.3 kB] Get:21 https://repo.pureos.net/pureos landing/main all emacs-common all 1:28.2+1-15 [14.0 MB] Get:22 https://repo.pureos.net/pureos landing/main arm64 emacs-bin-common arm64 1:28.2+1-15 [96.4 kB] Get:23 https://repo.pureos.net/pureos landing/main arm64 libgccjit0 arm64 12.2.0-14 [7145 kB] Get:24 https://repo.pureos.net/pureos landing/main arm64 libgpm2 arm64 1.20.7-10+b1 [14.4 kB] Get:25 https://repo.pureos.net/pureos landing/main arm64 emacs-nox arm64 1:28.2+1-15 [5378 kB] Get:26 https://repo.pureos.net/pureos landing/main all libarray-utils-perl all 0.5-3 [6184 B] Get:27 https://repo.pureos.net/pureos landing/main all libconfig-tiny-perl all 2.28-2 [16.4 kB] Get:28 https://repo.pureos.net/pureos landing/main all dh-elpa all 2.0.16 [31.0 kB] Get:29 https://repo.pureos.net/pureos landing/main arm64 happy arm64 1.20.0-1 [560 kB] Get:30 https://repo.pureos.net/pureos landing/main arm64 hscolour arm64 1.24.4-4+b1 [1308 kB] Get:31 https://repo.pureos.net/pureos landing/main all haskell-devscripts all 0.16.29 [17.8 kB] Get:32 https://repo.pureos.net/pureos landing/main arm64 libghc-boxes-dev arm64 0.1.5-4+b2 [59.9 kB] Get:33 https://repo.pureos.net/pureos landing/main arm64 libghc-boxes-prof arm64 0.1.5-4+b2 [58.1 kB] Get:34 https://repo.pureos.net/pureos landing/main arm64 libghc-case-insensitive-dev arm64 1.2.1.0-3+b2 [57.9 kB] Get:35 https://repo.pureos.net/pureos landing/main arm64 libghc-case-insensitive-prof arm64 1.2.1.0-3+b2 [57.4 kB] Get:36 https://repo.pureos.net/pureos landing/main arm64 libghc-data-hash-dev arm64 0.2.0.1-8+b2 [99.9 kB] Get:37 https://repo.pureos.net/pureos landing/main arm64 libghc-edit-distance-dev arm64 0.2.2.1-12+b3 [82.9 kB] Get:38 https://repo.pureos.net/pureos landing/main arm64 libghc-stmonadtrans-dev arm64 0.4.6-1+b1 [109 kB] Get:39 https://repo.pureos.net/pureos landing/main arm64 libghc-equivalence-dev arm64 0.4.1-1 [126 kB] Get:40 https://repo.pureos.net/pureos landing/main arm64 libghc-stmonadtrans-prof arm64 0.4.6-1+b1 [99.7 kB] Get:41 https://repo.pureos.net/pureos landing/main arm64 libghc-equivalence-prof arm64 0.4.1-1 [126 kB] Get:42 https://repo.pureos.net/pureos landing/main arm64 libghc-gitrev-dev arm64 1.3.1-5+b1 [38.1 kB] Get:43 https://repo.pureos.net/pureos landing/main arm64 libghc-gitrev-prof arm64 1.3.1-5+b1 [34.1 kB] Get:44 https://repo.pureos.net/pureos landing/main arm64 libghc-hashtables-dev arm64 1.2.4.2-1+b2 [260 kB] Get:45 https://repo.pureos.net/pureos landing/main arm64 libghc-hashtables-prof arm64 1.2.4.2-1+b2 [265 kB] Get:46 https://repo.pureos.net/pureos landing/main arm64 libghc-transformers-base-dev arm64 0.4.6-1+b3 [39.0 kB] Get:47 https://repo.pureos.net/pureos landing/main arm64 libghc-monad-control-dev arm64 1.0.3.1-1+b2 [52.3 kB] Get:48 https://repo.pureos.net/pureos landing/main arm64 libghc-transformers-base-prof arm64 0.4.6-1+b3 [37.9 kB] Get:49 https://repo.pureos.net/pureos landing/main arm64 libghc-monad-control-prof arm64 1.0.3.1-1+b2 [52.2 kB] Get:50 https://repo.pureos.net/pureos landing/main arm64 libghc-th-compat-dev arm64 0.1.4-1 [41.0 kB] Get:51 https://repo.pureos.net/pureos landing/main arm64 libghc-network-uri-dev arm64 2.6.4.1-1+b2 [226 kB] Get:52 https://repo.pureos.net/pureos landing/main arm64 libghc-th-compat-prof arm64 0.1.4-1 [38.5 kB] Get:53 https://repo.pureos.net/pureos landing/main arm64 libghc-network-uri-prof arm64 2.6.4.1-1+b2 [223 kB] Get:54 https://repo.pureos.net/pureos landing/main arm64 libghc-parallel-dev arm64 3.2.2.0-4+b2 [68.6 kB] Get:55 https://repo.pureos.net/pureos landing/main arm64 libghc-parallel-prof arm64 3.2.2.0-4+b2 [76.1 kB] Get:56 https://repo.pureos.net/pureos landing/main arm64 libghc-regex-base-dev arm64 0.94.0.2-1+b2 [118 kB] Get:57 https://repo.pureos.net/pureos landing/main arm64 libghc-regex-base-prof arm64 0.94.0.2-1+b2 [105 kB] Get:58 https://repo.pureos.net/pureos landing/main arm64 libghc-regex-tdfa-dev arm64 1.3.2-1 [997 kB] Get:59 https://repo.pureos.net/pureos landing/main arm64 libghc-regex-tdfa-prof arm64 1.3.2-1 [971 kB] Get:60 https://repo.pureos.net/pureos landing/main arm64 libghc-utf8-string-dev arm64 1.0.2-1+b1 [133 kB] Get:61 https://repo.pureos.net/pureos landing/main arm64 libghc-uri-encode-dev arm64 1.5.0.7-1+b2 [22.7 kB] Get:62 https://repo.pureos.net/pureos landing/main arm64 libghc-utf8-string-prof arm64 1.0.2-1+b1 [125 kB] Get:63 https://repo.pureos.net/pureos landing/main arm64 libghc-uri-encode-prof arm64 1.5.0.7-1+b2 [19.9 kB] Get:64 https://repo.pureos.net/pureos landing/main arm64 libghc-murmur-hash-dev arm64 0.1.0.10-1+b1 [48.2 kB] Get:65 https://repo.pureos.net/pureos landing/main arm64 libghc-murmur-hash-prof arm64 0.1.0.10-1+b1 [47.0 kB] Fetched 54.1 MB in 5s (11.2 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libmd0:arm64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13167 files and directories currently installed.) Preparing to unpack .../00-libmd0_1.0.4-2_arm64.deb ... Unpacking libmd0:arm64 (1.0.4-2) ... Selecting previously unselected package libbsd0:arm64. Preparing to unpack .../01-libbsd0_0.11.7-2_arm64.deb ... Unpacking libbsd0:arm64 (0.11.7-2) ... Selecting previously unselected package libedit2:arm64. Preparing to unpack .../02-libedit2_3.1-20221030-2_arm64.deb ... Unpacking libedit2:arm64 (3.1-20221030-2) ... Selecting previously unselected package libicu72:arm64. Preparing to unpack .../03-libicu72_72.1-3_arm64.deb ... Unpacking libicu72:arm64 (72.1-3) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../04-libxml2_2.9.14+dfsg-1.2_arm64.deb ... Unpacking libxml2:arm64 (2.9.14+dfsg-1.2) ... Selecting previously unselected package libz3-4:arm64. Preparing to unpack .../05-libz3-4_4.8.12-3.1_arm64.deb ... Unpacking libz3-4:arm64 (4.8.12-3.1) ... Selecting previously unselected package libllvm13:arm64. Preparing to unpack .../06-libllvm13_1%3a13.0.1-11+b2_arm64.deb ... Unpacking libllvm13:arm64 (1:13.0.1-11+b2) ... Selecting previously unselected package llvm-13-runtime. Preparing to unpack .../07-llvm-13-runtime_1%3a13.0.1-11+b2_arm64.deb ... Unpacking llvm-13-runtime (1:13.0.1-11+b2) ... Selecting previously unselected package llvm-13-linker-tools. Preparing to unpack .../08-llvm-13-linker-tools_1%3a13.0.1-11+b2_arm64.deb ... Unpacking llvm-13-linker-tools (1:13.0.1-11+b2) ... Selecting previously unselected package libpfm4:arm64. Preparing to unpack .../09-libpfm4_4.13.0-1_arm64.deb ... Unpacking libpfm4:arm64 (4.13.0-1) ... Selecting previously unselected package llvm-13. Preparing to unpack .../10-llvm-13_1%3a13.0.1-11+b2_arm64.deb ... Unpacking llvm-13 (1:13.0.1-11+b2) ... Selecting previously unselected package libgmpxx4ldbl:arm64. Preparing to unpack .../11-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_arm64.deb ... Unpacking libgmpxx4ldbl:arm64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libgmp-dev:arm64. Preparing to unpack .../12-libgmp-dev_2%3a6.2.1+dfsg1-1.1_arm64.deb ... Unpacking libgmp-dev:arm64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libffi-dev:arm64. Preparing to unpack .../13-libffi-dev_3.4.4-1_arm64.deb ... Unpacking libffi-dev:arm64 (3.4.4-1) ... Selecting previously unselected package libmd-dev:arm64. Preparing to unpack .../14-libmd-dev_1.0.4-2_arm64.deb ... Unpacking libmd-dev:arm64 (1.0.4-2) ... Selecting previously unselected package libbsd-dev:arm64. Preparing to unpack .../15-libbsd-dev_0.11.7-2_arm64.deb ... Unpacking libbsd-dev:arm64 (0.11.7-2) ... Selecting previously unselected package libncurses6:arm64. Preparing to unpack .../16-libncurses6_6.4-4_arm64.deb ... Unpacking libncurses6:arm64 (6.4-4) ... Selecting previously unselected package libncursesw6:arm64. Preparing to unpack .../17-libncursesw6_6.4-4_arm64.deb ... Unpacking libncursesw6:arm64 (6.4-4) ... Selecting previously unselected package libncurses-dev:arm64. Preparing to unpack .../18-libncurses-dev_6.4-4_arm64.deb ... Unpacking libncurses-dev:arm64 (6.4-4) ... Selecting previously unselected package ghc. Preparing to unpack .../19-ghc_9.0.2-4_arm64.deb ... Unpacking ghc (9.0.2-4) ... Selecting previously unselected package media-types. Preparing to unpack .../20-media-types_10.0.0_all.deb ... Unpacking media-types (10.0.0) ... Selecting previously unselected package install-info. Preparing to unpack .../21-install-info_6.8-6+b1_arm64.deb ... Unpacking install-info (6.8-6+b1) ... Setting up install-info (6.8-6+b1) ... Selecting previously unselected package readline-common. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 17567 files and directories currently installed.) Preparing to unpack .../000-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) ... Selecting previously unselected package libreadline8:arm64. Preparing to unpack .../001-libreadline8_8.2-1.3_arm64.deb ... Unpacking libreadline8:arm64 (8.2-1.3) ... Selecting previously unselected package libsqlite3-0:arm64. Preparing to unpack .../002-libsqlite3-0_3.40.1-2_arm64.deb ... Unpacking libsqlite3-0:arm64 (3.40.1-2) ... Selecting previously unselected package libpython3.11-stdlib:arm64. Preparing to unpack .../003-libpython3.11-stdlib_3.11.2-6_arm64.deb ... Unpacking libpython3.11-stdlib:arm64 (3.11.2-6) ... Selecting previously unselected package python3.11. Preparing to unpack .../004-python3.11_3.11.2-6_arm64.deb ... Unpacking python3.11 (3.11.2-6) ... Selecting previously unselected package libpython3-stdlib:arm64. Preparing to unpack .../005-libpython3-stdlib_3.11.2-1+b1_arm64.deb ... Unpacking libpython3-stdlib:arm64 (3.11.2-1+b1) ... Selecting previously unselected package python3. Preparing to unpack .../006-python3_3.11.2-1+b1_arm64.deb ... Unpacking python3 (3.11.2-1+b1) ... Selecting previously unselected package sgml-base. Preparing to unpack .../007-sgml-base_1.31_all.deb ... Unpacking sgml-base (1.31) ... Selecting previously unselected package netbase. Preparing to unpack .../008-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../009-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../010-libmagic-mgc_1%3a5.44-3_arm64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:arm64. Preparing to unpack .../011-libmagic1_1%3a5.44-3_arm64.deb ... Unpacking libmagic1:arm64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../012-file_1%3a5.44-3_arm64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../013-gettext-base_0.21-12_arm64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../014-libuchardet0_0.0.7-1_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../015-groff-base_1.22.4-10_arm64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../016-bsdextrautils_2.38.1-5pureos1_arm64.deb ... Unpacking bsdextrautils (2.38.1-5pureos1) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../017-libpipeline1_1.5.7-1_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../018-man-db_2.11.2-2_arm64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package alex. Preparing to unpack .../019-alex_3.2.7.1-3_arm64.deb ... Unpacking alex (3.2.7.1-3) ... Selecting previously unselected package m4. Preparing to unpack .../020-m4_1.4.19-3_arm64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../021-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../022-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../023-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../024-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package python3-six. Preparing to unpack .../025-python3-six_1.16.0-4_all.deb ... Unpacking python3-six (1.16.0-4) ... Selecting previously unselected package python3-pkg-resources. Preparing to unpack .../026-python3-pkg-resources_66.1.1-1_all.deb ... Unpacking python3-pkg-resources (66.1.1-1) ... Selecting previously unselected package python3-scour. Preparing to unpack .../027-python3-scour_0.38.2-2_all.deb ... Unpacking python3-scour (0.38.2-2) ... Selecting previously unselected package scour. Preparing to unpack .../028-scour_0.38.2-2_all.deb ... Unpacking scour (0.38.2-2) ... Selecting previously unselected package cdbs. Preparing to unpack .../029-cdbs_0.4.166_all.deb ... Unpacking cdbs (0.4.166) ... Selecting previously unselected package cpphs. Preparing to unpack .../030-cpphs_1.20.9.1-2+b1_arm64.deb ... Unpacking cpphs (1.20.9.1-2+b1) ... Selecting previously unselected package dctrl-tools. Preparing to unpack .../031-dctrl-tools_2.24-3_arm64.deb ... Unpacking dctrl-tools (2.24-3) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../032-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../033-libtool_2.4.7-5_all.deb ... Unpacking libtool (2.4.7-5) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../034-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../035-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../036-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../037-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../038-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:arm64. Preparing to unpack .../039-libelf1_0.188-2.1_arm64.deb ... Unpacking libelf1:arm64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../040-dwz_0.15-1_arm64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package gettext. Preparing to unpack .../041-gettext_0.21-12_arm64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../042-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../043-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../044-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package dh-buildinfo. Preparing to unpack .../045-dh-buildinfo_0.11+nmu2_all.deb ... Unpacking dh-buildinfo (0.11+nmu2) ... Selecting previously unselected package libapt-pkg-perl. Preparing to unpack .../046-libapt-pkg-perl_0.1.40+b2_arm64.deb ... Unpacking libapt-pkg-perl (0.1.40+b2) ... Selecting previously unselected package libarray-unique-perl. Preparing to unpack .../047-libarray-unique-perl_0.08-4_all.deb ... Unpacking libarray-unique-perl (0.08-4) ... Selecting previously unselected package libsub-name-perl:arm64. Preparing to unpack .../048-libsub-name-perl_0.26-2+b1_arm64.deb ... Unpacking libsub-name-perl:arm64 (0.26-2+b1) ... Selecting previously unselected package libclass-accessor-perl. Preparing to unpack .../049-libclass-accessor-perl_0.51-2_all.deb ... Unpacking libclass-accessor-perl (0.51-2) ... Selecting previously unselected package libexporter-tiny-perl. Preparing to unpack .../050-libexporter-tiny-perl_1.006000-1_all.deb ... Unpacking libexporter-tiny-perl (1.006000-1) ... Selecting previously unselected package liblist-moreutils-xs-perl. Preparing to unpack .../051-liblist-moreutils-xs-perl_0.430-3+b1_arm64.deb ... Unpacking liblist-moreutils-xs-perl (0.430-3+b1) ... Selecting previously unselected package liblist-moreutils-perl. Preparing to unpack .../052-liblist-moreutils-perl_0.430-2_all.deb ... Unpacking liblist-moreutils-perl (0.430-2) ... Selecting previously unselected package libio-stringy-perl. Preparing to unpack .../053-libio-stringy-perl_2.111-3_all.deb ... Unpacking libio-stringy-perl (2.111-3) ... Selecting previously unselected package libencode-locale-perl. Preparing to unpack .../054-libencode-locale-perl_1.05-3_all.deb ... Unpacking libencode-locale-perl (1.05-3) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../055-libtimedate-perl_2.3300-2_all.deb ... Unpacking libtimedate-perl (2.3300-2) ... Selecting previously unselected package libhttp-date-perl. Preparing to unpack .../056-libhttp-date-perl_6.05-2_all.deb ... Unpacking libhttp-date-perl (6.05-2) ... Selecting previously unselected package libfile-listing-perl. Preparing to unpack .../057-libfile-listing-perl_6.15-1_all.deb ... Unpacking libfile-listing-perl (6.15-1) ... Selecting previously unselected package libhtml-tagset-perl. Preparing to unpack .../058-libhtml-tagset-perl_3.20-6_all.deb ... Unpacking libhtml-tagset-perl (3.20-6) ... Selecting previously unselected package libregexp-ipv6-perl. Preparing to unpack .../059-libregexp-ipv6-perl_0.03-3_all.deb ... Unpacking libregexp-ipv6-perl (0.03-3) ... Selecting previously unselected package liburi-perl. Preparing to unpack .../060-liburi-perl_5.17-1_all.deb ... Unpacking liburi-perl (5.17-1) ... Selecting previously unselected package libhtml-parser-perl:arm64. Preparing to unpack .../061-libhtml-parser-perl_3.81-1_arm64.deb ... Unpacking libhtml-parser-perl:arm64 (3.81-1) ... Selecting previously unselected package libhtml-tree-perl. Preparing to unpack .../062-libhtml-tree-perl_5.07-3_all.deb ... Unpacking libhtml-tree-perl (5.07-3) ... Selecting previously unselected package libclone-perl:arm64. Preparing to unpack .../063-libclone-perl_0.46-1_arm64.deb ... Unpacking libclone-perl:arm64 (0.46-1) ... Selecting previously unselected package libio-html-perl. Preparing to unpack .../064-libio-html-perl_1.004-3_all.deb ... Unpacking libio-html-perl (1.004-3) ... Selecting previously unselected package liblwp-mediatypes-perl. Preparing to unpack .../065-liblwp-mediatypes-perl_6.04-2_all.deb ... Unpacking liblwp-mediatypes-perl (6.04-2) ... Selecting previously unselected package libhttp-message-perl. Preparing to unpack .../066-libhttp-message-perl_6.44-1_all.deb ... Unpacking libhttp-message-perl (6.44-1) ... Selecting previously unselected package libhttp-cookies-perl. Preparing to unpack .../067-libhttp-cookies-perl_6.10-1_all.deb ... Unpacking libhttp-cookies-perl (6.10-1) ... Selecting previously unselected package libhttp-negotiate-perl. Preparing to unpack .../068-libhttp-negotiate-perl_6.01-2_all.deb ... Unpacking libhttp-negotiate-perl (6.01-2) ... Selecting previously unselected package perl-openssl-defaults:arm64. Preparing to unpack .../069-perl-openssl-defaults_7+b1_arm64.deb ... Unpacking perl-openssl-defaults:arm64 (7+b1) ... Selecting previously unselected package libnet-ssleay-perl:arm64. Preparing to unpack .../070-libnet-ssleay-perl_1.92-2+b1_arm64.deb ... Unpacking libnet-ssleay-perl:arm64 (1.92-2+b1) ... Selecting previously unselected package libio-socket-ssl-perl. Preparing to unpack .../071-libio-socket-ssl-perl_2.081-2_all.deb ... Unpacking libio-socket-ssl-perl (2.081-2) ... Selecting previously unselected package libnet-http-perl. Preparing to unpack .../072-libnet-http-perl_6.22-1_all.deb ... Unpacking libnet-http-perl (6.22-1) ... Selecting previously unselected package liblwp-protocol-https-perl. Preparing to unpack .../073-liblwp-protocol-https-perl_6.10-1_all.deb ... Unpacking liblwp-protocol-https-perl (6.10-1) ... Selecting previously unselected package libtry-tiny-perl. Preparing to unpack .../074-libtry-tiny-perl_0.31-2_all.deb ... Unpacking libtry-tiny-perl (0.31-2) ... Selecting previously unselected package libwww-robotrules-perl. Preparing to unpack .../075-libwww-robotrules-perl_6.02-1_all.deb ... Unpacking libwww-robotrules-perl (6.02-1) ... Selecting previously unselected package libwww-perl. Preparing to unpack .../076-libwww-perl_6.68-1_all.deb ... Unpacking libwww-perl (6.68-1) ... Selecting previously unselected package liberror-perl. Preparing to unpack .../077-liberror-perl_0.17029-2_all.deb ... Unpacking liberror-perl (0.17029-2) ... Selecting previously unselected package libexporter-lite-perl. Preparing to unpack .../078-libexporter-lite-perl_0.09-2_all.deb ... Unpacking libexporter-lite-perl (0.09-2) ... Selecting previously unselected package libparse-debcontrol-perl. Preparing to unpack .../079-libparse-debcontrol-perl_2.005-6_all.deb ... Unpacking libparse-debcontrol-perl (2.005-6) ... Selecting previously unselected package libsub-install-perl. Preparing to unpack .../080-libsub-install-perl_0.929-1_all.deb ... Unpacking libsub-install-perl (0.929-1) ... Selecting previously unselected package libtie-ixhash-perl. Preparing to unpack .../081-libtie-ixhash-perl_1.23-4_all.deb ... Unpacking libtie-ixhash-perl (1.23-4) ... Selecting previously unselected package libcgi-pm-perl. Preparing to unpack .../082-libcgi-pm-perl_4.55-1_all.deb ... Unpacking libcgi-pm-perl (4.55-1) ... Selecting previously unselected package libhtml-form-perl. Preparing to unpack .../083-libhtml-form-perl_6.11-1_all.deb ... Unpacking libhtml-form-perl (6.11-1) ... Selecting previously unselected package libwww-mechanize-perl. Preparing to unpack .../084-libwww-mechanize-perl_2.16-1_all.deb ... Unpacking libwww-mechanize-perl (2.16-1) ... Selecting previously unselected package libdebian-source-perl. Preparing to unpack .../085-libdebian-source-perl_0.122_all.deb ... Unpacking libdebian-source-perl (0.122) ... Selecting previously unselected package emacs-el. Preparing to unpack .../086-emacs-el_1%3a28.2+1-15_all.deb ... Unpacking emacs-el (1:28.2+1-15) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../087-emacsen-common_3.0.5_all.deb ... Unpacking emacsen-common (3.0.5) ... Selecting previously unselected package emacs-common. Preparing to unpack .../088-emacs-common_1%3a28.2+1-15_all.deb ... Unpacking emacs-common (1:28.2+1-15) ... Selecting previously unselected package emacs-bin-common. Preparing to unpack .../089-emacs-bin-common_1%3a28.2+1-15_arm64.deb ... Unpacking emacs-bin-common (1:28.2+1-15) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../090-libasound2-data_1.2.8-1_all.deb ... Unpacking libasound2-data (1.2.8-1) ... Selecting previously unselected package libasound2:arm64. Preparing to unpack .../091-libasound2_1.2.8-1+b1_arm64.deb ... Unpacking libasound2:arm64 (1.2.8-1+b1) ... Selecting previously unselected package libdbus-1-3:arm64. Preparing to unpack .../092-libdbus-1-3_1.14.6-1_arm64.deb ... Unpacking libdbus-1-3:arm64 (1.14.6-1) ... Selecting previously unselected package libgccjit0:arm64. Preparing to unpack .../093-libgccjit0_12.2.0-14_arm64.deb ... Unpacking libgccjit0:arm64 (12.2.0-14) ... Selecting previously unselected package libgpm2:arm64. Preparing to unpack .../094-libgpm2_1.20.7-10+b1_arm64.deb ... Unpacking libgpm2:arm64 (1.20.7-10+b1) ... Selecting previously unselected package liblcms2-2:arm64. Preparing to unpack .../095-liblcms2-2_2.14-2_arm64.deb ... Unpacking liblcms2-2:arm64 (2.14-2) ... Selecting previously unselected package emacs-nox. Preparing to unpack .../096-emacs-nox_1%3a28.2+1-15_arm64.deb ... Unpacking emacs-nox (1:28.2+1-15) ... Selecting previously unselected package libarray-utils-perl. Preparing to unpack .../097-libarray-utils-perl_0.5-3_all.deb ... Unpacking libarray-utils-perl (0.5-3) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../098-libconfig-tiny-perl_2.28-2_all.deb ... Unpacking libconfig-tiny-perl (2.28-2) ... Selecting previously unselected package dh-elpa. Preparing to unpack .../099-dh-elpa_2.0.16_all.deb ... Unpacking dh-elpa (2.0.16) ... Selecting previously unselected package ghc-prof. Preparing to unpack .../100-ghc-prof_9.0.2-4_arm64.deb ... Unpacking ghc-prof (9.0.2-4) ... Selecting previously unselected package happy. Preparing to unpack .../101-happy_1.20.0-1_arm64.deb ... Unpacking happy (1.20.0-1) ... Selecting previously unselected package libbrotli1:arm64. Preparing to unpack .../102-libbrotli1_1.0.9-2+b6_arm64.deb ... Unpacking libbrotli1:arm64 (1.0.9-2+b6) ... Selecting previously unselected package libsasl2-modules-db:arm64. Preparing to unpack .../103-libsasl2-modules-db_2.1.28+dfsg-10_arm64.deb ... Unpacking libsasl2-modules-db:arm64 (2.1.28+dfsg-10) ... Selecting previously unselected package libsasl2-2:arm64. Preparing to unpack .../104-libsasl2-2_2.1.28+dfsg-10_arm64.deb ... Unpacking libsasl2-2:arm64 (2.1.28+dfsg-10) ... Selecting previously unselected package libldap-2.5-0:arm64. Preparing to unpack .../105-libldap-2.5-0_2.5.13+dfsg-5_arm64.deb ... Unpacking libldap-2.5-0:arm64 (2.5.13+dfsg-5) ... Selecting previously unselected package libnghttp2-14:arm64. Preparing to unpack .../106-libnghttp2-14_1.52.0-1_arm64.deb ... Unpacking libnghttp2-14:arm64 (1.52.0-1) ... Selecting previously unselected package libpsl5:arm64. Preparing to unpack .../107-libpsl5_0.21.2-1_arm64.deb ... Unpacking libpsl5:arm64 (0.21.2-1) ... Selecting previously unselected package librtmp1:arm64. Preparing to unpack .../108-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_arm64.deb ... Unpacking librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ... Selecting previously unselected package libssh2-1:arm64. Preparing to unpack .../109-libssh2-1_1.10.0-3+b1_arm64.deb ... Unpacking libssh2-1:arm64 (1.10.0-3+b1) ... Selecting previously unselected package libcurl3-gnutls:arm64. Preparing to unpack .../110-libcurl3-gnutls_7.88.1-10_arm64.deb ... Unpacking libcurl3-gnutls:arm64 (7.88.1-10) ... Selecting previously unselected package html-xml-utils. Preparing to unpack .../111-html-xml-utils_7.7-1.1_arm64.deb ... Unpacking html-xml-utils (7.7-1.1) ... Selecting previously unselected package libparams-util-perl. Preparing to unpack .../112-libparams-util-perl_1.102-2+b1_arm64.deb ... Unpacking libparams-util-perl (1.102-2+b1) ... Selecting previously unselected package libdata-optlist-perl. Preparing to unpack .../113-libdata-optlist-perl_0.113-1_all.deb ... Unpacking libdata-optlist-perl (0.113-1) ... Selecting previously unselected package libsub-exporter-perl. Preparing to unpack .../114-libsub-exporter-perl_0.989-1_all.deb ... Unpacking libsub-exporter-perl (0.989-1) ... Selecting previously unselected package libsub-exporter-progressive-perl. Preparing to unpack .../115-libsub-exporter-progressive-perl_0.001013-3_all.deb ... Unpacking libsub-exporter-progressive-perl (0.001013-3) ... Selecting previously unselected package libconst-fast-perl. Preparing to unpack .../116-libconst-fast-perl_0.014-2_all.deb ... Unpacking libconst-fast-perl (0.014-2) ... Selecting previously unselected package libdevel-confess-perl. Preparing to unpack .../117-libdevel-confess-perl_0.009004-3_all.deb ... Unpacking libdevel-confess-perl (0.009004-3) ... Selecting previously unselected package libipc-run3-perl. Preparing to unpack .../118-libipc-run3-perl_0.048-3_all.deb ... Unpacking libipc-run3-perl (0.048-3) ... Selecting previously unselected package libb-hooks-op-check-perl:arm64. Preparing to unpack .../119-libb-hooks-op-check-perl_0.22-2+b1_arm64.deb ... Unpacking libb-hooks-op-check-perl:arm64 (0.22-2+b1) ... Selecting previously unselected package libdynaloader-functions-perl. Preparing to unpack .../120-libdynaloader-functions-perl_0.003-3_all.deb ... Unpacking libdynaloader-functions-perl (0.003-3) ... Selecting previously unselected package libdevel-callchecker-perl:arm64. Preparing to unpack .../121-libdevel-callchecker-perl_0.008-2_arm64.deb ... Unpacking libdevel-callchecker-perl:arm64 (0.008-2) ... Selecting previously unselected package libparams-classify-perl:arm64. Preparing to unpack .../122-libparams-classify-perl_0.015-2+b1_arm64.deb ... Unpacking libparams-classify-perl:arm64 (0.015-2+b1) ... Selecting previously unselected package libmodule-runtime-perl. Preparing to unpack .../123-libmodule-runtime-perl_0.016-2_all.deb ... Unpacking libmodule-runtime-perl (0.016-2) ... Selecting previously unselected package libmodule-implementation-perl. Preparing to unpack .../124-libmodule-implementation-perl_0.09-2_all.deb ... Unpacking libmodule-implementation-perl (0.09-2) ... Selecting previously unselected package liblist-someutils-perl. Preparing to unpack .../125-liblist-someutils-perl_0.59-1_all.deb ... Unpacking liblist-someutils-perl (0.59-1) ... Selecting previously unselected package libpath-tiny-perl. Preparing to unpack .../126-libpath-tiny-perl_0.144-1_all.deb ... Unpacking libpath-tiny-perl (0.144-1) ... Selecting previously unselected package libunicode-utf8-perl. Preparing to unpack .../127-libunicode-utf8-perl_0.62-2_arm64.deb ... Unpacking libunicode-utf8-perl (0.62-2) ... Selecting previously unselected package haskell-devscripts-minimal. Preparing to unpack .../128-haskell-devscripts-minimal_0.16.29_all.deb ... Unpacking haskell-devscripts-minimal (0.16.29) ... Selecting previously unselected package hscolour. Preparing to unpack .../129-hscolour_1.24.4-4+b1_arm64.deb ... Unpacking hscolour (1.24.4-4+b1) ... Selecting previously unselected package haskell-devscripts. Preparing to unpack .../130-haskell-devscripts_0.16.29_all.deb ... Unpacking haskell-devscripts (0.16.29) ... Selecting previously unselected package libghc-hashable-dev. Preparing to unpack .../131-libghc-hashable-dev_1.3.5.0-2+b2_arm64.deb ... Unpacking libghc-hashable-dev (1.3.5.0-2+b2) ... Selecting previously unselected package libghc-integer-logarithms-dev. Preparing to unpack .../132-libghc-integer-logarithms-dev_1.0.3.1-2+b2_arm64.deb ... Unpacking libghc-integer-logarithms-dev (1.0.3.1-2+b2) ... Selecting previously unselected package libghc-primitive-dev. Preparing to unpack .../133-libghc-primitive-dev_0.7.3.0-1+b2_arm64.deb ... Unpacking libghc-primitive-dev (0.7.3.0-1+b2) ... Selecting previously unselected package libghc-scientific-dev. Preparing to unpack .../134-libghc-scientific-dev_0.3.7.0-1+b2_arm64.deb ... Unpacking libghc-scientific-dev (0.3.7.0-1+b2) ... Selecting previously unselected package libghc-attoparsec-dev. Preparing to unpack .../135-libghc-attoparsec-dev_0.14.4-2+b1_arm64.deb ... Unpacking libghc-attoparsec-dev (0.14.4-2+b1) ... Selecting previously unselected package libghc-base-compat-dev. Preparing to unpack .../136-libghc-base-compat-dev_0.11.2-1+b2_arm64.deb ... Unpacking libghc-base-compat-dev (0.11.2-1+b2) ... Selecting previously unselected package libghc-base-compat-batteries-dev. Preparing to unpack .../137-libghc-base-compat-batteries-dev_0.11.2-1+b2_arm64.deb ... Unpacking libghc-base-compat-batteries-dev (0.11.2-1+b2) ... Selecting previously unselected package libghc-data-fix-dev. Preparing to unpack .../138-libghc-data-fix-dev_0.3.2-1+b3_arm64.deb ... Unpacking libghc-data-fix-dev (0.3.2-1+b3) ... Selecting previously unselected package libghc-dlist-dev. Preparing to unpack .../139-libghc-dlist-dev_1.0-2+b3_arm64.deb ... Unpacking libghc-dlist-dev (1.0-2+b3) ... Selecting previously unselected package libghc-indexed-traversable-dev. Preparing to unpack .../140-libghc-indexed-traversable-dev_0.1.2-2+b1_arm64.deb ... Unpacking libghc-indexed-traversable-dev (0.1.2-2+b1) ... Selecting previously unselected package libghc-base-orphans-dev. Preparing to unpack .../141-libghc-base-orphans-dev_0.8.7-1_arm64.deb ... Unpacking libghc-base-orphans-dev (0.8.7-1) ... Selecting previously unselected package libghc-onetuple-dev. Preparing to unpack .../142-libghc-onetuple-dev_0.3.1-1+b3_arm64.deb ... Unpacking libghc-onetuple-dev (0.3.1-1+b3) ... Selecting previously unselected package libghc-splitmix-dev. Preparing to unpack .../143-libghc-splitmix-dev_0.1.0.4-1+b2_arm64.deb ... Unpacking libghc-splitmix-dev (0.1.0.4-1+b2) ... Selecting previously unselected package libghc-random-dev. Preparing to unpack .../144-libghc-random-dev_1.2.1.1-2+b2_arm64.deb ... Unpacking libghc-random-dev (1.2.1.1-2+b2) ... Selecting previously unselected package libghc-quickcheck2-dev. Preparing to unpack .../145-libghc-quickcheck2-dev_2.14.2-1+b2_arm64.deb ... Unpacking libghc-quickcheck2-dev (2.14.2-1+b2) ... Selecting previously unselected package libghc-tagged-dev. Preparing to unpack .../146-libghc-tagged-dev_0.8.6.1-1+b2_arm64.deb ... Unpacking libghc-tagged-dev (0.8.6.1-1+b2) ... Selecting previously unselected package libghc-unordered-containers-dev. Preparing to unpack .../147-libghc-unordered-containers-dev_0.2.17.0-2+b2_arm64.deb ... Unpacking libghc-unordered-containers-dev (0.2.17.0-2+b2) ... Selecting previously unselected package libghc-vector-dev. Preparing to unpack .../148-libghc-vector-dev_0.12.3.1-1+b2_arm64.deb ... Unpacking libghc-vector-dev (0.12.3.1-1+b2) ... Selecting previously unselected package libghc-indexed-traversable-instances-dev. Preparing to unpack .../149-libghc-indexed-traversable-instances-dev_0.1.1.1-1_arm64.deb ... Unpacking libghc-indexed-traversable-instances-dev (0.1.1.1-1) ... Selecting previously unselected package libghc-distributive-dev. Preparing to unpack .../150-libghc-distributive-dev_0.6.2.1-1+b4_arm64.deb ... Unpacking libghc-distributive-dev (0.6.2.1-1+b4) ... Selecting previously unselected package libghc-transformers-compat-dev. Preparing to unpack .../151-libghc-transformers-compat-dev_0.6.6-1+b2_arm64.deb ... Unpacking libghc-transformers-compat-dev (0.6.6-1+b2) ... Selecting previously unselected package libghc-comonad-dev. Preparing to unpack .../152-libghc-comonad-dev_5.0.8-1+b2_arm64.deb ... Unpacking libghc-comonad-dev (5.0.8-1+b2) ... Selecting previously unselected package libghc-th-abstraction-dev. Preparing to unpack .../153-libghc-th-abstraction-dev_0.4.5.0-1_arm64.deb ... Unpacking libghc-th-abstraction-dev (0.4.5.0-1) ... Selecting previously unselected package libghc-bifunctors-dev. Preparing to unpack .../154-libghc-bifunctors-dev_5.5.13-1_arm64.deb ... Unpacking libghc-bifunctors-dev (5.5.13-1) ... Selecting previously unselected package libghc-statevar-dev. Preparing to unpack .../155-libghc-statevar-dev_1.2.2-1+b2_arm64.deb ... Unpacking libghc-statevar-dev (1.2.2-1+b2) ... Selecting previously unselected package libghc-contravariant-dev. Preparing to unpack .../156-libghc-contravariant-dev_1.5.5-1+b2_arm64.deb ... Unpacking libghc-contravariant-dev (1.5.5-1+b2) ... Selecting previously unselected package libghc-semigroupoids-dev. Preparing to unpack .../157-libghc-semigroupoids-dev_5.3.7-1+b3_arm64.deb ... Unpacking libghc-semigroupoids-dev (5.3.7-1+b3) ... Selecting previously unselected package libghc-assoc-dev. Preparing to unpack .../158-libghc-assoc-dev_1.0.2-3+b3_arm64.deb ... Unpacking libghc-assoc-dev (1.0.2-3+b3) ... Selecting previously unselected package libghc-these-dev. Preparing to unpack .../159-libghc-these-dev_1.1.1.1-2+b3_arm64.deb ... Unpacking libghc-these-dev (1.1.1.1-2+b3) ... Selecting previously unselected package libghc-semialign-dev. Preparing to unpack .../160-libghc-semialign-dev_1.2.0.1-1+b4_arm64.deb ... Unpacking libghc-semialign-dev (1.2.0.1-1+b4) ... Selecting previously unselected package libghc-strict-dev. Preparing to unpack .../161-libghc-strict-dev_0.4.0.1-1+b3_arm64.deb ... Unpacking libghc-strict-dev (0.4.0.1-1+b3) ... Selecting previously unselected package libghc-text-short-dev. Preparing to unpack .../162-libghc-text-short-dev_0.1.5-1+b1_arm64.deb ... Unpacking libghc-text-short-dev (0.1.5-1+b1) ... Selecting previously unselected package libghc-time-compat-dev. Preparing to unpack .../163-libghc-time-compat-dev_1.9.6.1-1+b3_arm64.deb ... Unpacking libghc-time-compat-dev (1.9.6.1-1+b3) ... Selecting previously unselected package libghc-uuid-types-dev. Preparing to unpack .../164-libghc-uuid-types-dev_1.0.5-2+b1_arm64.deb ... Unpacking libghc-uuid-types-dev (1.0.5-2+b1) ... Selecting previously unselected package libghc-witherable-dev. Preparing to unpack .../165-libghc-witherable-dev_0.4.2-2+b3_arm64.deb ... Unpacking libghc-witherable-dev (0.4.2-2+b3) ... Selecting previously unselected package libghc-aeson-dev. Preparing to unpack .../166-libghc-aeson-dev_2.0.3.0-1+b4_arm64.deb ... Unpacking libghc-aeson-dev (2.0.3.0-1+b4) ... Selecting previously unselected package libghc-hashable-prof. Preparing to unpack .../167-libghc-hashable-prof_1.3.5.0-2+b2_arm64.deb ... Unpacking libghc-hashable-prof (1.3.5.0-2+b2) ... Selecting previously unselected package libghc-integer-logarithms-prof. Preparing to unpack .../168-libghc-integer-logarithms-prof_1.0.3.1-2+b2_arm64.deb ... Unpacking libghc-integer-logarithms-prof (1.0.3.1-2+b2) ... Selecting previously unselected package libghc-primitive-prof. Preparing to unpack .../169-libghc-primitive-prof_0.7.3.0-1+b2_arm64.deb ... Unpacking libghc-primitive-prof (0.7.3.0-1+b2) ... Selecting previously unselected package libghc-scientific-prof. Preparing to unpack .../170-libghc-scientific-prof_0.3.7.0-1+b2_arm64.deb ... Unpacking libghc-scientific-prof (0.3.7.0-1+b2) ... Selecting previously unselected package libghc-attoparsec-prof. Preparing to unpack .../171-libghc-attoparsec-prof_0.14.4-2+b1_arm64.deb ... Unpacking libghc-attoparsec-prof (0.14.4-2+b1) ... Selecting previously unselected package libghc-base-compat-prof. Preparing to unpack .../172-libghc-base-compat-prof_0.11.2-1+b2_arm64.deb ... Unpacking libghc-base-compat-prof (0.11.2-1+b2) ... Selecting previously unselected package libghc-base-compat-batteries-prof. Preparing to unpack .../173-libghc-base-compat-batteries-prof_0.11.2-1+b2_arm64.deb ... Unpacking libghc-base-compat-batteries-prof (0.11.2-1+b2) ... Selecting previously unselected package libghc-data-fix-prof. Preparing to unpack .../174-libghc-data-fix-prof_0.3.2-1+b3_arm64.deb ... Unpacking libghc-data-fix-prof (0.3.2-1+b3) ... Selecting previously unselected package libghc-dlist-prof. Preparing to unpack .../175-libghc-dlist-prof_1.0-2+b3_arm64.deb ... Unpacking libghc-dlist-prof (1.0-2+b3) ... Selecting previously unselected package libghc-indexed-traversable-prof. Preparing to unpack .../176-libghc-indexed-traversable-prof_0.1.2-2+b1_arm64.deb ... Unpacking libghc-indexed-traversable-prof (0.1.2-2+b1) ... Selecting previously unselected package libghc-base-orphans-prof. Preparing to unpack .../177-libghc-base-orphans-prof_0.8.7-1_arm64.deb ... Unpacking libghc-base-orphans-prof (0.8.7-1) ... Selecting previously unselected package libghc-onetuple-prof. Preparing to unpack .../178-libghc-onetuple-prof_0.3.1-1+b3_arm64.deb ... Unpacking libghc-onetuple-prof (0.3.1-1+b3) ... Selecting previously unselected package libghc-splitmix-prof. Preparing to unpack .../179-libghc-splitmix-prof_0.1.0.4-1+b2_arm64.deb ... Unpacking libghc-splitmix-prof (0.1.0.4-1+b2) ... Selecting previously unselected package libghc-random-prof. Preparing to unpack .../180-libghc-random-prof_1.2.1.1-2+b2_arm64.deb ... Unpacking libghc-random-prof (1.2.1.1-2+b2) ... Selecting previously unselected package libghc-quickcheck2-prof. Preparing to unpack .../181-libghc-quickcheck2-prof_2.14.2-1+b2_arm64.deb ... Unpacking libghc-quickcheck2-prof (2.14.2-1+b2) ... Selecting previously unselected package libghc-tagged-prof. Preparing to unpack .../182-libghc-tagged-prof_0.8.6.1-1+b2_arm64.deb ... Unpacking libghc-tagged-prof (0.8.6.1-1+b2) ... Selecting previously unselected package libghc-unordered-containers-prof. Preparing to unpack .../183-libghc-unordered-containers-prof_0.2.17.0-2+b2_arm64.deb ... Unpacking libghc-unordered-containers-prof (0.2.17.0-2+b2) ... Selecting previously unselected package libghc-vector-prof. Preparing to unpack .../184-libghc-vector-prof_0.12.3.1-1+b2_arm64.deb ... Unpacking libghc-vector-prof (0.12.3.1-1+b2) ... Selecting previously unselected package libghc-indexed-traversable-instances-prof. Preparing to unpack .../185-libghc-indexed-traversable-instances-prof_0.1.1.1-1_arm64.deb ... Unpacking libghc-indexed-traversable-instances-prof (0.1.1.1-1) ... Selecting previously unselected package libghc-distributive-prof. Preparing to unpack .../186-libghc-distributive-prof_0.6.2.1-1+b4_arm64.deb ... Unpacking libghc-distributive-prof (0.6.2.1-1+b4) ... Selecting previously unselected package libghc-transformers-compat-prof. Preparing to unpack .../187-libghc-transformers-compat-prof_0.6.6-1+b2_arm64.deb ... Unpacking libghc-transformers-compat-prof (0.6.6-1+b2) ... Selecting previously unselected package libghc-comonad-prof. Preparing to unpack .../188-libghc-comonad-prof_5.0.8-1+b2_arm64.deb ... Unpacking libghc-comonad-prof (5.0.8-1+b2) ... Selecting previously unselected package libghc-th-abstraction-prof. Preparing to unpack .../189-libghc-th-abstraction-prof_0.4.5.0-1_arm64.deb ... Unpacking libghc-th-abstraction-prof (0.4.5.0-1) ... Selecting previously unselected package libghc-bifunctors-prof. Preparing to unpack .../190-libghc-bifunctors-prof_5.5.13-1_arm64.deb ... Unpacking libghc-bifunctors-prof (5.5.13-1) ... Selecting previously unselected package libghc-statevar-prof. Preparing to unpack .../191-libghc-statevar-prof_1.2.2-1+b2_arm64.deb ... Unpacking libghc-statevar-prof (1.2.2-1+b2) ... Selecting previously unselected package libghc-contravariant-prof. Preparing to unpack .../192-libghc-contravariant-prof_1.5.5-1+b2_arm64.deb ... Unpacking libghc-contravariant-prof (1.5.5-1+b2) ... Selecting previously unselected package libghc-semigroupoids-prof. Preparing to unpack .../193-libghc-semigroupoids-prof_5.3.7-1+b3_arm64.deb ... Unpacking libghc-semigroupoids-prof (5.3.7-1+b3) ... Selecting previously unselected package libghc-assoc-prof. Preparing to unpack .../194-libghc-assoc-prof_1.0.2-3+b3_arm64.deb ... Unpacking libghc-assoc-prof (1.0.2-3+b3) ... Selecting previously unselected package libghc-these-prof. Preparing to unpack .../195-libghc-these-prof_1.1.1.1-2+b3_arm64.deb ... Unpacking libghc-these-prof (1.1.1.1-2+b3) ... Selecting previously unselected package libghc-semialign-prof. Preparing to unpack .../196-libghc-semialign-prof_1.2.0.1-1+b4_arm64.deb ... Unpacking libghc-semialign-prof (1.2.0.1-1+b4) ... Selecting previously unselected package libghc-strict-prof. Preparing to unpack .../197-libghc-strict-prof_0.4.0.1-1+b3_arm64.deb ... Unpacking libghc-strict-prof (0.4.0.1-1+b3) ... Selecting previously unselected package libghc-text-short-prof. Preparing to unpack .../198-libghc-text-short-prof_0.1.5-1+b1_arm64.deb ... Unpacking libghc-text-short-prof (0.1.5-1+b1) ... Selecting previously unselected package libghc-time-compat-prof. Preparing to unpack .../199-libghc-time-compat-prof_1.9.6.1-1+b3_arm64.deb ... Unpacking libghc-time-compat-prof (1.9.6.1-1+b3) ... Selecting previously unselected package libghc-uuid-types-prof. Preparing to unpack .../200-libghc-uuid-types-prof_1.0.5-2+b1_arm64.deb ... Unpacking libghc-uuid-types-prof (1.0.5-2+b1) ... Selecting previously unselected package libghc-witherable-prof. Preparing to unpack .../201-libghc-witherable-prof_0.4.2-2+b3_arm64.deb ... Unpacking libghc-witherable-prof (0.4.2-2+b3) ... Selecting previously unselected package libghc-aeson-prof. Preparing to unpack .../202-libghc-aeson-prof_2.0.3.0-1+b4_arm64.deb ... Unpacking libghc-aeson-prof (2.0.3.0-1+b4) ... Selecting previously unselected package libghc-async-dev. Preparing to unpack .../203-libghc-async-dev_2.2.4-1+b2_arm64.deb ... Unpacking libghc-async-dev (2.2.4-1+b2) ... Selecting previously unselected package libghc-blaze-builder-dev. Preparing to unpack .../204-libghc-blaze-builder-dev_0.4.2.2-1+b2_arm64.deb ... Unpacking libghc-blaze-builder-dev (0.4.2.2-1+b2) ... Selecting previously unselected package libghc-blaze-markup-dev. Preparing to unpack .../205-libghc-blaze-markup-dev_0.8.2.8-1+b2_arm64.deb ... Unpacking libghc-blaze-markup-dev (0.8.2.8-1+b2) ... Selecting previously unselected package libghc-blaze-html-dev. Preparing to unpack .../206-libghc-blaze-html-dev_0.9.1.2-2+b1_arm64.deb ... Unpacking libghc-blaze-html-dev (0.9.1.2-2+b1) ... Selecting previously unselected package libghc-split-dev. Preparing to unpack .../207-libghc-split-dev_0.2.3.5-1_arm64.deb ... Unpacking libghc-split-dev (0.2.3.5-1) ... Selecting previously unselected package libghc-boxes-dev. Preparing to unpack .../208-libghc-boxes-dev_0.1.5-4+b2_arm64.deb ... Unpacking libghc-boxes-dev (0.1.5-4+b2) ... Selecting previously unselected package libghc-split-prof. Preparing to unpack .../209-libghc-split-prof_0.2.3.5-1_arm64.deb ... Unpacking libghc-split-prof (0.2.3.5-1) ... Selecting previously unselected package libghc-boxes-prof. Preparing to unpack .../210-libghc-boxes-prof_0.1.5-4+b2_arm64.deb ... Unpacking libghc-boxes-prof (0.1.5-4+b2) ... Selecting previously unselected package libghc-case-insensitive-dev. Preparing to unpack .../211-libghc-case-insensitive-dev_1.2.1.0-3+b2_arm64.deb ... Unpacking libghc-case-insensitive-dev (1.2.1.0-3+b2) ... Selecting previously unselected package libghc-case-insensitive-prof. Preparing to unpack .../212-libghc-case-insensitive-prof_1.2.1.0-3+b2_arm64.deb ... Unpacking libghc-case-insensitive-prof (1.2.1.0-3+b2) ... Selecting previously unselected package libghc-data-hash-dev. Preparing to unpack .../213-libghc-data-hash-dev_0.2.0.1-8+b2_arm64.deb ... Unpacking libghc-data-hash-dev (0.2.0.1-8+b2) ... Selecting previously unselected package libghc-edit-distance-dev. Preparing to unpack .../214-libghc-edit-distance-dev_0.2.2.1-12+b3_arm64.deb ... Unpacking libghc-edit-distance-dev (0.2.2.1-12+b3) ... Selecting previously unselected package libghc-stmonadtrans-dev. Preparing to unpack .../215-libghc-stmonadtrans-dev_0.4.6-1+b1_arm64.deb ... Unpacking libghc-stmonadtrans-dev (0.4.6-1+b1) ... Selecting previously unselected package libghc-equivalence-dev. Preparing to unpack .../216-libghc-equivalence-dev_0.4.1-1_arm64.deb ... Unpacking libghc-equivalence-dev (0.4.1-1) ... Selecting previously unselected package libghc-stmonadtrans-prof. Preparing to unpack .../217-libghc-stmonadtrans-prof_0.4.6-1+b1_arm64.deb ... Unpacking libghc-stmonadtrans-prof (0.4.6-1+b1) ... Selecting previously unselected package libghc-equivalence-prof. Preparing to unpack .../218-libghc-equivalence-prof_0.4.1-1_arm64.deb ... Unpacking libghc-equivalence-prof (0.4.1-1) ... Selecting previously unselected package libghc-gitrev-dev. Preparing to unpack .../219-libghc-gitrev-dev_1.3.1-5+b1_arm64.deb ... Unpacking libghc-gitrev-dev (1.3.1-5+b1) ... Selecting previously unselected package libghc-gitrev-prof. Preparing to unpack .../220-libghc-gitrev-prof_1.3.1-5+b1_arm64.deb ... Unpacking libghc-gitrev-prof (1.3.1-5+b1) ... Selecting previously unselected package libghc-hashtables-dev. Preparing to unpack .../221-libghc-hashtables-dev_1.2.4.2-1+b2_arm64.deb ... Unpacking libghc-hashtables-dev (1.2.4.2-1+b2) ... Selecting previously unselected package libghc-hashtables-prof. Preparing to unpack .../222-libghc-hashtables-prof_1.2.4.2-1+b2_arm64.deb ... Unpacking libghc-hashtables-prof (1.2.4.2-1+b2) ... Selecting previously unselected package libghc-transformers-base-dev. Preparing to unpack .../223-libghc-transformers-base-dev_0.4.6-1+b3_arm64.deb ... Unpacking libghc-transformers-base-dev (0.4.6-1+b3) ... Selecting previously unselected package libghc-monad-control-dev. Preparing to unpack .../224-libghc-monad-control-dev_1.0.3.1-1+b2_arm64.deb ... Unpacking libghc-monad-control-dev (1.0.3.1-1+b2) ... Selecting previously unselected package libghc-transformers-base-prof. Preparing to unpack .../225-libghc-transformers-base-prof_0.4.6-1+b3_arm64.deb ... Unpacking libghc-transformers-base-prof (0.4.6-1+b3) ... Selecting previously unselected package libghc-monad-control-prof. Preparing to unpack .../226-libghc-monad-control-prof_1.0.3.1-1+b2_arm64.deb ... Unpacking libghc-monad-control-prof (1.0.3.1-1+b2) ... Selecting previously unselected package libghc-th-compat-dev. Preparing to unpack .../227-libghc-th-compat-dev_0.1.4-1_arm64.deb ... Unpacking libghc-th-compat-dev (0.1.4-1) ... Selecting previously unselected package libghc-network-uri-dev. Preparing to unpack .../228-libghc-network-uri-dev_2.6.4.1-1+b2_arm64.deb ... Unpacking libghc-network-uri-dev (2.6.4.1-1+b2) ... Selecting previously unselected package libghc-th-compat-prof. Preparing to unpack .../229-libghc-th-compat-prof_0.1.4-1_arm64.deb ... Unpacking libghc-th-compat-prof (0.1.4-1) ... Selecting previously unselected package libghc-network-uri-prof. Preparing to unpack .../230-libghc-network-uri-prof_2.6.4.1-1+b2_arm64.deb ... Unpacking libghc-network-uri-prof (2.6.4.1-1+b2) ... Selecting previously unselected package libghc-parallel-dev. Preparing to unpack .../231-libghc-parallel-dev_3.2.2.0-4+b2_arm64.deb ... Unpacking libghc-parallel-dev (3.2.2.0-4+b2) ... Selecting previously unselected package libghc-parallel-prof. Preparing to unpack .../232-libghc-parallel-prof_3.2.2.0-4+b2_arm64.deb ... Unpacking libghc-parallel-prof (3.2.2.0-4+b2) ... Selecting previously unselected package libghc-regex-base-dev. Preparing to unpack .../233-libghc-regex-base-dev_0.94.0.2-1+b2_arm64.deb ... Unpacking libghc-regex-base-dev (0.94.0.2-1+b2) ... Selecting previously unselected package libghc-regex-base-prof. Preparing to unpack .../234-libghc-regex-base-prof_0.94.0.2-1+b2_arm64.deb ... Unpacking libghc-regex-base-prof (0.94.0.2-1+b2) ... Selecting previously unselected package libghc-regex-tdfa-dev. Preparing to unpack .../235-libghc-regex-tdfa-dev_1.3.2-1_arm64.deb ... Unpacking libghc-regex-tdfa-dev (1.3.2-1) ... Selecting previously unselected package libghc-regex-tdfa-prof. Preparing to unpack .../236-libghc-regex-tdfa-prof_1.3.2-1_arm64.deb ... Unpacking libghc-regex-tdfa-prof (1.3.2-1) ... Selecting previously unselected package libghc-utf8-string-dev. Preparing to unpack .../237-libghc-utf8-string-dev_1.0.2-1+b1_arm64.deb ... Unpacking libghc-utf8-string-dev (1.0.2-1+b1) ... Selecting previously unselected package libghc-uri-encode-dev. Preparing to unpack .../238-libghc-uri-encode-dev_1.5.0.7-1+b2_arm64.deb ... Unpacking libghc-uri-encode-dev (1.5.0.7-1+b2) ... Selecting previously unselected package libghc-utf8-string-prof. Preparing to unpack .../239-libghc-utf8-string-prof_1.0.2-1+b1_arm64.deb ... Unpacking libghc-utf8-string-prof (1.0.2-1+b1) ... Selecting previously unselected package libghc-uri-encode-prof. Preparing to unpack .../240-libghc-uri-encode-prof_1.5.0.7-1+b2_arm64.deb ... Unpacking libghc-uri-encode-prof (1.5.0.7-1+b2) ... Selecting previously unselected package zlib1g-dev:arm64. Preparing to unpack .../241-zlib1g-dev_1%3a1.2.13.dfsg-1_arm64.deb ... Unpacking zlib1g-dev:arm64 (1:1.2.13.dfsg-1) ... Selecting previously unselected package libghc-zlib-dev. Preparing to unpack .../242-libghc-zlib-dev_0.6.3.0-1+b2_arm64.deb ... Unpacking libghc-zlib-dev (0.6.3.0-1+b2) ... Selecting previously unselected package libghc-murmur-hash-dev. Preparing to unpack .../243-libghc-murmur-hash-dev_0.1.0.10-1+b1_arm64.deb ... Unpacking libghc-murmur-hash-dev (0.1.0.10-1+b1) ... Selecting previously unselected package libghc-murmur-hash-prof. Preparing to unpack .../244-libghc-murmur-hash-prof_0.1.0.10-1+b1_arm64.deb ... Unpacking libghc-murmur-hash-prof (0.1.0.10-1+b1) ... Setting up libapt-pkg-perl (0.1.40+b2) ... Setting up libarray-utils-perl (0.5-3) ... Setting up media-types (10.0.0) ... Setting up libpipeline1:arm64 (1.5.7-1) ... Setting up liblcms2-2:arm64 (2.14-2) ... Setting up libpsl5:arm64 (0.21.2-1) ... Setting up libtie-ixhash-perl (1.23-4) ... Setting up hscolour (1.24.4-4+b1) ... Setting up libunicode-utf8-perl (0.62-2) ... Setting up libgpm2:arm64 (1.20.7-10+b1) ... Setting up libicu72:arm64 (72.1-3) ... Setting up bsdextrautils (2.38.1-5pureos1) ... Setting up libdynaloader-functions-perl (0.003-3) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up libclone-perl:arm64 (0.46-1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libio-stringy-perl (2.111-3) ... Setting up libhtml-tagset-perl (3.20-6) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libbrotli1:arm64 (1.0.9-2+b6) ... Setting up libsqlite3-0:arm64 (3.40.1-2) ... Setting up liblwp-mediatypes-perl (6.04-2) ... Setting up libtry-tiny-perl (0.31-2) ... Setting up libnghttp2-14:arm64 (1.52.0-1) ... Setting up libmagic1:arm64 (1:5.44-3) ... Setting up perl-openssl-defaults:arm64 (7+b1) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up libencode-locale-perl (1.05-3) ... Setting up file (1:5.44-3) ... Setting up libconfig-tiny-perl (2.28-2) ... Setting up libffi-dev:arm64 (3.4.4-1) ... Setting up libsub-install-perl (0.929-1) ... Setting up libsasl2-modules-db:arm64 (2.1.28+dfsg-10) ... Setting up liberror-perl (0.17029-2) ... Setting up libasound2-data (1.2.8-1) ... Setting up autotools-dev (20220109.1) ... Setting up libz3-4:arm64 (4.8.12-3.1) ... Setting up libgmpxx4ldbl:arm64 (2:6.2.1+dfsg1-1.1) ... Setting up libpfm4:arm64 (4.13.0-1) ... Setting up emacsen-common (3.0.5) ... Setting up librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ... Setting up libncurses6:arm64 (6.4-4) ... Setting up libdbus-1-3:arm64 (1.14.6-1) ... Setting up libarray-unique-perl (0.08-4) ... Setting up libio-html-perl (1.004-3) ... Setting up autopoint (0.21-12) ... Setting up libb-hooks-op-check-perl:arm64 (0.22-2+b1) ... Setting up liblist-moreutils-xs-perl (0.430-3+b1) ... Setting up libncursesw6:arm64 (6.4-4) ... Setting up libparams-util-perl (1.102-2+b1) ... Setting up libsasl2-2:arm64 (2.1.28+dfsg-10) ... Setting up autoconf (2.71-3) ... Setting up libsub-exporter-progressive-perl (0.001013-3) ... Setting up libtimedate-perl (2.3300-2) ... Setting up libregexp-ipv6-perl (0.03-3) ... Setting up libexporter-lite-perl (0.09-2) ... Setting up libsub-name-perl:arm64 (0.26-2+b1) ... Setting up zlib1g-dev:arm64 (1:1.2.13.dfsg-1) ... Setting up libdevel-confess-perl (0.009004-3) ... Setting up libmd0:arm64 (1.0.4-2) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libpath-tiny-perl (0.144-1) ... Setting up libuchardet0:arm64 (0.0.7-1) ... Setting up libasound2:arm64 (1.2.8-1+b1) ... Setting up libmd-dev:arm64 (1.0.4-2) ... Setting up libipc-run3-perl (0.048-3) ... Setting up libsub-override-perl (0.09-4) ... Setting up libssh2-1:arm64 (1.10.0-3+b1) ... Setting up netbase (6.4) ... Setting up sgml-base (1.31) ... Setting up libexporter-tiny-perl (1.006000-1) ... Setting up libclass-accessor-perl (0.51-2) ... Setting up libgccjit0:arm64 (12.2.0-14) ... Setting up libbsd0:arm64 (0.11.7-2) ... Setting up libelf1:arm64 (0.188-2.1) ... Setting up readline-common (8.2-1.3) ... Setting up libxml2:arm64 (2.9.14+dfsg-1.2) ... Setting up libbsd-dev:arm64 (0.11.7-2) ... Setting up liburi-perl (5.17-1) ... Setting up cpphs (1.20.9.1-2+b1) ... Setting up dctrl-tools (2.24-3) ... Setting up libnet-ssleay-perl:arm64 (1.92-2+b1) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libhttp-date-perl (6.05-2) ... Setting up libncurses-dev:arm64 (6.4-4) ... Setting up gettext (0.21-12) ... Setting up libgmp-dev:arm64 (2:6.2.1+dfsg1-1.1) ... Setting up libfile-listing-perl (6.15-1) ... Setting up libtool (2.4.7-5) ... Setting up happy (1.20.0-1) ... Setting up liblist-moreutils-perl (0.430-2) ... Setting up libedit2:arm64 (3.1-20221030-2) ... Setting up libreadline8:arm64 (8.2-1.3) ... Setting up libnet-http-perl (6.22-1) ... Setting up libdevel-callchecker-perl:arm64 (0.008-2) ... Setting up libldap-2.5-0:arm64 (2.5.13+dfsg-5) ... Setting up alex (3.2.7.1-3) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libdata-optlist-perl (0.113-1) ... Setting up libllvm13:arm64 (1:13.0.1-11+b2) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up libwww-robotrules-perl (6.02-1) ... Setting up dwz (0.15-1) ... Setting up groff-base (1.22.4-10) ... Setting up llvm-13-runtime (1:13.0.1-11+b2) ... Setting up libhtml-parser-perl:arm64 (3.81-1) ... Setting up libio-socket-ssl-perl (2.081-2) ... Setting up libsub-exporter-perl (0.989-1) ... Setting up libhttp-message-perl (6.44-1) ... Setting up libhtml-form-perl (6.11-1) ... Setting up libhttp-negotiate-perl (6.01-2) ... Setting up libhttp-cookies-perl (6.10-1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libhtml-tree-perl (5.07-3) ... Setting up libpython3.11-stdlib:arm64 (3.11.2-6) ... Setting up libparams-classify-perl:arm64 (0.015-2+b1) ... Setting up libcgi-pm-perl (4.55-1) ... Setting up libcurl3-gnutls:arm64 (7.88.1-10) ... Setting up man-db (2.11.2-2) ... Building database of manual pages ... Setting up llvm-13-linker-tools (1:13.0.1-11+b2) ... Setting up libmodule-runtime-perl (0.016-2) ... Setting up libconst-fast-perl (0.014-2) ... Setting up libpython3-stdlib:arm64 (3.11.2-1+b1) ... Setting up python3.11 (3.11.2-6) ... Setting up html-xml-utils (7.7-1.1) ... Setting up libmodule-implementation-perl (0.09-2) ... Setting up llvm-13 (1:13.0.1-11+b2) ... Setting up ghc (9.0.2-4) ... update-alternatives: using /usr/bin/runghc to provide /usr/bin/runhaskell (runhaskell) in auto mode update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode Setting up liblist-someutils-perl (0.59-1) ... Setting up debhelper (13.11.4) ... Setting up python3 (3.11.2-1+b1) ... Setting up libghc-indexed-traversable-dev (0.1.2-2+b1) ... Setting up python3-six (1.16.0-4) ... Setting up libghc-split-dev (0.2.3.5-1) ... Setting up libghc-th-compat-dev (0.1.4-1) ... Setting up libghc-base-compat-dev (0.11.2-1+b2) ... Setting up libghc-splitmix-dev (0.1.0.4-1+b2) ... Setting up libghc-stmonadtrans-dev (0.4.6-1+b1) ... Setting up libghc-statevar-dev (1.2.2-1+b2) ... Setting up libghc-th-abstraction-dev (0.4.5.0-1) ... Setting up libghc-base-orphans-dev (0.8.7-1) ... Setting up dh-buildinfo (0.11+nmu2) ... Setting up libghc-integer-logarithms-dev (1.0.3.1-2+b2) ... Setting up libghc-transformers-compat-dev (0.6.6-1+b2) ... Setting up libghc-regex-base-dev (0.94.0.2-1+b2) ... Setting up libghc-zlib-dev (0.6.3.0-1+b2) ... Setting up libghc-dlist-dev (1.0-2+b3) ... Setting up libghc-murmur-hash-dev (0.1.0.10-1+b1) ... Setting up libghc-base-compat-batteries-dev (0.11.2-1+b2) ... Setting up libghc-utf8-string-dev (1.0.2-1+b1) ... Setting up libghc-tagged-dev (0.8.6.1-1+b2) ... Setting up libghc-boxes-dev (0.1.5-4+b2) ... Setting up libghc-onetuple-dev (0.3.1-1+b3) ... Setting up libghc-data-hash-dev (0.2.0.1-8+b2) ... Setting up python3-pkg-resources (66.1.1-1) ... Setting up libghc-distributive-dev (0.6.2.1-1+b4) ... Setting up libghc-hashable-dev (1.3.5.0-2+b2) ... Setting up libghc-transformers-base-dev (0.4.6-1+b3) ... Setting up libghc-blaze-builder-dev (0.4.2.2-1+b2) ... Setting up libghc-primitive-dev (0.7.3.0-1+b2) ... Setting up ghc-prof (9.0.2-4) ... Setting up libghc-parallel-dev (3.2.2.0-4+b2) ... Setting up libghc-regex-tdfa-dev (1.3.2-1) ... Setting up libghc-dlist-prof (1.0-2+b3) ... Setting up libghc-random-dev (1.2.1.1-2+b2) ... Setting up libghc-uuid-types-dev (1.0.5-2+b1) ... Setting up libghc-primitive-prof (0.7.3.0-1+b2) ... Setting up libghc-text-short-dev (0.1.5-1+b1) ... Setting up libghc-network-uri-dev (2.6.4.1-1+b2) ... Setting up libghc-statevar-prof (1.2.2-1+b2) ... Setting up libghc-base-orphans-prof (0.8.7-1) ... Setting up libghc-murmur-hash-prof (0.1.0.10-1+b1) ... Setting up libghc-comonad-dev (5.0.8-1+b2) ... Setting up libghc-gitrev-dev (1.3.1-5+b1) ... Setting up libghc-splitmix-prof (0.1.0.4-1+b2) ... Setting up libghc-scientific-dev (0.3.7.0-1+b2) ... Setting up libghc-hashable-prof (1.3.5.0-2+b2) ... Setting up libghc-equivalence-dev (0.4.1-1) ... Setting up libghc-time-compat-dev (1.9.6.1-1+b3) ... Setting up libghc-contravariant-dev (1.5.5-1+b2) ... Setting up libghc-quickcheck2-dev (2.14.2-1+b2) ... Setting up libghc-case-insensitive-dev (1.2.1.0-3+b2) ... Setting up libghc-utf8-string-prof (1.0.2-1+b1) ... Setting up libghc-th-abstraction-prof (0.4.5.0-1) ... Setting up libghc-unordered-containers-dev (0.2.17.0-2+b2) ... Setting up libghc-bifunctors-dev (5.5.13-1) ... Setting up libghc-integer-logarithms-prof (1.0.3.1-2+b2) ... Setting up libghc-th-compat-prof (0.1.4-1) ... Setting up libghc-text-short-prof (0.1.5-1+b1) ... Setting up libghc-scientific-prof (0.3.7.0-1+b2) ... Setting up libghc-blaze-markup-dev (0.8.2.8-1+b2) ... Setting up libghc-regex-base-prof (0.94.0.2-1+b2) ... Setting up libghc-transformers-compat-prof (0.6.6-1+b2) ... Setting up libghc-case-insensitive-prof (1.2.1.0-3+b2) ... Setting up libghc-data-fix-dev (0.3.2-1+b3) ... Setting up libghc-tagged-prof (0.8.6.1-1+b2) ... Setting up libghc-attoparsec-dev (0.14.4-2+b1) ... Setting up libghc-async-dev (2.2.4-1+b2) ... Setting up libghc-blaze-html-dev (0.9.1.2-2+b1) ... Setting up libghc-split-prof (0.2.3.5-1) ... Setting up python3-scour (0.38.2-2) ... Setting up libghc-parallel-prof (3.2.2.0-4+b2) ... Setting up libghc-indexed-traversable-prof (0.1.2-2+b1) ... Setting up libghc-assoc-dev (1.0.2-3+b3) ... Setting up libghc-stmonadtrans-prof (0.4.6-1+b1) ... Setting up libghc-time-compat-prof (1.9.6.1-1+b3) ... Setting up libghc-transformers-base-prof (0.4.6-1+b3) ... Setting up libghc-vector-dev (0.12.3.1-1+b2) ... Setting up libghc-monad-control-dev (1.0.3.1-1+b2) ... Setting up libghc-base-compat-prof (0.11.2-1+b2) ... Setting up libghc-uri-encode-dev (1.5.0.7-1+b2) ... Setting up libghc-unordered-containers-prof (0.2.17.0-2+b2) ... Setting up libghc-edit-distance-dev (0.2.2.1-12+b3) ... Setting up libghc-onetuple-prof (0.3.1-1+b3) ... Setting up libghc-monad-control-prof (1.0.3.1-1+b2) ... Setting up libghc-regex-tdfa-prof (1.3.2-1) ... Setting up libghc-boxes-prof (0.1.5-4+b2) ... Setting up libghc-gitrev-prof (1.3.1-5+b1) ... Setting up libghc-network-uri-prof (2.6.4.1-1+b2) ... Setting up libghc-random-prof (1.2.1.1-2+b2) ... Setting up libghc-contravariant-prof (1.5.5-1+b2) ... Setting up libghc-semigroupoids-dev (5.3.7-1+b3) ... Setting up libghc-uuid-types-prof (1.0.5-2+b1) ... Setting up libghc-distributive-prof (0.6.2.1-1+b4) ... Setting up libghc-attoparsec-prof (0.14.4-2+b1) ... Setting up libghc-equivalence-prof (0.4.1-1) ... Setting up libghc-vector-prof (0.12.3.1-1+b2) ... Setting up libghc-data-fix-prof (0.3.2-1+b3) ... Setting up libghc-these-dev (1.1.1.1-2+b3) ... Setting up scour (0.38.2-2) ... Setting up libghc-uri-encode-prof (1.5.0.7-1+b2) ... Setting up libghc-hashtables-dev (1.2.4.2-1+b2) ... Setting up libghc-base-compat-batteries-prof (0.11.2-1+b2) ... Setting up libghc-indexed-traversable-instances-dev (0.1.1.1-1) ... Setting up cdbs (0.4.166) ... Setting up haskell-devscripts-minimal (0.16.29) ... Setting up libghc-quickcheck2-prof (2.14.2-1+b2) ... Setting up libghc-indexed-traversable-instances-prof (0.1.1.1-1) ... Setting up libghc-comonad-prof (5.0.8-1+b2) ... Setting up libghc-semialign-dev (1.2.0.1-1+b4) ... Setting up haskell-devscripts (0.16.29) ... Setting up libghc-strict-dev (0.4.0.1-1+b3) ... Setting up libghc-hashtables-prof (1.2.4.2-1+b2) ... Setting up libghc-bifunctors-prof (5.5.13-1) ... Setting up libghc-witherable-dev (0.4.2-2+b3) ... Setting up libghc-assoc-prof (1.0.2-3+b3) ... Setting up libghc-semigroupoids-prof (5.3.7-1+b3) ... Setting up libghc-these-prof (1.1.1.1-2+b3) ... Setting up libghc-aeson-dev (2.0.3.0-1+b4) ... Setting up libghc-semialign-prof (1.2.0.1-1+b4) ... Setting up libghc-strict-prof (0.4.0.1-1+b3) ... Setting up libghc-witherable-prof (0.4.2-2+b3) ... Setting up libghc-aeson-prof (2.0.3.0-1+b4) ... Setting up libwww-perl (6.68-1) ... Setting up libparse-debcontrol-perl (2.005-6) ... Setting up libwww-mechanize-perl (2.16-1) ... Setting up emacs-el (1:28.2+1-15) ... Setting up libdebian-source-perl (0.122) ... Setting up emacs-common (1:28.2+1-15) ... Setting up liblwp-protocol-https-perl (6.10-1) ... Setting up emacs-bin-common (1:28.2+1-15) ... update-alternatives: using /usr/bin/ctags.emacs to provide /usr/bin/ctags (ctags) in auto mode update-alternatives: using /usr/bin/ebrowse.emacs to provide /usr/bin/ebrowse (ebrowse) in auto mode update-alternatives: using /usr/bin/emacsclient.emacs to provide /usr/bin/emacsclient (emacsclient) in auto mode update-alternatives: using /usr/bin/etags.emacs to provide /usr/bin/etags (etags) in auto mode Setting up emacs-nox (1:28.2+1-15) ... update-alternatives: using /usr/bin/emacs-nox to provide /usr/bin/emacs (emacs) in auto mode update-alternatives: using /usr/bin/emacs to provide /usr/bin/editor (editor) in auto mode Install emacsen-common for emacs emacsen-common: Handling install of emacsen flavor emacs Setting up dh-elpa (2.0.16) ... Processing triggers for libc-bin (2.36-9) ... Processing triggers for install-info (6.8-6+b1) ... ┌───────────────┐ │ Build │ └───────────────┘ dpkg-buildpackage: info: source package agda dpkg-buildpackage: info: source version 2.6.2.2-1.1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: host architecture arm64  dpkg-source --before-build .  debian/rules clean test -x debian/rules dh_clean perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'clean_recipe' Running rm -rf dist dist-ghc dist-ghcjs dist-hugs Running rm -f debian/hlibrary.setup Running rm -f Setup.hi Setup.ho Setup.o Running rm -f rm -f configure-ghc-stamp rm -f build-ghc-stamp build-hugs-stamp build-haddock-stamp rm -f check-ghc-stamp rm -f debian/tmp rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs rm -rf debian/tmp-db rm -f debian/hlibrary.Makefile  debian/rules binary-arch test -x debian/rules dh_testroot dh_prep dh_installdirs -A mkdir -p "." CDBS WARNING: DEB_DH_STRIP_ARGS is deprecated since 0.4.85 CDBS WARNING: DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85 Adding cdbs dependencies to debian/agda-bin.substvars dh_installdirs -pagda-bin \ dh_haskell_description --package=agda-bin Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control dh_haskell_compiler --package=agda-bin Running dpkg-query --showformat=${Version} --show ghc 9.0.2-4 Adding cdbs dependencies to debian/libghc-agda-dev.substvars dh_installdirs -plibghc-agda-dev \ perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'make_setup_recipe' Running ghc --make Setup.hs -o debian/hlibrary.setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking debian/hlibrary.setup ... perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'configure_recipe' Running find . ! -newer /tmp/ITKssqTarq -exec touch -d 1998-01-01 UTC {} ; Running dh_listpackages agda agda-bin elpa-agda2-mode libghc-agda-dev libghc-agda-doc Running dh_listpackages agda agda-bin elpa-agda2-mode libghc-agda-dev libghc-agda-doc Running dpkg-buildflags --get LDFLAGS -Wl,-z,relro Running debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --libexecdir=/usr/lib --builddir=dist-ghc --ghc-option=-optl-Wl,-z,relro --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.6.2.2/ --datasubdir=agda --htmldir=/usr/share/doc/libghc-agda-doc/html/ --datadir=/usr/share --datasubdir=libghc-agda-dev Using Parsec parser Configuring Agda-2.6.2.2... Flags chosen: cpphs=False, debug=False, enable-cluster-counting=False, optimise-heavily=False Dependency aeson >=1.1.2.0 && <2.1: using aeson-2.0.3.0 Dependency array >=0.5.1.1 && <0.6: using array-0.5.4.0 Dependency async >=2.2 && <2.3: using async-2.2.4 Dependency base >=4.9.0.0 && <4.17: using base-4.15.1.0 Dependency binary >=0.8.3.0 && <0.9: using binary-0.8.8.0 Dependency blaze-html >=0.8 && <0.10: using blaze-html-0.9.1.2 Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.5 Dependency bytestring >=0.10.8.1 && <0.12: using bytestring-0.10.12.1 Dependency case-insensitive >=1.2.0.4 && <1.3: using case-insensitive-1.2.1.0 Dependency containers >=0.5.11.0 && <0.7: using containers-0.6.4.1 Dependency data-hash >=0.2.0.0 && <0.3: using data-hash-0.2.0.1 Dependency deepseq >=1.4.2.0 && <1.5: using deepseq-1.4.5.0 Dependency directory >=1.2.6.2 && <1.4: using directory-1.3.6.2 Dependency edit-distance >=0.2.1.2 && <0.3: using edit-distance-0.2.2.1 Dependency equivalence >=0.3.2 && <0.5: using equivalence-0.4.1 Dependency exceptions >=0.8 && <0.11: using exceptions-0.10.4 Dependency filepath >=1.4.1.0 && <1.5: using filepath-1.4.2.1 Dependency ghc-compact >=0.1 && <0.2: using ghc-compact-0.1.0.0 Dependency gitrev >=1.3.1 && <2.0: using gitrev-1.3.1 Dependency hashable >=1.2.1.0 && <1.5: using hashable-1.3.5.0 Dependency hashtables >=1.2.0.2 && <1.4: using hashtables-1.2.4.2 Dependency haskeline >=0.7.2.3 && <0.9: using haskeline-0.8.2 Dependency monad-control >=1.0.1.0 && <1.1: using monad-control-1.0.3.1 Dependency mtl >=2.2.1 && <2.4: using mtl-2.2.2 Dependency murmur-hash >=0.1 && <0.2: using murmur-hash-0.1.0.10 Dependency parallel >=3.2.2.0 && <3.3: using parallel-3.2.2.0 Dependency pretty >=1.1.3.3 && <1.2: using pretty-1.1.3.6 Dependency process >=1.4.2.0 && <1.7: using process-1.6.13.2 Dependency regex-tdfa >=1.3.1.0 && <1.4: using regex-tdfa-1.3.2 Dependency split >=0.2.0.0 && <0.2.4: using split-0.2.3.5 Dependency stm >=2.4.4 && <2.6: using stm-2.5.0.0 Dependency strict >=0.3.2 && <0.5: using strict-0.4.0.1 Dependency template-haskell >=2.11.0.0 && <2.19: using template-haskell-2.17.0.0 Dependency text >=1.2.3.1 && <2.1: using text-1.2.5.0 Dependency time >=1.6.0.1 && <1.13: using time-1.9.3 Dependency transformers >=0.5 && <0.7: using transformers-0.5.6.2 Dependency unordered-containers >=0.2.5.0 && <0.3: using unordered-containers-0.2.17.0 Dependency uri-encode >=1.5.0.4 && <1.6: using uri-encode-1.5.0.7 Dependency zlib >=0.6 && <0.7: using zlib-0.6.3.0 Dependency Agda: using Agda-2.6.2.2 Dependency base: using base-4.15.1.0 Dependency base >=4.9.0.0 && <4.17: using base-4.15.1.0 Dependency directory >=1.2.6.2 && <1.4: using directory-1.3.6.2 Dependency filepath >=1.4.1.0 && <1.5: using filepath-1.4.2.1 Dependency process >=1.4.2.0 && <1.7: using process-1.6.13.2 Source component graph: component exe:agda-mode component lib component exe:agda dependency lib Configured component graph: component Agda-2.6.2.2-BihhHfdQ3DI386etV7INd2-agda-mode include base-4.15.1.0 include directory-1.3.6.2 include filepath-1.4.2.1 include process-1.6.13.2 component Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK include aeson-2.0.3.0-H8BOQwtT8HYFvWPR1b6zvB include array-0.5.4.0 include async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 include base-4.15.1.0 include binary-0.8.8.0 include blaze-html-0.9.1.2-36d0iiUiLGgJZ7l7zQZnEy include boxes-0.1.5-qTmZyC6a0wIxfzoSwwVb4 include bytestring-0.10.12.1 include case-insensitive-1.2.1.0-6AEjagGsVsfBXOZaw6mNnF include containers-0.6.4.1 include data-hash-0.2.0.1-EtpqIqWBpJ54e01X413Vh include deepseq-1.4.5.0 include directory-1.3.6.2 include edit-distance-0.2.2.1-GQIE25TjkL76VHoNkJ2IRn include equivalence-0.4.1-5uhNT18rGYPFBiiIxPtiBu include exceptions-0.10.4 include filepath-1.4.2.1 include ghc-compact-0.1.0.0 include gitrev-1.3.1-DL6HQMF5o0t9xxa7xNdCBo include hashable-1.3.5.0-Hd8HSYZ7DN8KsO4HNlPmYP include hashtables-1.2.4.2-GqjCcQNANkGFCRwtQlKQNB include haskeline-0.8.2 include monad-control-1.0.3.1-JIX0nWW11Gp9RLOTSDTED include mtl-2.2.2 include murmur-hash-0.1.0.10-AJwBzcDKjnOE7vktXnd5qt include parallel-3.2.2.0-D2aleEa2VnPBr164BdKnms include pretty-1.1.3.6 include process-1.6.13.2 include regex-tdfa-1.3.2-BisVwX77VAh7AtxIZTFfgj include split-0.2.3.5-DXkzOmykyJE7KmI3yfeZnL include stm-2.5.0.0 include strict-0.4.0.1-Ea4amCg8WDe8GyT6LOvusk include template-haskell-2.17.0.0 include text-1.2.5.0 include time-1.9.3 include transformers-0.5.6.2 include unordered-containers-0.2.17.0-FS8hZKYGMqLFC8ibuPNvjR include uri-encode-1.5.0.7-BDkJJ0v5O8aC9umFA8GaeZ include zlib-0.6.3.0-97jFkHsGvA6I2qA97PyPH1 component Agda-2.6.2.2-3VmWKKwPIHg37TvrMavV2r-agda include Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK include base-4.15.1.0 Linked component graph: unit Agda-2.6.2.2-BihhHfdQ3DI386etV7INd2-agda-mode include base-4.15.1.0 include directory-1.3.6.2 include filepath-1.4.2.1 include process-1.6.13.2 unit Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK include aeson-2.0.3.0-H8BOQwtT8HYFvWPR1b6zvB include array-0.5.4.0 include async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 include base-4.15.1.0 include binary-0.8.8.0 include blaze-html-0.9.1.2-36d0iiUiLGgJZ7l7zQZnEy include boxes-0.1.5-qTmZyC6a0wIxfzoSwwVb4 include bytestring-0.10.12.1 include case-insensitive-1.2.1.0-6AEjagGsVsfBXOZaw6mNnF include containers-0.6.4.1 include data-hash-0.2.0.1-EtpqIqWBpJ54e01X413Vh include deepseq-1.4.5.0 include directory-1.3.6.2 include edit-distance-0.2.2.1-GQIE25TjkL76VHoNkJ2IRn include equivalence-0.4.1-5uhNT18rGYPFBiiIxPtiBu include exceptions-0.10.4 include filepath-1.4.2.1 include ghc-compact-0.1.0.0 include gitrev-1.3.1-DL6HQMF5o0t9xxa7xNdCBo include hashable-1.3.5.0-Hd8HSYZ7DN8KsO4HNlPmYP include hashtables-1.2.4.2-GqjCcQNANkGFCRwtQlKQNB include haskeline-0.8.2 include monad-control-1.0.3.1-JIX0nWW11Gp9RLOTSDTED include mtl-2.2.2 include murmur-hash-0.1.0.10-AJwBzcDKjnOE7vktXnd5qt include parallel-3.2.2.0-D2aleEa2VnPBr164BdKnms include pretty-1.1.3.6 include process-1.6.13.2 include regex-tdfa-1.3.2-BisVwX77VAh7AtxIZTFfgj include split-0.2.3.5-DXkzOmykyJE7KmI3yfeZnL include stm-2.5.0.0 include strict-0.4.0.1-Ea4amCg8WDe8GyT6LOvusk include template-haskell-2.17.0.0 include text-1.2.5.0 include time-1.9.3 include transformers-0.5.6.2 include unordered-containers-0.2.17.0-FS8hZKYGMqLFC8ibuPNvjR include uri-encode-1.5.0.7-BDkJJ0v5O8aC9umFA8GaeZ include zlib-0.6.3.0-97jFkHsGvA6I2qA97PyPH1 Agda.Auto.Auto=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Auto.Auto,Agda.Auto.CaseSplit=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Auto.CaseSplit,Agda.Auto.Convert=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Auto.Convert,Agda.Auto.NarrowingSearch=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Auto.NarrowingSearch,Agda.Auto.Options=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Auto.Options,Agda.Auto.SearchControl=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Auto.SearchControl,Agda.Auto.Syntax=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Auto.Syntax,Agda.Auto.Typecheck=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Auto.Typecheck,Agda.Benchmarking=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Benchmarking,Agda.Compiler.Backend=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Backend,Agda.Compiler.Builtin=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Builtin,Agda.Compiler.CallCompiler=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.CallCompiler,Agda.Compiler.Common=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Common,Agda.Compiler.JS.Compiler=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.JS.Compiler,Agda.Compiler.JS.Pretty=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.JS.Pretty,Agda.Compiler.JS.Substitution=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.JS.Substitution,Agda.Compiler.JS.Syntax=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.JS.Syntax,Agda.Compiler.MAlonzo.Coerce=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.MAlonzo.Coerce,Agda.Compiler.MAlonzo.Compiler=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.MAlonzo.Compiler,Agda.Compiler.MAlonzo.Encode=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.MAlonzo.Encode,Agda.Compiler.MAlonzo.HaskellTypes=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.MAlonzo.HaskellTypes,Agda.Compiler.MAlonzo.Misc=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.MAlonzo.Misc,Agda.Compiler.MAlonzo.Pragmas=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.MAlonzo.Pragmas,Agda.Compiler.MAlonzo.Pretty=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.MAlonzo.Pretty,Agda.Compiler.MAlonzo.Primitives=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.MAlonzo.Primitives,Agda.Compiler.MAlonzo.Strict=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.MAlonzo.Strict,Agda.Compiler.ToTreeless=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.ToTreeless,Agda.Compiler.Treeless.AsPatterns=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.AsPatterns,Agda.Compiler.Treeless.Builtin=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.Builtin,Agda.Compiler.Treeless.Compare=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.Compare,Agda.Compiler.Treeless.EliminateDefaults=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.EliminateDefaults,Agda.Compiler.Treeless.EliminateLiteralPatterns=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.EliminateLiteralPatterns,Agda.Compiler.Treeless.Erase=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.Erase,Agda.Compiler.Treeless.GuardsToPrims=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.GuardsToPrims,Agda.Compiler.Treeless.Identity=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.Identity,Agda.Compiler.Treeless.NormalizeNames=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.NormalizeNames,Agda.Compiler.Treeless.Pretty=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.Pretty,Agda.Compiler.Treeless.Simplify=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.Simplify,Agda.Compiler.Treeless.Subst=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.Subst,Agda.Compiler.Treeless.Uncase=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.Uncase,Agda.Compiler.Treeless.Unused=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Compiler.Treeless.Unused,Agda.ImpossibleTest=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.ImpossibleTest,Agda.Interaction.AgdaTop=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.AgdaTop,Agda.Interaction.Base=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Base,Agda.Interaction.BasicOps=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.BasicOps,Agda.Interaction.CommandLine=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.CommandLine,Agda.Interaction.EmacsCommand=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.EmacsCommand,Agda.Interaction.EmacsTop=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.EmacsTop,Agda.Interaction.ExitCode=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.ExitCode,Agda.Interaction.FindFile=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.FindFile,Agda.Interaction.Highlighting.Common=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.Common,Agda.Interaction.Highlighting.Dot=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.Dot,Agda.Interaction.Highlighting.Emacs=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.Emacs,Agda.Interaction.Highlighting.FromAbstract=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.FromAbstract,Agda.Interaction.Highlighting.Generate=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.Generate,Agda.Interaction.Highlighting.HTML=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.HTML,Agda.Interaction.Highlighting.JSON=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.JSON,Agda.Interaction.Highlighting.LaTeX=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.LaTeX,Agda.Interaction.Highlighting.Precise=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.Precise,Agda.Interaction.Highlighting.Range=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.Range,Agda.Interaction.Highlighting.Vim=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Highlighting.Vim,Agda.Interaction.Imports=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Imports,Agda.Interaction.InteractionTop=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.InteractionTop,Agda.Interaction.JSON=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.JSON,Agda.Interaction.JSONTop=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.JSONTop,Agda.Interaction.Library=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Library,Agda.Interaction.Library.Base=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Library.Base,Agda.Interaction.Library.Parse=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Library.Parse,Agda.Interaction.MakeCase=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.MakeCase,Agda.Interaction.Monad=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Monad,Agda.Interaction.Options=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Options,Agda.Interaction.Options.Help=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Options.Help,Agda.Interaction.Options.Lenses=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Options.Lenses,Agda.Interaction.Options.Warnings=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Options.Warnings,Agda.Interaction.Response=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.Response,Agda.Interaction.SearchAbout=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Interaction.SearchAbout,Agda.Main=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Main,Agda.Syntax.Abstract=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Abstract,Agda.Syntax.Abstract.Name=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Abstract.Name,Agda.Syntax.Abstract.Pattern=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Abstract.Pattern,Agda.Syntax.Abstract.PatternSynonyms=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Abstract.PatternSynonyms,Agda.Syntax.Abstract.Pretty=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Abstract.Pretty,Agda.Syntax.Abstract.Views=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Abstract.Views,Agda.Syntax.Builtin=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Builtin,Agda.Syntax.Common=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Common,Agda.Syntax.Concrete=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete,Agda.Syntax.Concrete.Attribute=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Attribute,Agda.Syntax.Concrete.Definitions=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Definitions,Agda.Syntax.Concrete.Definitions.Errors=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Definitions.Errors,Agda.Syntax.Concrete.Definitions.Monad=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Definitions.Monad,Agda.Syntax.Concrete.Definitions.Types=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Definitions.Types,Agda.Syntax.Concrete.Fixity=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Fixity,Agda.Syntax.Concrete.Generic=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Generic,Agda.Syntax.Concrete.Glyph=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Glyph,Agda.Syntax.Concrete.Name=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Name,Agda.Syntax.Concrete.Operators=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Operators,Agda.Syntax.Concrete.Operators.Parser=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Operators.Parser,Agda.Syntax.Concrete.Operators.Parser.Monad=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Operators.Parser.Monad,Agda.Syntax.Concrete.Pattern=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Pattern,Agda.Syntax.Concrete.Pretty=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Concrete.Pretty,Agda.Syntax.DoNotation=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.DoNotation,Agda.Syntax.Fixity=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Fixity,Agda.Syntax.IdiomBrackets=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.IdiomBrackets,Agda.Syntax.Info=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Info,Agda.Syntax.Internal=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Internal,Agda.Syntax.Internal.Blockers=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Internal.Blockers,Agda.Syntax.Internal.Defs=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Internal.Defs,Agda.Syntax.Internal.Elim=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Internal.Elim,Agda.Syntax.Internal.Generic=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Internal.Generic,Agda.Syntax.Internal.MetaVars=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Internal.MetaVars,Agda.Syntax.Internal.Names=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Internal.Names,Agda.Syntax.Internal.Pattern=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Internal.Pattern,Agda.Syntax.Internal.SanityCheck=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Internal.SanityCheck,Agda.Syntax.Literal=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Literal,Agda.Syntax.Notation=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Notation,Agda.Syntax.Parser=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser,Agda.Syntax.Parser.Alex=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.Alex,Agda.Syntax.Parser.Comments=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.Comments,Agda.Syntax.Parser.Layout=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.Layout,Agda.Syntax.Parser.LexActions=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.LexActions,Agda.Syntax.Parser.Lexer=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.Lexer,Agda.Syntax.Parser.Literate=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.Literate,Agda.Syntax.Parser.LookAhead=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.LookAhead,Agda.Syntax.Parser.Monad=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.Monad,Agda.Syntax.Parser.Parser=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.Parser,Agda.Syntax.Parser.StringLiterals=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.StringLiterals,Agda.Syntax.Parser.Tokens=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Parser.Tokens,Agda.Syntax.Position=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Position,Agda.Syntax.Reflected=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Reflected,Agda.Syntax.Scope.Base=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Scope.Base,Agda.Syntax.Scope.Monad=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Scope.Monad,Agda.Syntax.Translation.AbstractToConcrete=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Translation.AbstractToConcrete,Agda.Syntax.Translation.ConcreteToAbstract=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Translation.ConcreteToAbstract,Agda.Syntax.Translation.InternalToAbstract=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Translation.InternalToAbstract,Agda.Syntax.Translation.ReflectedToAbstract=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Translation.ReflectedToAbstract,Agda.Syntax.Treeless=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Syntax.Treeless,Agda.Termination.CallGraph=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.CallGraph,Agda.Termination.CallMatrix=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.CallMatrix,Agda.Termination.CutOff=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.CutOff,Agda.Termination.Monad=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.Monad,Agda.Termination.Order=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.Order,Agda.Termination.RecCheck=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.RecCheck,Agda.Termination.Semiring=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.Semiring,Agda.Termination.SparseMatrix=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.SparseMatrix,Agda.Termination.TermCheck=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.TermCheck,Agda.Termination.Termination=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Termination.Termination,Agda.TheTypeChecker=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TheTypeChecker,Agda.TypeChecking.Abstract=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Abstract,Agda.TypeChecking.CheckInternal=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.CheckInternal,Agda.TypeChecking.CompiledClause=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.CompiledClause,Agda.TypeChecking.CompiledClause.Compile=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.CompiledClause.Compile,Agda.TypeChecking.CompiledClause.Match=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.CompiledClause.Match,Agda.TypeChecking.Constraints=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Constraints,Agda.TypeChecking.Conversion=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Conversion,Agda.TypeChecking.Conversion.Pure=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Conversion.Pure,Agda.TypeChecking.Coverage=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Coverage,Agda.TypeChecking.Coverage.Match=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Coverage.Match,Agda.TypeChecking.Coverage.SplitTree=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Coverage.SplitTree,Agda.TypeChecking.Datatypes=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Datatypes,Agda.TypeChecking.DeadCode=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.DeadCode,Agda.TypeChecking.DisplayForm=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.DisplayForm,Agda.TypeChecking.DropArgs=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.DropArgs,Agda.TypeChecking.Empty=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Empty,Agda.TypeChecking.Errors=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Errors,Agda.TypeChecking.EtaContract=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.EtaContract,Agda.TypeChecking.EtaExpand=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.EtaExpand,Agda.TypeChecking.Forcing=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Forcing,Agda.TypeChecking.Free=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Free,Agda.TypeChecking.Free.Lazy=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Free.Lazy,Agda.TypeChecking.Free.Precompute=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Free.Precompute,Agda.TypeChecking.Free.Reduce=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Free.Reduce,Agda.TypeChecking.Functions=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Functions,Agda.TypeChecking.Generalize=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Generalize,Agda.TypeChecking.IApplyConfluence=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.IApplyConfluence,Agda.TypeChecking.Implicit=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Implicit,Agda.TypeChecking.Injectivity=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Injectivity,Agda.TypeChecking.Inlining=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Inlining,Agda.TypeChecking.InstanceArguments=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.InstanceArguments,Agda.TypeChecking.Irrelevance=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Irrelevance,Agda.TypeChecking.Level=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Level,Agda.TypeChecking.Level.Solve=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Level.Solve,Agda.TypeChecking.LevelConstraints=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.LevelConstraints,Agda.TypeChecking.Lock=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Lock,Agda.TypeChecking.MetaVars=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.MetaVars,Agda.TypeChecking.MetaVars.Mention=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.MetaVars.Mention,Agda.TypeChecking.MetaVars.Occurs=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.MetaVars.Occurs,Agda.TypeChecking.Monad=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad,Agda.TypeChecking.Monad.Base=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Base,Agda.TypeChecking.Monad.Benchmark=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Benchmark,Agda.TypeChecking.Monad.Builtin=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Builtin,Agda.TypeChecking.Monad.Caching=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Caching,Agda.TypeChecking.Monad.Closure=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Closure,Agda.TypeChecking.Monad.Constraints=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Constraints,Agda.TypeChecking.Monad.Context=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Context,Agda.TypeChecking.Monad.Debug=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Debug,Agda.TypeChecking.Monad.Env=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Env,Agda.TypeChecking.Monad.Imports=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Imports,Agda.TypeChecking.Monad.MetaVars=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.MetaVars,Agda.TypeChecking.Monad.Mutual=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Mutual,Agda.TypeChecking.Monad.Open=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Open,Agda.TypeChecking.Monad.Options=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Options,Agda.TypeChecking.Monad.Pure=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Pure,Agda.TypeChecking.Monad.Signature=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Signature,Agda.TypeChecking.Monad.SizedTypes=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.SizedTypes,Agda.TypeChecking.Monad.State=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.State,Agda.TypeChecking.Monad.Statistics=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Statistics,Agda.TypeChecking.Monad.Trace=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Monad.Trace,Agda.TypeChecking.Names=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Names,Agda.TypeChecking.Patterns.Abstract=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Patterns.Abstract,Agda.TypeChecking.Patterns.Internal=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Patterns.Internal,Agda.TypeChecking.Patterns.Match=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Patterns.Match,Agda.TypeChecking.Polarity=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Polarity,Agda.TypeChecking.Positivity=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Positivity,Agda.TypeChecking.Positivity.Occurrence=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Positivity.Occurrence,Agda.TypeChecking.Pretty=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Pretty,Agda.TypeChecking.Pretty.Call=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Pretty.Call,Agda.TypeChecking.Pretty.Constraint=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Pretty.Constraint,Agda.TypeChecking.Pretty.Warning=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Pretty.Warning,Agda.TypeChecking.Primitive=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Primitive,Agda.TypeChecking.Primitive.Base=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Primitive.Base,Agda.TypeChecking.Primitive.Cubical=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Primitive.Cubical,Agda.TypeChecking.ProjectionLike=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.ProjectionLike,Agda.TypeChecking.Quote=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Quote,Agda.TypeChecking.ReconstructParameters=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.ReconstructParameters,Agda.TypeChecking.RecordPatterns=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.RecordPatterns,Agda.TypeChecking.Records=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Records,Agda.TypeChecking.Reduce=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Reduce,Agda.TypeChecking.Reduce.Fast=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Reduce.Fast,Agda.TypeChecking.Reduce.Monad=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Reduce.Monad,Agda.TypeChecking.Rewriting=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rewriting,Agda.TypeChecking.Rewriting.Clause=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rewriting.Clause,Agda.TypeChecking.Rewriting.Confluence=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rewriting.Confluence,Agda.TypeChecking.Rewriting.NonLinMatch=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rewriting.NonLinMatch,Agda.TypeChecking.Rewriting.NonLinPattern=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rewriting.NonLinPattern,Agda.TypeChecking.Rules.Application=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.Application,Agda.TypeChecking.Rules.Builtin=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.Builtin,Agda.TypeChecking.Rules.Builtin.Coinduction=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.Builtin.Coinduction,Agda.TypeChecking.Rules.Data=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.Data,Agda.TypeChecking.Rules.Decl=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.Decl,Agda.TypeChecking.Rules.Def=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.Def,Agda.TypeChecking.Rules.Display=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.Display,Agda.TypeChecking.Rules.LHS=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.LHS,Agda.TypeChecking.Rules.LHS.Implicit=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.LHS.Implicit,Agda.TypeChecking.Rules.LHS.Problem=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.LHS.Problem,Agda.TypeChecking.Rules.LHS.ProblemRest=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.LHS.ProblemRest,Agda.TypeChecking.Rules.LHS.Unify=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.LHS.Unify,Agda.TypeChecking.Rules.Record=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.Record,Agda.TypeChecking.Rules.Term=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Rules.Term,Agda.TypeChecking.Serialise=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Serialise,Agda.TypeChecking.Serialise.Base=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Serialise.Base,Agda.TypeChecking.Serialise.Instances=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Serialise.Instances,Agda.TypeChecking.Serialise.Instances.Abstract=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Serialise.Instances.Abstract,Agda.TypeChecking.Serialise.Instances.Common=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Serialise.Instances.Common,Agda.TypeChecking.Serialise.Instances.Compilers=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Serialise.Instances.Compilers,Agda.TypeChecking.Serialise.Instances.Errors=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Serialise.Instances.Errors,Agda.TypeChecking.Serialise.Instances.Highlighting=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Serialise.Instances.Highlighting,Agda.TypeChecking.Serialise.Instances.Internal=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Serialise.Instances.Internal,Agda.TypeChecking.SizedTypes=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.SizedTypes,Agda.TypeChecking.SizedTypes.Solve=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.SizedTypes.Solve,Agda.TypeChecking.SizedTypes.Syntax=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.SizedTypes.Syntax,Agda.TypeChecking.SizedTypes.Utils=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.SizedTypes.Utils,Agda.TypeChecking.SizedTypes.WarshallSolver=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.SizedTypes.WarshallSolver,Agda.TypeChecking.Sort=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Sort,Agda.TypeChecking.Substitute=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Substitute,Agda.TypeChecking.Substitute.Class=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Substitute.Class,Agda.TypeChecking.Substitute.DeBruijn=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Substitute.DeBruijn,Agda.TypeChecking.SyntacticEquality=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.SyntacticEquality,Agda.TypeChecking.Telescope=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Telescope,Agda.TypeChecking.Telescope.Path=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Telescope.Path,Agda.TypeChecking.Unquote=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Unquote,Agda.TypeChecking.Warnings=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.Warnings,Agda.TypeChecking.With=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.TypeChecking.With,Agda.Utils.AffineHole=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.AffineHole,Agda.Utils.Applicative=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Applicative,Agda.Utils.AssocList=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.AssocList,Agda.Utils.Bag=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Bag,Agda.Utils.Benchmark=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Benchmark,Agda.Utils.BiMap=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.BiMap,Agda.Utils.CallStack=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.CallStack,Agda.Utils.Char=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Char,Agda.Utils.Cluster=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Cluster,Agda.Utils.Either=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Either,Agda.Utils.Empty=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Empty,Agda.Utils.Environment=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Environment,Agda.Utils.Fail=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Fail,Agda.Utils.Favorites=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Favorites,Agda.Utils.FileName=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.FileName,Agda.Utils.Float=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Float,Agda.Utils.Function=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Function,Agda.Utils.Functor=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Functor,Agda.Utils.Graph.AdjacencyMap.Unidirectional=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Graph.AdjacencyMap.Unidirectional,Agda.Utils.Graph.TopSort=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Graph.TopSort,Agda.Utils.Hash=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Hash,Agda.Utils.Haskell.Syntax=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Haskell.Syntax,Agda.Utils.IO=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.IO,Agda.Utils.IO.Binary=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.IO.Binary,Agda.Utils.IO.Directory=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.IO.Directory,Agda.Utils.IO.TempFile=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.IO.TempFile,Agda.Utils.IO.UTF8=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.IO.UTF8,Agda.Utils.IORef=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.IORef,Agda.Utils.Impossible=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Impossible,Agda.Utils.IndexedList=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.IndexedList,Agda.Utils.IntSet.Infinite=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.IntSet.Infinite,Agda.Utils.Lens=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Lens,Agda.Utils.Lens.Examples=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Lens.Examples,Agda.Utils.List=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.List,Agda.Utils.List1=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.List1,Agda.Utils.List2=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.List2,Agda.Utils.ListT=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.ListT,Agda.Utils.Map=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Map,Agda.Utils.Maybe=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Maybe,Agda.Utils.Maybe.Strict=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Maybe.Strict,Agda.Utils.Memo=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Memo,Agda.Utils.Monad=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Monad,Agda.Utils.Monoid=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Monoid,Agda.Utils.Null=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Null,Agda.Utils.POMonoid=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.POMonoid,Agda.Utils.Parser.MemoisedCPS=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Parser.MemoisedCPS,Agda.Utils.PartialOrd=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.PartialOrd,Agda.Utils.Permutation=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Permutation,Agda.Utils.Pointer=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Pointer,Agda.Utils.Pretty=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Pretty,Agda.Utils.RangeMap=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.RangeMap,Agda.Utils.SemiRing=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.SemiRing,Agda.Utils.Semigroup=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Semigroup,Agda.Utils.Singleton=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Singleton,Agda.Utils.Size=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Size,Agda.Utils.SmallSet=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.SmallSet,Agda.Utils.String=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.String,Agda.Utils.Suffix=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Suffix,Agda.Utils.Three=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Three,Agda.Utils.Time=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Time,Agda.Utils.Trie=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Trie,Agda.Utils.Tuple=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Tuple,Agda.Utils.TypeLevel=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.TypeLevel,Agda.Utils.TypeLits=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.TypeLits,Agda.Utils.Update=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Update,Agda.Utils.VarSet=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.VarSet,Agda.Utils.Warshall=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Warshall,Agda.Utils.WithDefault=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.WithDefault,Agda.Utils.Zipper=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Utils.Zipper,Agda.Version=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.Version,Agda.VersionCommit=Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK:Agda.VersionCommit unit Agda-2.6.2.2-3VmWKKwPIHg37TvrMavV2r-agda include Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK include base-4.15.1.0 Ready component graph: definite Agda-2.6.2.2-BihhHfdQ3DI386etV7INd2-agda-mode depends base-4.15.1.0 depends directory-1.3.6.2 depends filepath-1.4.2.1 depends process-1.6.13.2 definite Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK depends aeson-2.0.3.0-H8BOQwtT8HYFvWPR1b6zvB depends array-0.5.4.0 depends async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 depends base-4.15.1.0 depends binary-0.8.8.0 depends blaze-html-0.9.1.2-36d0iiUiLGgJZ7l7zQZnEy depends boxes-0.1.5-qTmZyC6a0wIxfzoSwwVb4 depends bytestring-0.10.12.1 depends case-insensitive-1.2.1.0-6AEjagGsVsfBXOZaw6mNnF depends containers-0.6.4.1 depends data-hash-0.2.0.1-EtpqIqWBpJ54e01X413Vh depends deepseq-1.4.5.0 depends directory-1.3.6.2 depends edit-distance-0.2.2.1-GQIE25TjkL76VHoNkJ2IRn depends equivalence-0.4.1-5uhNT18rGYPFBiiIxPtiBu depends exceptions-0.10.4 depends filepath-1.4.2.1 depends ghc-compact-0.1.0.0 depends gitrev-1.3.1-DL6HQMF5o0t9xxa7xNdCBo depends hashable-1.3.5.0-Hd8HSYZ7DN8KsO4HNlPmYP depends hashtables-1.2.4.2-GqjCcQNANkGFCRwtQlKQNB depends haskeline-0.8.2 depends monad-control-1.0.3.1-JIX0nWW11Gp9RLOTSDTED depends mtl-2.2.2 depends murmur-hash-0.1.0.10-AJwBzcDKjnOE7vktXnd5qt depends parallel-3.2.2.0-D2aleEa2VnPBr164BdKnms depends pretty-1.1.3.6 depends process-1.6.13.2 depends regex-tdfa-1.3.2-BisVwX77VAh7AtxIZTFfgj depends split-0.2.3.5-DXkzOmykyJE7KmI3yfeZnL depends stm-2.5.0.0 depends strict-0.4.0.1-Ea4amCg8WDe8GyT6LOvusk depends template-haskell-2.17.0.0 depends text-1.2.5.0 depends time-1.9.3 depends transformers-0.5.6.2 depends unordered-containers-0.2.17.0-FS8hZKYGMqLFC8ibuPNvjR depends uri-encode-1.5.0.7-BDkJJ0v5O8aC9umFA8GaeZ depends zlib-0.6.3.0-97jFkHsGvA6I2qA97PyPH1 definite Agda-2.6.2.2-3VmWKKwPIHg37TvrMavV2r-agda depends Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK depends base-4.15.1.0 Using Cabal-3.4.1.0 compiled by ghc-9.0 Using compiler: ghc-9.0.2 Using install prefix: /usr Executables installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2 Private executables installed in: /usr/lib/aarch64-linux-ghc-9.0.2/Agda-2.6.2.2 Data files installed in: /usr/share/libghc-agda-dev Documentation installed in: /usr/share/doc/aarch64-linux-ghc-9.0.2/Agda-2.6.2.2 Configuration files installed in: /usr/etc Using alex version 3.2.7.1 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/aarch64-linux-gnu-ar No c2hs found Using cpphs version 1.20.9 found on system at: /usr/bin/cpphs No doctest found Using gcc version 12 found on system at: /usr/bin/aarch64-linux-gnu-gcc Using ghc version 9.0.2 found on system at: /usr/bin/ghc Using ghc-pkg version 9.0.2 found on system at: /usr/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.25.1 found on system at: /usr/bin/haddock Using happy version 1.20.0 found on system at: /usr/bin/happy Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.68 found on system at: /usr/bin/hpc Using hsc2hs version 0.68.7 found on system at: /usr/bin/hsc2hs Using hscolour version 1.24 found on system at: /usr/bin/HsColour No jhc found Using ld found on system at: /usr/bin/aarch64-linux-gnu-ld.gold No pkg-config found Using runghc version 9.0.2 found on system at: /usr/bin/runghc Using strip version 2.40 found on system at: /usr/bin/strip Using tar found on system at: /usr/bin/tar No uhc found touch configure-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'build_recipe' Running dh_listpackages agda agda-bin elpa-agda2-mode libghc-agda-dev libghc-agda-doc Preprocessing executable 'agda-mode' for Agda-2.6.2.2.. Building executable 'agda-mode' for Agda-2.6.2.2.. [1 of 2] Compiling Paths_Agda ( dist-ghc/build/agda-mode/autogen/Paths_Agda.hs, dist-ghc/build/agda-mode/agda-mode-tmp/Paths_Agda.o ) [2 of 2] Compiling Main ( src/agda-mode/Main.hs, dist-ghc/build/agda-mode/agda-mode-tmp/Main.o ) Linking dist-ghc/build/agda-mode/agda-mode ... Preprocessing library for Agda-2.6.2.2.. unused rules: 6 Building library for Agda-2.6.2.2.. [ 1 of 401] Compiling Agda.Interaction.ExitCode ( src/full/Agda/Interaction/ExitCode.hs, dist-ghc/build/Agda/Interaction/ExitCode.o, dist-ghc/build/Agda/Interaction/ExitCode.dyn_o ) [ 2 of 401] Compiling Agda.Interaction.Highlighting.Dot.Base ( src/full/Agda/Interaction/Highlighting/Dot/Base.hs, dist-ghc/build/Agda/Interaction/Highlighting/Dot/Base.o, dist-ghc/build/Agda/Interaction/Highlighting/Dot/Base.dyn_o ) [ 3 of 401] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist-ghc/build/Agda/Termination/CutOff.o, dist-ghc/build/Agda/Termination/CutOff.dyn_o ) [ 4 of 401] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist-ghc/build/Agda/Termination/Semiring.o, dist-ghc/build/Agda/Termination/Semiring.dyn_o ) [ 5 of 401] Compiling Agda.TypeChecking.Monad.Debug[boot] ( src/full/Agda/TypeChecking/Monad/Debug.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Debug.o-boot, dist-ghc/build/Agda/TypeChecking/Monad/Debug.dyn_o ) [ 6 of 401] Compiling Agda.Utils.AffineHole ( src/full/Agda/Utils/AffineHole.hs, dist-ghc/build/Agda/Utils/AffineHole.o, dist-ghc/build/Agda/Utils/AffineHole.dyn_o ) [ 7 of 401] Compiling Agda.Utils.Applicative ( src/full/Agda/Utils/Applicative.hs, dist-ghc/build/Agda/Utils/Applicative.o, dist-ghc/build/Agda/Utils/Applicative.dyn_o ) [ 8 of 401] Compiling Agda.Utils.CallStack.Base ( src/full/Agda/Utils/CallStack/Base.hs, dist-ghc/build/Agda/Utils/CallStack/Base.o, dist-ghc/build/Agda/Utils/CallStack/Base.dyn_o ) [ 9 of 401] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist-ghc/build/Agda/Utils/Char.o, dist-ghc/build/Agda/Utils/Char.dyn_o ) [ 10 of 401] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, dist-ghc/build/Agda/Utils/Environment.o, dist-ghc/build/Agda/Utils/Environment.dyn_o ) [ 11 of 401] Compiling Agda.Utils.Fail ( src/full/Agda/Utils/Fail.hs, dist-ghc/build/Agda/Utils/Fail.o, dist-ghc/build/Agda/Utils/Fail.dyn_o ) [ 12 of 401] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist-ghc/build/Agda/Utils/Function.o, dist-ghc/build/Agda/Utils/Function.dyn_o ) [ 13 of 401] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Utils.o, dist-ghc/build/Agda/TypeChecking/SizedTypes/Utils.dyn_o ) [ 14 of 401] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist-ghc/build/Agda/Utils/Functor.o, dist-ghc/build/Agda/Utils/Functor.dyn_o ) [ 15 of 401] Compiling Agda.Utils.Haskell.Syntax ( src/full/Agda/Utils/Haskell/Syntax.hs, dist-ghc/build/Agda/Utils/Haskell/Syntax.o, dist-ghc/build/Agda/Utils/Haskell/Syntax.dyn_o ) [ 16 of 401] Compiling Agda.Compiler.MAlonzo.Strict ( src/full/Agda/Compiler/MAlonzo/Strict.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Strict.o, dist-ghc/build/Agda/Compiler/MAlonzo/Strict.dyn_o ) [ 17 of 401] Compiling Agda.Utils.IO ( src/full/Agda/Utils/IO.hs, dist-ghc/build/Agda/Utils/IO.o, dist-ghc/build/Agda/Utils/IO.dyn_o ) [ 18 of 401] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist-ghc/build/Agda/Utils/IO/Binary.o, dist-ghc/build/Agda/Utils/IO/Binary.dyn_o ) [ 19 of 401] Compiling Agda.Utils.IO.Directory ( src/full/Agda/Utils/IO/Directory.hs, dist-ghc/build/Agda/Utils/IO/Directory.o, dist-ghc/build/Agda/Utils/IO/Directory.dyn_o ) [ 20 of 401] Compiling Agda.Utils.IO.TempFile ( src/full/Agda/Utils/IO/TempFile.hs, dist-ghc/build/Agda/Utils/IO/TempFile.o, dist-ghc/build/Agda/Utils/IO/TempFile.dyn_o ) [ 21 of 401] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist-ghc/build/Agda/Utils/IO/UTF8.o, dist-ghc/build/Agda/Utils/IO/UTF8.dyn_o ) [ 22 of 401] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist-ghc/build/Agda/Utils/IORef.o, dist-ghc/build/Agda/Utils/IORef.dyn_o ) [ 23 of 401] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist-ghc/build/Agda/Utils/Impossible.o, dist-ghc/build/Agda/Utils/Impossible.dyn_o ) [ 24 of 401] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist-ghc/build/Agda/Utils/Empty.o, dist-ghc/build/Agda/Utils/Empty.dyn_o ) [ 25 of 401] Compiling Agda.Utils.Bag ( src/full/Agda/Utils/Bag.hs, dist-ghc/build/Agda/Utils/Bag.o, dist-ghc/build/Agda/Utils/Bag.dyn_o ) [ 26 of 401] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc/build/Agda/Auto/NarrowingSearch.o, dist-ghc/build/Agda/Auto/NarrowingSearch.dyn_o ) [ 27 of 401] Compiling Agda.Utils.IntSet.Infinite ( src/full/Agda/Utils/IntSet/Infinite.hs, dist-ghc/build/Agda/Utils/IntSet/Infinite.o, dist-ghc/build/Agda/Utils/IntSet/Infinite.dyn_o ) [ 28 of 401] Compiling Agda.Utils.Lens ( src/full/Agda/Utils/Lens.hs, dist-ghc/build/Agda/Utils/Lens.o, dist-ghc/build/Agda/Utils/Lens.dyn_o ) [ 29 of 401] Compiling Agda.Utils.IndexedList ( src/full/Agda/Utils/IndexedList.hs, dist-ghc/build/Agda/Utils/IndexedList.o, dist-ghc/build/Agda/Utils/IndexedList.dyn_o ) [ 30 of 401] Compiling Agda.Auto.Options ( src/full/Agda/Auto/Options.hs, dist-ghc/build/Agda/Auto/Options.o, dist-ghc/build/Agda/Auto/Options.dyn_o ) [ 31 of 401] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist-ghc/build/Agda/Utils/Lens/Examples.o, dist-ghc/build/Agda/Utils/Lens/Examples.dyn_o ) [ 32 of 401] Compiling Agda.Utils.List1[boot] ( src/full/Agda/Utils/List1.hs-boot, dist-ghc/build/Agda/Utils/List1.o-boot, dist-ghc/build/Agda/Utils/List1.dyn_o ) [ 33 of 401] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist-ghc/build/Agda/Utils/Map.o, dist-ghc/build/Agda/Utils/Map.dyn_o ) [ 34 of 401] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist-ghc/build/Agda/Utils/Maybe.o, dist-ghc/build/Agda/Utils/Maybe.dyn_o ) [ 35 of 401] Compiling Agda.Utils.Memo ( src/full/Agda/Utils/Memo.hs, dist-ghc/build/Agda/Utils/Memo.o, dist-ghc/build/Agda/Utils/Memo.dyn_o ) [ 36 of 401] Compiling Agda.Utils.Monoid ( src/full/Agda/Utils/Monoid.hs, dist-ghc/build/Agda/Utils/Monoid.o, dist-ghc/build/Agda/Utils/Monoid.dyn_o ) [ 37 of 401] Compiling Agda.Utils.Null ( src/full/Agda/Utils/Null.hs, dist-ghc/build/Agda/Utils/Null.o, dist-ghc/build/Agda/Utils/Null.dyn_o ) [ 38 of 401] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist-ghc/build/Agda/Utils/Maybe/Strict.o, dist-ghc/build/Agda/Utils/Maybe/Strict.dyn_o ) [ 39 of 401] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist-ghc/build/Agda/Utils/PartialOrd.o, dist-ghc/build/Agda/Utils/PartialOrd.dyn_o ) [ 40 of 401] Compiling Agda.Utils.POMonoid ( src/full/Agda/Utils/POMonoid.hs, dist-ghc/build/Agda/Utils/POMonoid.o, dist-ghc/build/Agda/Utils/POMonoid.dyn_o ) [ 41 of 401] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist-ghc/build/Agda/Utils/Pointer.o, dist-ghc/build/Agda/Utils/Pointer.dyn_o ) [ 42 of 401] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist-ghc/build/Agda/Utils/SemiRing.o, dist-ghc/build/Agda/Utils/SemiRing.dyn_o ) [ 43 of 401] Compiling Agda.Utils.Semigroup ( src/full/Agda/Utils/Semigroup.hs, dist-ghc/build/Agda/Utils/Semigroup.o, dist-ghc/build/Agda/Utils/Semigroup.dyn_o ) [ 44 of 401] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist-ghc/build/Agda/Utils/Singleton.o, dist-ghc/build/Agda/Utils/Singleton.dyn_o ) [ 45 of 401] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist-ghc/build/Agda/Utils/Cluster.o, dist-ghc/build/Agda/Utils/Cluster.dyn_o ) [ 46 of 401] Compiling Agda.Utils.SmallSet ( src/full/Agda/Utils/SmallSet.hs, dist-ghc/build/Agda/Utils/SmallSet.o, dist-ghc/build/Agda/Utils/SmallSet.dyn_o ) [ 47 of 401] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist-ghc/build/Agda/Utils/Suffix.o, dist-ghc/build/Agda/Utils/Suffix.dyn_o ) [ 48 of 401] Compiling Agda.Utils.Three ( src/full/Agda/Utils/Three.hs, dist-ghc/build/Agda/Utils/Three.o, dist-ghc/build/Agda/Utils/Three.dyn_o ) [ 49 of 401] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist-ghc/build/Agda/Utils/Trie.o, dist-ghc/build/Agda/Utils/Trie.dyn_o ) [ 50 of 401] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist-ghc/build/Agda/Utils/Tuple.o, dist-ghc/build/Agda/Utils/Tuple.dyn_o ) [ 51 of 401] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist-ghc/build/Agda/Utils/List.o, dist-ghc/build/Agda/Utils/List.dyn_o ) [ 52 of 401] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist-ghc/build/Agda/Utils/String.o, dist-ghc/build/Agda/Utils/String.dyn_o ) [ 53 of 401] Compiling Agda.Utils.List1 ( src/full/Agda/Utils/List1.hs, dist-ghc/build/Agda/Utils/List1.o, dist-ghc/build/Agda/Utils/List1.dyn_o ) [ 54 of 401] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist-ghc/build/Agda/Utils/Size.o, dist-ghc/build/Agda/Utils/Size.dyn_o ) [ 55 of 401] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist-ghc/build/Agda/Utils/Permutation.o, dist-ghc/build/Agda/Utils/Permutation.dyn_o ) [ 56 of 401] Compiling Agda.Utils.List2 ( src/full/Agda/Utils/List2.hs, dist-ghc/build/Agda/Utils/List2.o, dist-ghc/build/Agda/Utils/List2.dyn_o ) [ 57 of 401] Compiling Agda.Utils.Float ( src/full/Agda/Utils/Float.hs, dist-ghc/build/Agda/Utils/Float.o, dist-ghc/build/Agda/Utils/Float.dyn_o ) [ 58 of 401] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist-ghc/build/Agda/Utils/Pretty.o, dist-ghc/build/Agda/Utils/Pretty.dyn_o ) [ 59 of 401] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist-ghc/build/Agda/Utils/Time.o, dist-ghc/build/Agda/Utils/Time.dyn_o ) [ 60 of 401] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, dist-ghc/build/Agda/Utils/Parser/MemoisedCPS.o, dist-ghc/build/Agda/Utils/Parser/MemoisedCPS.dyn_o ) [ 61 of 401] Compiling Agda.Utils.CallStack.Pretty ( src/full/Agda/Utils/CallStack/Pretty.hs, dist-ghc/build/Agda/Utils/CallStack/Pretty.o, dist-ghc/build/Agda/Utils/CallStack/Pretty.dyn_o ) [ 62 of 401] Compiling Agda.Utils.CallStack ( src/full/Agda/Utils/CallStack.hs, dist-ghc/build/Agda/Utils/CallStack.o, dist-ghc/build/Agda/Utils/CallStack.dyn_o ) [ 63 of 401] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Syntax.o, dist-ghc/build/Agda/TypeChecking/SizedTypes/Syntax.dyn_o ) [ 64 of 401] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist-ghc/build/Agda/Interaction/EmacsCommand.o, dist-ghc/build/Agda/Interaction/EmacsCommand.dyn_o ) [ 65 of 401] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist-ghc/build/Agda/Utils/Either.o, dist-ghc/build/Agda/Utils/Either.dyn_o ) [ 66 of 401] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist-ghc/build/Agda/Utils/Monad.o, dist-ghc/build/Agda/Utils/Monad.dyn_o ) [ 67 of 401] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist-ghc/build/Agda/Utils/ListT.o, dist-ghc/build/Agda/Utils/ListT.dyn_o ) [ 68 of 401] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist-ghc/build/Agda/Utils/FileName.o, dist-ghc/build/Agda/Utils/FileName.dyn_o ) [ 69 of 401] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist-ghc/build/Agda/Utils/Hash.o, dist-ghc/build/Agda/Utils/Hash.dyn_o ) [ 70 of 401] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist-ghc/build/Agda/Utils/Benchmark.o, dist-ghc/build/Agda/Utils/Benchmark.dyn_o ) [ 71 of 401] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist-ghc/build/Agda/Utils/BiMap.o, dist-ghc/build/Agda/Utils/BiMap.dyn_o ) [ 72 of 401] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist-ghc/build/Agda/Syntax/Position.o, dist-ghc/build/Agda/Syntax/Position.dyn_o ) [ 73 of 401] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist-ghc/build/Agda/Syntax/Common.o, dist-ghc/build/Agda/Syntax/Common.dyn_o ) [ 74 of 401] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist-ghc/build/Agda/Syntax/Fixity.o, dist-ghc/build/Agda/Syntax/Fixity.dyn_o ) [ 75 of 401] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad ( src/full/Agda/Syntax/Concrete/Operators/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser/Monad.o, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser/Monad.dyn_o ) [ 76 of 401] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist-ghc/build/Agda/Compiler/JS/Syntax.o, dist-ghc/build/Agda/Compiler/JS/Syntax.dyn_o ) [ 77 of 401] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist-ghc/build/Agda/Auto/Syntax.o, dist-ghc/build/Agda/Auto/Syntax.dyn_o ) [ 78 of 401] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist-ghc/build/Agda/Auto/SearchControl.o, dist-ghc/build/Agda/Auto/SearchControl.dyn_o ) [ 79 of 401] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist-ghc/build/Agda/Auto/Typecheck.o, dist-ghc/build/Agda/Auto/Typecheck.dyn_o ) [ 80 of 401] Compiling Agda.Syntax.Parser.Literate ( src/full/Agda/Syntax/Parser/Literate.hs, dist-ghc/build/Agda/Syntax/Parser/Literate.o, dist-ghc/build/Agda/Syntax/Parser/Literate.dyn_o ) [ 81 of 401] Compiling Agda.Syntax.Concrete.Glyph ( src/full/Agda/Syntax/Concrete/Glyph.hs, dist-ghc/build/Agda/Syntax/Concrete/Glyph.o, dist-ghc/build/Agda/Syntax/Concrete/Glyph.dyn_o ) [ 82 of 401] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist-ghc/build/Agda/Syntax/Concrete/Name.o, dist-ghc/build/Agda/Syntax/Concrete/Name.dyn_o ) [ 83 of 401] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Base.o-boot, dist-ghc/build/Agda/TypeChecking/Monad/Base.dyn_o ) [ 84 of 401] Compiling Agda.Syntax.Builtin ( src/full/Agda/Syntax/Builtin.hs, dist-ghc/build/Agda/Syntax/Builtin.o, dist-ghc/build/Agda/Syntax/Builtin.dyn_o ) [ 85 of 401] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist-ghc/build/Agda/Syntax/Abstract/Name.o, dist-ghc/build/Agda/Syntax/Abstract/Name.dyn_o ) [ 86 of 401] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist-ghc/build/Agda/Syntax/Literal.o, dist-ghc/build/Agda/Syntax/Literal.dyn_o ) [ 87 of 401] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, dist-ghc/build/Agda/Syntax/Treeless.o, dist-ghc/build/Agda/Syntax/Treeless.dyn_o ) [ 88 of 401] Compiling Agda.Compiler.Treeless.GuardsToPrims ( src/full/Agda/Compiler/Treeless/GuardsToPrims.hs, dist-ghc/build/Agda/Compiler/Treeless/GuardsToPrims.o, dist-ghc/build/Agda/Compiler/Treeless/GuardsToPrims.dyn_o ) [ 89 of 401] Compiling Agda.Compiler.Treeless.AsPatterns ( src/full/Agda/Compiler/Treeless/AsPatterns.hs, dist-ghc/build/Agda/Compiler/Treeless/AsPatterns.o, dist-ghc/build/Agda/Compiler/Treeless/AsPatterns.dyn_o ) [ 90 of 401] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist-ghc/build/Agda/Syntax/Parser/Tokens.o, dist-ghc/build/Agda/Syntax/Parser/Tokens.dyn_o ) [ 91 of 401] Compiling Agda.Compiler.Backend[boot] ( src/full/Agda/Compiler/Backend.hs-boot, dist-ghc/build/Agda/Compiler/Backend.o-boot, dist-ghc/build/Agda/Compiler/Backend.dyn_o ) [ 92 of 401] Compiling Agda.Compiler.Builtin[boot] ( src/full/Agda/Compiler/Builtin.hs-boot, dist-ghc/build/Agda/Compiler/Builtin.o-boot, dist-ghc/build/Agda/Compiler/Builtin.dyn_o ) [ 93 of 401] Compiling Agda.Interaction.Options.Warnings ( src/full/Agda/Interaction/Options/Warnings.hs, dist-ghc/build/Agda/Interaction/Options/Warnings.o, dist-ghc/build/Agda/Interaction/Options/Warnings.dyn_o ) [ 94 of 401] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Parser/Monad.o, dist-ghc/build/Agda/Syntax/Parser/Monad.dyn_o ) [ 95 of 401] Compiling Agda.Interaction.Options.Help ( src/full/Agda/Interaction/Options/Help.hs, dist-ghc/build/Agda/Interaction/Options/Help.o, dist-ghc/build/Agda/Interaction/Options/Help.dyn_o ) [ 96 of 401] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, dist-ghc/build/Agda/Interaction/Library/Base.o, dist-ghc/build/Agda/Interaction/Library/Base.dyn_o ) [ 97 of 401] Compiling Agda.Interaction.Library.Parse ( src/full/Agda/Interaction/Library/Parse.hs, dist-ghc/build/Agda/Interaction/Library/Parse.o, dist-ghc/build/Agda/Interaction/Library/Parse.dyn_o ) [ 98 of 401] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist-ghc/build/Agda/Interaction/Highlighting/Range.o, dist-ghc/build/Agda/Interaction/Highlighting/Range.dyn_o ) [ 99 of 401] Compiling Agda.Utils.RangeMap ( src/full/Agda/Utils/RangeMap.hs, dist-ghc/build/Agda/Utils/RangeMap.o, dist-ghc/build/Agda/Utils/RangeMap.dyn_o ) [100 of 401] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist-ghc/build/Agda/Compiler/JS/Substitution.o, dist-ghc/build/Agda/Compiler/JS/Substitution.dyn_o ) [101 of 401] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist-ghc/build/Agda/Compiler/JS/Pretty.o, dist-ghc/build/Agda/Compiler/JS/Pretty.dyn_o ) [102 of 401] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist-ghc/build/Agda/Auto/CaseSplit.o, dist-ghc/build/Agda/Auto/CaseSplit.dyn_o ) [103 of 401] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.dyn_o ) [104 of 401] Compiling Agda.Utils.Graph.TopSort ( src/full/Agda/Utils/Graph/TopSort.hs, dist-ghc/build/Agda/Utils/Graph/TopSort.o, dist-ghc/build/Agda/Utils/Graph/TopSort.dyn_o ) [105 of 401] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o, dist-ghc/build/Agda/TypeChecking/SizedTypes/WarshallSolver.dyn_o ) [106 of 401] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist-ghc/build/Agda/TypeChecking/Positivity/Occurrence.o, dist-ghc/build/Agda/TypeChecking/Positivity/Occurrence.dyn_o ) [107 of 401] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist-ghc/build/Agda/Syntax/Concrete.o, dist-ghc/build/Agda/Syntax/Concrete.dyn_o ) [108 of 401] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist-ghc/build/Agda/Syntax/Concrete/Pretty.o, dist-ghc/build/Agda/Syntax/Concrete/Pretty.dyn_o ) [109 of 401] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist-ghc/build/Agda/TypeChecking/Coverage/SplitTree.o, dist-ghc/build/Agda/TypeChecking/Coverage/SplitTree.dyn_o ) [110 of 401] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist-ghc/build/Agda/Syntax/Notation.o, dist-ghc/build/Agda/Syntax/Notation.dyn_o ) [111 of 401] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist-ghc/build/Agda/Benchmarking.o, dist-ghc/build/Agda/Benchmarking.dyn_o ) [112 of 401] Compiling Agda.Syntax.Concrete.Pattern ( src/full/Agda/Syntax/Concrete/Pattern.hs, dist-ghc/build/Agda/Syntax/Concrete/Pattern.o, dist-ghc/build/Agda/Syntax/Concrete/Pattern.dyn_o ) [113 of 401] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser.o, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser.dyn_o ) [114 of 401] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist-ghc/build/Agda/Syntax/Concrete/Generic.o, dist-ghc/build/Agda/Syntax/Concrete/Generic.dyn_o ) [115 of 401] Compiling Agda.Syntax.Concrete.Fixity ( src/full/Agda/Syntax/Concrete/Fixity.hs, dist-ghc/build/Agda/Syntax/Concrete/Fixity.o, dist-ghc/build/Agda/Syntax/Concrete/Fixity.dyn_o ) [116 of 401] Compiling Agda.Syntax.Concrete.Definitions.Types ( src/full/Agda/Syntax/Concrete/Definitions/Types.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions/Types.o, dist-ghc/build/Agda/Syntax/Concrete/Definitions/Types.dyn_o ) [117 of 401] Compiling Agda.Syntax.Concrete.Definitions.Errors ( src/full/Agda/Syntax/Concrete/Definitions/Errors.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions/Errors.o, dist-ghc/build/Agda/Syntax/Concrete/Definitions/Errors.dyn_o ) [118 of 401] Compiling Agda.Syntax.Concrete.Definitions.Monad ( src/full/Agda/Syntax/Concrete/Definitions/Monad.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions/Monad.o, dist-ghc/build/Agda/Syntax/Concrete/Definitions/Monad.dyn_o ) [119 of 401] Compiling Agda.Syntax.Concrete.Attribute ( src/full/Agda/Syntax/Concrete/Attribute.hs, dist-ghc/build/Agda/Syntax/Concrete/Attribute.o, dist-ghc/build/Agda/Syntax/Concrete/Attribute.dyn_o ) [120 of 401] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist-ghc/build/Agda/Utils/Favorites.o, dist-ghc/build/Agda/Utils/Favorites.dyn_o ) [121 of 401] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist-ghc/build/Agda/Utils/AssocList.o, dist-ghc/build/Agda/Utils/AssocList.dyn_o ) [122 of 401] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist-ghc/build/Agda/Syntax/Scope/Base.o, dist-ghc/build/Agda/Syntax/Scope/Base.dyn_o ) [123 of 401] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist-ghc/build/Agda/Syntax/Info.o, dist-ghc/build/Agda/Syntax/Info.dyn_o ) [124 of 401] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist-ghc/build/Agda/Interaction/Highlighting/Precise.o, dist-ghc/build/Agda/Interaction/Highlighting/Precise.dyn_o ) [125 of 401] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist-ghc/build/Agda/Interaction/Response.o-boot, dist-ghc/build/Agda/Interaction/Response.dyn_o ) [126 of 401] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist-ghc/build/Agda/Termination/SparseMatrix.o, dist-ghc/build/Agda/Termination/SparseMatrix.dyn_o ) [127 of 401] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist-ghc/build/Agda/Termination/Order.o, dist-ghc/build/Agda/Termination/Order.dyn_o ) [128 of 401] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist-ghc/build/Agda/Termination/CallMatrix.o, dist-ghc/build/Agda/Termination/CallMatrix.dyn_o ) [129 of 401] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist-ghc/build/Agda/Termination/CallGraph.o, dist-ghc/build/Agda/Termination/CallGraph.dyn_o ) [130 of 401] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist-ghc/build/Agda/Termination/Termination.o, dist-ghc/build/Agda/Termination/Termination.dyn_o ) [131 of 401] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist-ghc/build/Agda/Syntax/Parser/Alex.o, dist-ghc/build/Agda/Syntax/Parser/Alex.dyn_o ) [132 of 401] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist-ghc/build/Agda/Syntax/Parser/LookAhead.o, dist-ghc/build/Agda/Syntax/Parser/LookAhead.dyn_o ) [133 of 401] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist-ghc/build/Agda/Syntax/Parser/StringLiterals.o, dist-ghc/build/Agda/Syntax/Parser/StringLiterals.dyn_o ) [134 of 401] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist-ghc/build/Agda/Syntax/Parser/LexActions.o-boot, dist-ghc/build/Agda/Syntax/Parser/LexActions.dyn_o ) [135 of 401] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist-ghc/build/Agda/Syntax/Parser/Layout.o-boot, dist-ghc/build/Agda/Syntax/Parser/Layout.dyn_o ) [136 of 401] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist-ghc/build/Agda/Syntax/Parser/Comments.o, dist-ghc/build/Agda/Syntax/Parser/Comments.dyn_o ) [137 of 401] Compiling Agda.Syntax.Parser.Lexer ( dist-ghc/build/Agda/Syntax/Parser/Lexer.hs, dist-ghc/build/Agda/Syntax/Parser/Lexer.o, dist-ghc/build/Agda/Syntax/Parser/Lexer.dyn_o ) [138 of 401] Compiling Agda.Syntax.Parser.Parser ( dist-ghc/build/Agda/Syntax/Parser/Parser.hs, dist-ghc/build/Agda/Syntax/Parser/Parser.o, dist-ghc/build/Agda/Syntax/Parser/Parser.dyn_o ) [139 of 401] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist-ghc/build/Agda/Syntax/Parser/LexActions.o, dist-ghc/build/Agda/Syntax/Parser/LexActions.dyn_o ) [140 of 401] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist-ghc/build/Agda/Syntax/Parser/Layout.o, dist-ghc/build/Agda/Syntax/Parser/Layout.dyn_o ) [141 of 401] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist-ghc/build/Agda/Syntax/Parser.o, dist-ghc/build/Agda/Syntax/Parser.dyn_o ) [142 of 401] Compiling Agda.Syntax.Internal.Elim ( src/full/Agda/Syntax/Internal/Elim.hs, dist-ghc/build/Agda/Syntax/Internal/Elim.o, dist-ghc/build/Agda/Syntax/Internal/Elim.dyn_o ) [143 of 401] Compiling Agda.Syntax.Internal.Blockers ( src/full/Agda/Syntax/Internal/Blockers.hs, dist-ghc/build/Agda/Syntax/Internal/Blockers.o, dist-ghc/build/Agda/Syntax/Internal/Blockers.dyn_o ) [144 of 401] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist-ghc/build/Agda/Syntax/Internal.o, dist-ghc/build/Agda/Syntax/Internal.dyn_o ) [145 of 401] Compiling Agda.TypeChecking.Substitute.DeBruijn ( src/full/Agda/TypeChecking/Substitute/DeBruijn.hs, dist-ghc/build/Agda/TypeChecking/Substitute/DeBruijn.o, dist-ghc/build/Agda/TypeChecking/Substitute/DeBruijn.dyn_o ) [146 of 401] Compiling Agda.TypeChecking.Free.Precompute ( src/full/Agda/TypeChecking/Free/Precompute.hs, dist-ghc/build/Agda/TypeChecking/Free/Precompute.o, dist-ghc/build/Agda/TypeChecking/Free/Precompute.dyn_o ) [147 of 401] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, dist-ghc/build/Agda/TypeChecking/Free/Lazy.o, dist-ghc/build/Agda/TypeChecking/Free/Lazy.dyn_o ) [148 of 401] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist-ghc/build/Agda/TypeChecking/Free.o, dist-ghc/build/Agda/TypeChecking/Free.dyn_o ) [149 of 401] Compiling Agda.TypeChecking.Substitute.Class ( src/full/Agda/TypeChecking/Substitute/Class.hs, dist-ghc/build/Agda/TypeChecking/Substitute/Class.o, dist-ghc/build/Agda/TypeChecking/Substitute/Class.dyn_o ) [150 of 401] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, dist-ghc/build/Agda/Syntax/Reflected.o, dist-ghc/build/Agda/Syntax/Reflected.dyn_o ) [151 of 401] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist-ghc/build/Agda/Syntax/Internal/Pattern.o, dist-ghc/build/Agda/Syntax/Internal/Pattern.dyn_o ) [152 of 401] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist-ghc/build/Agda/Syntax/Internal/Generic.o, dist-ghc/build/Agda/Syntax/Internal/Generic.dyn_o ) [153 of 401] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause.o, dist-ghc/build/Agda/TypeChecking/CompiledClause.dyn_o ) [154 of 401] Compiling Agda.Syntax.Internal.MetaVars ( src/full/Agda/Syntax/Internal/MetaVars.hs, dist-ghc/build/Agda/Syntax/Internal/MetaVars.o, dist-ghc/build/Agda/Syntax/Internal/MetaVars.dyn_o ) [155 of 401] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist-ghc/build/Agda/Syntax/Internal/Defs.o, dist-ghc/build/Agda/Syntax/Internal/Defs.dyn_o ) [156 of 401] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist-ghc/build/Agda/Syntax/Abstract.o, dist-ghc/build/Agda/Syntax/Abstract.dyn_o ) [157 of 401] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist-ghc/build/Agda/Syntax/Abstract/Views.o, dist-ghc/build/Agda/Syntax/Abstract/Views.dyn_o ) [158 of 401] Compiling Agda.Syntax.Abstract.PatternSynonyms ( src/full/Agda/Syntax/Abstract/PatternSynonyms.hs, dist-ghc/build/Agda/Syntax/Abstract/PatternSynonyms.o, dist-ghc/build/Agda/Syntax/Abstract/PatternSynonyms.dyn_o ) [159 of 401] Compiling Agda.Syntax.Abstract.Pattern ( src/full/Agda/Syntax/Abstract/Pattern.hs, dist-ghc/build/Agda/Syntax/Abstract/Pattern.o, dist-ghc/build/Agda/Syntax/Abstract/Pattern.dyn_o ) [160 of 401] Compiling Agda.Utils.TypeLevel ( src/full/Agda/Utils/TypeLevel.hs, dist-ghc/build/Agda/Utils/TypeLevel.o, dist-ghc/build/Agda/Utils/TypeLevel.dyn_o ) [161 of 401] Compiling Agda.Utils.TypeLits ( src/full/Agda/Utils/TypeLits.hs, dist-ghc/build/Agda/Utils/TypeLits.o, dist-ghc/build/Agda/Utils/TypeLits.dyn_o ) [162 of 401] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist-ghc/build/Agda/Utils/Update.o, dist-ghc/build/Agda/Utils/Update.dyn_o ) [163 of 401] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions.o, dist-ghc/build/Agda/Syntax/Concrete/Definitions.dyn_o ) [164 of 401] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist-ghc/build/Agda/Utils/VarSet.o, dist-ghc/build/Agda/Utils/VarSet.dyn_o ) [165 of 401] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc/build/Agda/Utils/Warshall.o, dist-ghc/build/Agda/Utils/Warshall.dyn_o ) [166 of 401] Compiling Agda.Utils.WithDefault ( src/full/Agda/Utils/WithDefault.hs, dist-ghc/build/Agda/Utils/WithDefault.o, dist-ghc/build/Agda/Utils/WithDefault.dyn_o ) [167 of 401] Compiling Agda.Utils.Zipper ( src/full/Agda/Utils/Zipper.hs, dist-ghc/build/Agda/Utils/Zipper.o, dist-ghc/build/Agda/Utils/Zipper.dyn_o ) [168 of 401] Compiling Paths_Agda ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/Paths_Agda.o, dist-ghc/build/Paths_Agda.dyn_o ) [169 of 401] Compiling Agda.Version ( src/full/Agda/Version.hs, dist-ghc/build/Agda/Version.o, dist-ghc/build/Agda/Version.dyn_o ) [170 of 401] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, dist-ghc/build/Agda/VersionCommit.o, dist-ghc/build/Agda/VersionCommit.dyn_o ) [171 of 401] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, dist-ghc/build/Agda/Interaction/Library.o, dist-ghc/build/Agda/Interaction/Library.dyn_o ) [172 of 401] Compiling Agda.Interaction.Options.Base ( src/full/Agda/Interaction/Options/Base.hs, dist-ghc/build/Agda/Interaction/Options/Base.o, dist-ghc/build/Agda/Interaction/Options/Base.dyn_o ) [173 of 401] Compiling Agda.Interaction.Options.HasOptions ( src/full/Agda/Interaction/Options/HasOptions.hs, dist-ghc/build/Agda/Interaction/Options/HasOptions.o, dist-ghc/build/Agda/Interaction/Options/HasOptions.dyn_o ) [174 of 401] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist-ghc/build/Agda/Interaction/Options.o, dist-ghc/build/Agda/Interaction/Options.dyn_o ) [175 of 401] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base.o, dist-ghc/build/Agda/TypeChecking/Monad/Base.dyn_o ) [176 of 401] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Base.o, dist-ghc/build/Agda/TypeChecking/Serialise/Base.dyn_o ) [177 of 401] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Term.o-boot, dist-ghc/build/Agda/TypeChecking/Rules/Term.dyn_o ) [178 of 401] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o-boot, dist-ghc/build/Agda/TypeChecking/Rules/Decl.dyn_o ) [179 of 401] Compiling Agda.TypeChecking.Rules.Application[boot] ( src/full/Agda/TypeChecking/Rules/Application.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Application.o-boot, dist-ghc/build/Agda/TypeChecking/Rules/Application.dyn_o ) [180 of 401] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, dist-ghc/build/Agda/TypeChecking/Rewriting.o-boot, dist-ghc/build/Agda/TypeChecking/Rewriting.dyn_o ) [181 of 401] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, dist-ghc/build/Agda/TypeChecking/Reduce/Fast.o-boot, dist-ghc/build/Agda/TypeChecking/Reduce/Fast.dyn_o ) [182 of 401] Compiling Agda.TypeChecking.Reduce[boot] ( src/full/Agda/TypeChecking/Reduce.hs-boot, dist-ghc/build/Agda/TypeChecking/Reduce.o-boot, dist-ghc/build/Agda/TypeChecking/Reduce.dyn_o ) [183 of 401] Compiling Agda.TypeChecking.Primitive[boot] ( src/full/Agda/TypeChecking/Primitive.hs-boot, dist-ghc/build/Agda/TypeChecking/Primitive.o-boot, dist-ghc/build/Agda/TypeChecking/Primitive.dyn_o ) [184 of 401] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Options.o-boot, dist-ghc/build/Agda/TypeChecking/Monad/Options.dyn_o ) [185 of 401] Compiling Agda.TypeChecking.Monad.MetaVars[boot] ( src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.o-boot, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.dyn_o ) [186 of 401] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist-ghc/build/Agda/TypeChecking/Monad/Imports.o, dist-ghc/build/Agda/TypeChecking/Monad/Imports.dyn_o ) [187 of 401] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist-ghc/build/Agda/TypeChecking/Monad/Env.o, dist-ghc/build/Agda/TypeChecking/Monad/Env.dyn_o ) [188 of 401] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Context.o-boot, dist-ghc/build/Agda/TypeChecking/Monad/Context.dyn_o ) [189 of 401] Compiling Agda.TypeChecking.Monad.Builtin[boot] ( src/full/Agda/TypeChecking/Monad/Builtin.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.o-boot, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.dyn_o ) [190 of 401] Compiling Agda.TypeChecking.Lock[boot] ( src/full/Agda/TypeChecking/Lock.hs-boot, dist-ghc/build/Agda/TypeChecking/Lock.o-boot, dist-ghc/build/Agda/TypeChecking/Lock.dyn_o ) [191 of 401] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist-ghc/build/Agda/TypeChecking/Errors.o-boot, dist-ghc/build/Agda/TypeChecking/Errors.dyn_o ) [192 of 401] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist-ghc/build/Agda/TypeChecking/Monad/Debug.o, dist-ghc/build/Agda/TypeChecking/Monad/Debug.dyn_o ) [193 of 401] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist-ghc/build/Agda/TypeChecking/Monad/Statistics.o, dist-ghc/build/Agda/TypeChecking/Monad/Statistics.dyn_o ) [194 of 401] Compiling Agda.TypeChecking.Monad.Signature[boot] ( src/full/Agda/TypeChecking/Monad/Signature.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Signature.o-boot, dist-ghc/build/Agda/TypeChecking/Monad/Signature.dyn_o ) [195 of 401] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o-boot, dist-ghc/build/Agda/TypeChecking/ProjectionLike.dyn_o ) [196 of 401] Compiling Agda.TypeChecking.Monad.Pure[boot] ( src/full/Agda/TypeChecking/Monad/Pure.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Pure.o-boot, dist-ghc/build/Agda/TypeChecking/Monad/Pure.dyn_o ) [197 of 401] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty.o-boot, dist-ghc/build/Agda/TypeChecking/Pretty.dyn_o ) [198 of 401] Compiling Agda.TypeChecking.Pretty.Warning[boot] ( src/full/Agda/TypeChecking/Pretty/Warning.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty/Warning.o-boot, dist-ghc/build/Agda/TypeChecking/Pretty/Warning.dyn_o ) [199 of 401] Compiling Agda.TypeChecking.Pretty.Call[boot] ( src/full/Agda/TypeChecking/Pretty/Call.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty/Call.o-boot, dist-ghc/build/Agda/TypeChecking/Pretty/Call.dyn_o ) [200 of 401] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, dist-ghc/build/Agda/TypeChecking/Monad/Caching.o, dist-ghc/build/Agda/TypeChecking/Monad/Caching.dyn_o ) [201 of 401] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist-ghc/build/Agda/TypeChecking/Monad/Benchmark.o, dist-ghc/build/Agda/TypeChecking/Monad/Benchmark.dyn_o ) [202 of 401] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.dyn_o ) [203 of 401] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o ) [204 of 401] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, dist-ghc/build/Agda/Syntax/Internal/Names.o, dist-ghc/build/Agda/Syntax/Internal/Names.dyn_o ) [205 of 401] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist-ghc/build/Agda/Interaction/Imports.o-boot, dist-ghc/build/Agda/Interaction/Imports.dyn_o ) [206 of 401] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o-boot, dist-ghc/build/Agda/Interaction/Highlighting/Generate.dyn_o ) [207 of 401] Compiling Agda.TypeChecking.Warnings ( src/full/Agda/TypeChecking/Warnings.hs, dist-ghc/build/Agda/TypeChecking/Warnings.o, dist-ghc/build/Agda/TypeChecking/Warnings.dyn_o ) [208 of 401] Compiling Agda.Compiler.Treeless.Erase[boot] ( src/full/Agda/Compiler/Treeless/Erase.hs-boot, dist-ghc/build/Agda/Compiler/Treeless/Erase.o-boot, dist-ghc/build/Agda/Compiler/Treeless/Erase.dyn_o ) [209 of 401] Compiling Agda.TypeChecking.Inlining ( src/full/Agda/TypeChecking/Inlining.hs, dist-ghc/build/Agda/TypeChecking/Inlining.o, dist-ghc/build/Agda/TypeChecking/Inlining.dyn_o ) [210 of 401] Compiling Agda.Interaction.Base ( src/full/Agda/Interaction/Base.hs, dist-ghc/build/Agda/Interaction/Base.o, dist-ghc/build/Agda/Interaction/Base.dyn_o ) [211 of 401] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist-ghc/build/Agda/Interaction/Response.o, dist-ghc/build/Agda/Interaction/Response.dyn_o ) [212 of 401] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist-ghc/build/Agda/TypeChecking/Monad/State.o, dist-ghc/build/Agda/TypeChecking/Monad/State.dyn_o ) [213 of 401] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist-ghc/build/Agda/TypeChecking/Monad/Trace.o, dist-ghc/build/Agda/TypeChecking/Monad/Trace.dyn_o ) [214 of 401] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist-ghc/build/Agda/TypeChecking/Monad/Mutual.o, dist-ghc/build/Agda/TypeChecking/Monad/Mutual.dyn_o ) [215 of 401] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist-ghc/build/Agda/TypeChecking/Monad/Closure.o, dist-ghc/build/Agda/TypeChecking/Monad/Closure.dyn_o ) [216 of 401] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Monad/Constraints.o, dist-ghc/build/Agda/TypeChecking/Monad/Constraints.dyn_o ) [217 of 401] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist-ghc/build/Agda/TypeChecking/Constraints.o-boot, dist-ghc/build/Agda/TypeChecking/Constraints.dyn_o ) [218 of 401] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist-ghc/build/Agda/Interaction/Options/Lenses.o, dist-ghc/build/Agda/Interaction/Options/Lenses.dyn_o ) [219 of 401] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist-ghc/build/Agda/Interaction/FindFile.o, dist-ghc/build/Agda/Interaction/FindFile.dyn_o ) [220 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Common.o, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Common.dyn_o ) [221 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Highlighting.o, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_o ) [222 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Abstract.o, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Abstract.dyn_o ) [223 of 401] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist-ghc/build/Agda/TypeChecking/Monad/Options.o, dist-ghc/build/Agda/TypeChecking/Monad/Options.dyn_o ) [224 of 401] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist-ghc/build/Agda/TypeChecking/Substitute.o, dist-ghc/build/Agda/TypeChecking/Substitute.dyn_o ) [225 of 401] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist-ghc/build/Agda/TypeChecking/Monad/Open.o, dist-ghc/build/Agda/TypeChecking/Monad/Open.dyn_o ) [226 of 401] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist-ghc/build/Agda/TypeChecking/Monad/Context.o, dist-ghc/build/Agda/TypeChecking/Monad/Context.dyn_o ) [227 of 401] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, dist-ghc/build/Agda/TypeChecking/Telescope.o-boot, dist-ghc/build/Agda/TypeChecking/Telescope.dyn_o ) [228 of 401] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.o, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.dyn_o ) [229 of 401] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist-ghc/build/Agda/TypeChecking/Polarity.o-boot, dist-ghc/build/Agda/TypeChecking/Polarity.dyn_o ) [230 of 401] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/Monad/SizedTypes.o, dist-ghc/build/Agda/TypeChecking/Monad/SizedTypes.dyn_o ) [231 of 401] Compiling Agda.TypeChecking.Level[boot] ( src/full/Agda/TypeChecking/Level.hs-boot, dist-ghc/build/Agda/TypeChecking/Level.o-boot, dist-ghc/build/Agda/TypeChecking/Level.dyn_o ) [232 of 401] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist-ghc/build/Agda/Syntax/Scope/Monad.o, dist-ghc/build/Agda/Syntax/Scope/Monad.dyn_o ) [233 of 401] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist-ghc/build/Agda/Syntax/Translation/AbstractToConcrete.o, dist-ghc/build/Agda/Syntax/Translation/AbstractToConcrete.dyn_o ) [234 of 401] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist-ghc/build/Agda/Syntax/Abstract/Pretty.o, dist-ghc/build/Agda/Syntax/Abstract/Pretty.dyn_o ) [235 of 401] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators.o, dist-ghc/build/Agda/Syntax/Concrete/Operators.dyn_o ) [236 of 401] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist-ghc/build/Agda/TypeChecking/DropArgs.o, dist-ghc/build/Agda/TypeChecking/DropArgs.dyn_o ) [237 of 401] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, dist-ghc/build/Agda/Compiler/Treeless/Subst.o, dist-ghc/build/Agda/Compiler/Treeless/Subst.dyn_o ) [238 of 401] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, dist-ghc/build/Agda/Compiler/Treeless/Pretty.o, dist-ghc/build/Agda/Compiler/Treeless/Pretty.dyn_o ) [239 of 401] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, dist-ghc/build/Agda/Compiler/Treeless/Compare.o, dist-ghc/build/Agda/Compiler/Treeless/Compare.dyn_o ) [240 of 401] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, dist-ghc/build/Agda/Compiler/Treeless/Uncase.o, dist-ghc/build/Agda/Compiler/Treeless/Uncase.dyn_o ) [241 of 401] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist-ghc/build/Agda/TypeChecking/Monad/Signature.o, dist-ghc/build/Agda/TypeChecking/Monad/Signature.dyn_o ) [242 of 401] Compiling Agda.TypeChecking.Monad.Pure ( src/full/Agda/TypeChecking/Monad/Pure.hs, dist-ghc/build/Agda/TypeChecking/Monad/Pure.o, dist-ghc/build/Agda/TypeChecking/Monad/Pure.dyn_o ) [243 of 401] Compiling Agda.TypeChecking.Irrelevance[boot] ( src/full/Agda/TypeChecking/Irrelevance.hs-boot, dist-ghc/build/Agda/TypeChecking/Irrelevance.o-boot, dist-ghc/build/Agda/TypeChecking/Irrelevance.dyn_o ) [244 of 401] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.o, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.dyn_o ) [245 of 401] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist-ghc/build/Agda/TypeChecking/MetaVars.o-boot, dist-ghc/build/Agda/TypeChecking/MetaVars.dyn_o ) [246 of 401] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist-ghc/build/Agda/TypeChecking/Datatypes.o-boot, dist-ghc/build/Agda/TypeChecking/Datatypes.dyn_o ) [247 of 401] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist-ghc/build/Agda/TypeChecking/Monad.o, dist-ghc/build/Agda/TypeChecking/Monad.dyn_o ) [248 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Compilers.o, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_o ) [249 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Internal.o, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Internal.dyn_o ) [250 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Errors.o, dist-ghc/build/Agda/TypeChecking/Serialise/Instances/Errors.dyn_o ) `llc-13' failed in phase `LLVM Compiler'. (Exit code: -9) -e: error: debian/hlibrary.setup build --builddir=dist-ghc returned exit code 1 at /usr/share/perl5/Debian/Debhelper/Dh_Lib.pm line 880. Debian::Debhelper::Dh_Lib::error("debian/hlibrary.setup build --builddir=dist-ghc returned exit"...) called at /usr/share/perl5/Debian/Debhelper/Dh_Lib.pm line 610 Debian::Debhelper::Dh_Lib::error_exitcode("debian/hlibrary.setup build --builddir=dist-ghc") called at /usr/share/perl5/Debian/Debhelper/Dh_Lib.pm line 473 Debian::Debhelper::Dh_Lib::doit("debian/hlibrary.setup", "build", "--builddir=dist-ghc") called at /usr/share/perl5/Debian/Debhelper/Buildsystem/Haskell/Recipes.pm line 650 Debian::Debhelper::Buildsystem::Haskell::Recipes::build_recipe() called at -e line 1 make: *** [/usr/share/cdbs/1/class/hlibrary.mk:158: build-ghc-stamp] Error 1 dpkg-buildpackage: error: debian/rules binary-arch subprocess returned exit status 2 Command `dpkg-buildpackage --changes-option=-DDistribution=landing -B -mDebian Haskell Group -eDebian Haskell Group ` failed. Command debspawn build --no-buildlog --arch=arm64 --results-dir=/var/lib/lkspark/workspaces/ae8a7b9a-0fb4-4565-bf88-4cf6173fafca --only=arch --maintainer=Debian Haskell Group landing agda_2.6.2.2-1.1.dsc failed with error code 2