Mock Version: 5.9 Mock Version: 5.9 Mock Version: 5.9 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target aarch64 --nodeps /builddir/build/SPECS/Agda.spec'], chrootPath='/var/lib/mock/f42-build-55829914-6539167/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9yiag3r9:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9yiag3r9:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '0663358c69844e29885eb730668c629c', '-D', '/var/lib/mock/f42-build-55829914-6539167/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9yiag3r9:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target aarch64 --nodeps /builddir/build/SPECS/Agda.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1733702400 Wrote: /builddir/build/SRPMS/Agda-2.6.4.3-51.fc42.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/Agda.spec'], chrootPath='/var/lib/mock/f42-build-55829914-6539167/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9yiag3r9:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9yiag3r9:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '6aef415ae02c47afb21da14f90651474', '-D', '/var/lib/mock/f42-build-55829914-6539167/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9yiag3r9:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/Agda.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1733702400 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.hkb5va + umask 022 + cd /builddir/build/BUILD/Agda-2.6.4.3-build + test -d /builddir/build/BUILD/Agda-2.6.4.3-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/Agda-2.6.4.3-build + /usr/bin/rm -rf /builddir/build/BUILD/Agda-2.6.4.3-build + /usr/bin/mkdir -p /builddir/build/BUILD/Agda-2.6.4.3-build + /usr/bin/mkdir -p /builddir/build/BUILD/Agda-2.6.4.3-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.YJE3us + umask 022 + cd /builddir/build/BUILD/Agda-2.6.4.3-build + cd /builddir/build/BUILD/Agda-2.6.4.3-build + rm -rf Agda-2.6.4.3 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/Agda-2.6.4.3.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd Agda-2.6.4.3 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/murmur-hash-0.1.0.10.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/peano-0.1.0.2.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/vector-hashtables-0.1.2.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + cabal-tweak-flag optimise-heavily True + cabal-tweak-flag enable-cluster-counting True + grep -q '"2.6.4.3"' src/data/emacs-mode/agda2-mode.el + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Yk6j9l + umask 022 + cd /builddir/build/BUILD/Agda-2.6.4.3-build + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd Agda-2.6.4.3 + cd src/data/emacs-mode + for i in *.el + echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + grep -q agda-input.el + for i in *.el + echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + grep -q agda2-abbrevs.el + for i in *.el + echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + grep -q agda2-highlight.el + for i in *.el + echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + grep -q agda2-mode-pkg.el + for i in *.el + echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + grep -q agda2-mode.el + for i in *.el + echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + grep -q agda2-queue.el + for i in *.el + echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + grep -q agda2.el + for i in *.el + echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + grep -q annotation.el + for i in *.el + echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + grep -q eri.el + HOME=/builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3 + for i in murmur-hash-0.1.0.10 peano-0.1.0.2 vector-hashtables-0.1.2.0 ++ echo murmur-hash-0.1.0.10 ++ sed -e 's/\(.*\)-.*/\1/' + name=murmur-hash ++ echo murmur-hash-0.1.0.10 ++ sed -e 's/.*-\(.*\)/\1/' + ver=0.1.0.10 + cd murmur-hash-0.1.0.10 ++ ls ++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)' + for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)') ==== Build murmur-hash-0.1.0.10 ==== + '[' -f changelog.md -a -x changelog.md ']' + echo -e '\n==== Build murmur-hash-0.1.0.10 ====' + '[' -f Setup.hs -o -f Setup.lhs ']' + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -x Setup ']' + ghc --make -package Cabal -no-user-package-db -dynamic Setup [1 of 2] Compiling Main ( Setup.hs, Setup.o ) [2 of 2] Linking Setup + LANG=C.utf8 ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ++ sed -e 's/ / -optc/g' ++ echo ' -Wl,-z,relro' -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/Agda '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.6.6/lib --user '--ghc-options=-fhide-source-paths -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-fstack-protector-strong -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-mbranch-protection=standard -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fno-omit-frame-pointer -optc-mno-omit-leaf-frame-pointer -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-Wl,-z,pack-relative-relocs -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1' --enable-library-profiling --enable-shared --docdir=/usr/share/licenses/ghc-murmur-hash --htmldir=/usr/share/doc/ghc/html/libraries/murmur-hash-0.1.0.10 --user Configuring murmur-hash-0.1.0.10... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j12 Preprocessing library for murmur-hash-0.1.0.10.. Building library for murmur-hash-0.1.0.10.. [1 of 2] Compiling Data.Digest.Murmur32 [2 of 2] Compiling Data.Digest.Murmur64 [1 of 2] Compiling Data.Digest.Murmur32 [2 of 2] Compiling Data.Digest.Murmur64 + ./Setup register --inplace Registering library for murmur-hash-0.1.0.10.. + cd .. + for i in murmur-hash-0.1.0.10 peano-0.1.0.2 vector-hashtables-0.1.2.0 ++ echo peano-0.1.0.2 ++ sed -e 's/\(.*\)-.*/\1/' + name=peano ++ echo peano-0.1.0.2 ++ sed -e 's/.*-\(.*\)/\1/' + ver=0.1.0.2 + cd peano-0.1.0.2 ++ ls ++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)' + for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)') ==== Build peano-0.1.0.2 ==== + '[' -f CHANGELOG.md -a -x CHANGELOG.md ']' + for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)') + '[' -f README.md -a -x README.md ']' + echo -e '\n==== Build peano-0.1.0.2 ====' + '[' -f Setup.hs -o -f Setup.lhs ']' + cp /usr/share/ghc-rpm-macros/Setup.hs . + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -x Setup ']' + ghc --make -package Cabal -no-user-package-db -dynamic Setup [1 of 2] Compiling Main ( Setup.hs, Setup.o ) [2 of 2] Linking Setup + LANG=C.utf8 ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ++ sed -e 's/ / -optc/g' ++ echo ' -Wl,-z,relro' -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/Agda '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.6.6/lib --user '--ghc-options=-fhide-source-paths -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-fstack-protector-strong -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-mbranch-protection=standard -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fno-omit-frame-pointer -optc-mno-omit-leaf-frame-pointer -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-Wl,-z,pack-relative-relocs -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1' --enable-library-profiling --enable-shared --docdir=/usr/share/licenses/ghc-peano --htmldir=/usr/share/doc/ghc/html/libraries/peano-0.1.0.2 --user Configuring peano-0.1.0.2... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j12 Preprocessing library for peano-0.1.0.2.. Building library for peano-0.1.0.2.. [1 of 1] Compiling Data.Peano [1 of 1] Compiling Data.Peano + ./Setup register --inplace Registering library for peano-0.1.0.2.. + cd .. + for i in murmur-hash-0.1.0.10 peano-0.1.0.2 vector-hashtables-0.1.2.0 ++ echo vector-hashtables-0.1.2.0 ++ sed -e 's/\(.*\)-.*/\1/' + name=vector-hashtables ++ echo vector-hashtables-0.1.2.0 ++ sed -e 's/.*-\(.*\)/\1/' + ver=0.1.2.0 + cd vector-hashtables-0.1.2.0 ++ ls ++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)' + for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)') ==== Build vector-hashtables-0.1.2.0 ==== + '[' -f README.md -a -x README.md ']' + for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)') + '[' -f changelog.md -a -x changelog.md ']' + echo -e '\n==== Build vector-hashtables-0.1.2.0 ====' + '[' -f Setup.hs -o -f Setup.lhs ']' + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -x Setup ']' + ghc --make -package Cabal -no-user-package-db -dynamic Setup [1 of 2] Compiling Main ( Setup.hs, Setup.o ) [2 of 2] Linking Setup + LANG=C.utf8 ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ++ sed -e 's/ / -optc/g' ++ echo ' -Wl,-z,relro' -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/Agda '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.6.6/lib --user '--ghc-options=-fhide-source-paths -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-fstack-protector-strong -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-mbranch-protection=standard -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fno-omit-frame-pointer -optc-mno-omit-leaf-frame-pointer -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-Wl,-z,pack-relative-relocs -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1' --enable-library-profiling --enable-shared --docdir=/usr/share/licenses/ghc-vector-hashtables --htmldir=/usr/share/doc/ghc/html/libraries/vector-hashtables-0.1.2.0 --user Configuring vector-hashtables-0.1.2.0... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j12 Preprocessing library for vector-hashtables-0.1.2.0.. Building library for vector-hashtables-0.1.2.0.. [1 of 4] Compiling Data.Primitive.PrimArray.Utils [2 of 4] Compiling Data.Vector.Hashtables.Internal.Mask [3 of 4] Compiling Data.Vector.Hashtables.Internal [4 of 4] Compiling Data.Vector.Hashtables [1 of 4] Compiling Data.Primitive.PrimArray.Utils [2 of 4] Compiling Data.Vector.Hashtables.Internal.Mask [3 of 4] Compiling Data.Vector.Hashtables.Internal [4 of 4] Compiling Data.Vector.Hashtables + ./Setup register --inplace Registering library for vector-hashtables-0.1.2.0.. + cd .. ++ ls ++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)' ==== Build Agda-2.6.4.3 ==== + for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)') + '[' -f CHANGELOG.md -a -x CHANGELOG.md ']' + for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)') + '[' -f README.md -a -x README.md ']' + echo -e '\n==== Build Agda-2.6.4.3 ====' + '[' -f Setup.hs -o -f Setup.lhs ']' + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -x Setup ']' + ghc --make -package Cabal -no-user-package-db -dynamic Setup [1 of 2] Compiling Main ( Setup.hs, Setup.o ) [2 of 2] Linking Setup + LANG=C.utf8 ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ++ sed -e 's/ / -optc/g' ++ echo ' -Wl,-z,relro' -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/Agda '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.6.6/lib --user '--ghc-options=-fhide-source-paths -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-fstack-protector-strong -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-mbranch-protection=standard -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fno-omit-frame-pointer -optc-mno-omit-leaf-frame-pointer -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-Wl,-z,pack-relative-relocs -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1' --enable-library-profiling --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3 --user Warning: Agda.cabal:196:3: The field "manual" is specified more than once at positions 196:3, 197:3 Warning: Agda.cabal:188:3: The field "manual" is specified more than once at positions 188:3, 189:3 Configuring Agda-2.6.4.3... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j12 Preprocessing library for Agda-2.6.4.3.. Building library for Agda-2.6.4.3.. [ 1 of 429] Compiling Agda.Interaction.ExitCode [ 2 of 429] Compiling Agda.Termination.CutOff [ 3 of 429] Compiling Agda.Termination.Semiring [ 4 of 429] Compiling Agda.Utils.AffineHole [ 5 of 429] Compiling Agda.Utils.Applicative [ 6 of 429] Compiling Agda.Utils.Boolean [ 7 of 429] Compiling Agda.Syntax.Internal.Univ [ 8 of 429] Compiling Agda.Utils.CallStack.Base [ 9 of 429] Compiling Agda.Utils.Char [ 10 of 429] Compiling Agda.Utils.Environment [ 11 of 429] Compiling Agda.Utils.Fail [ 12 of 429] Compiling Agda.Utils.Function [ 13 of 429] Compiling Agda.TypeChecking.SizedTypes.Utils [ 14 of 429] Compiling Agda.Utils.Functor [ 15 of 429] Compiling Agda.Utils.HashTable [ 16 of 429] Compiling Agda.Utils.Haskell.Syntax [ 17 of 429] Compiling Agda.Compiler.MAlonzo.Strict [ 18 of 429] Compiling Agda.Utils.IO [ 19 of 429] Compiling Agda.Utils.IO.Binary [ 20 of 429] Compiling Agda.Utils.IO.Directory [ 21 of 429] Compiling Agda.Utils.IO.TempFile [ 22 of 429] Compiling Agda.Utils.IO.UTF8 [ 23 of 429] Compiling Agda.Utils.IORef [ 24 of 429] Compiling Agda.Utils.Impossible [ 25 of 429] Compiling Agda.Utils.Empty [ 26 of 429] Compiling Agda.Utils.BoolSet [ 27 of 429] Compiling Agda.Utils.Bag [ 28 of 429] Compiling Agda.Auto.NarrowingSearch [ 29 of 429] Compiling Agda.Utils.IntSet.Infinite [ 30 of 429] Compiling Agda.Utils.Lens [ 31 of 429] Compiling Agda.Utils.IndexedList [ 32 of 429] Compiling Agda.Auto.Options [ 33 of 429] Compiling Agda.Utils.Lens.Examples [ 34 of 429] Compiling Agda.Utils.Map [ 35 of 429] Compiling Agda.Utils.Maybe [ 36 of 429] Compiling Agda.Utils.Memo [ 37 of 429] Compiling Agda.Utils.Monoid [ 38 of 429] Compiling Agda.Utils.Null [ 39 of 429] Compiling Agda.Utils.Maybe.Strict [ 40 of 429] Compiling Agda.Utils.PartialOrd [ 41 of 429] Compiling Agda.Utils.POMonoid [ 42 of 429] Compiling Agda.Utils.Pointer [ 43 of 429] Compiling Agda.Utils.SemiRing [ 44 of 429] Compiling Agda.Utils.Semigroup [ 45 of 429] Compiling Agda.Utils.SmallSet [ 46 of 429] Compiling Agda.Utils.Singleton [ 47 of 429] Compiling Agda.Utils.Cluster [ 48 of 429] Compiling Agda.Utils.Suffix [ 49 of 429] Compiling Agda.Utils.Three [ 50 of 429] Compiling Agda.Utils.Trie [ 51 of 429] Compiling Agda.Utils.Tuple [ 52 of 429] Compiling Agda.Utils.List1[boot] [ 53 of 429] Compiling Agda.Utils.List [ 54 of 429] Compiling Agda.Utils.List1 [ 55 of 429] Compiling Agda.Utils.String [ 56 of 429] Compiling Agda.Utils.Size [ 57 of 429] Compiling Agda.Utils.Permutation [ 58 of 429] Compiling Agda.Utils.ProfileOptions [ 59 of 429] Compiling Agda.Utils.List2 [ 60 of 429] Compiling Agda.Utils.Float [ 61 of 429] Compiling Agda.Utils.Either [ 62 of 429] Compiling Agda.Utils.Monad [ 63 of 429] Compiling Agda.Utils.ListT [ 64 of 429] Compiling Agda.Utils.FileName [ 65 of 429] Compiling Agda.Utils.Hash [ 66 of 429] Compiling Agda.Utils.BiMap [ 67 of 429] Compiling Agda.Syntax.TopLevelModuleName.Boot [ 68 of 429] Compiling Agda.Interaction.Options.Warnings [ 69 of 429] Compiling Agda.Interaction.Options.Help [ 70 of 429] Compiling Agda.Utils.Favorites [ 71 of 429] Compiling Agda.Utils.AssocList [ 72 of 429] Compiling Agda.Utils.TypeLevel [ 73 of 429] Compiling Agda.Syntax.Position[boot] [ 74 of 429] Compiling Agda.Syntax.Position [ 75 of 429] Compiling Agda.Syntax.Common.Aspect [ 76 of 429] Compiling Agda.Syntax.Common.Pretty [ 77 of 429] Compiling Agda.Utils.Time [ 78 of 429] Compiling Agda.Utils.Parser.MemoisedCPS [ 79 of 429] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional [ 80 of 429] Compiling Agda.Utils.Graph.TopSort [ 81 of 429] Compiling Agda.Interaction.Highlighting.Dot.Base [ 82 of 429] Compiling Agda.Utils.CallStack.Pretty [ 83 of 429] Compiling Agda.Utils.CallStack [ 84 of 429] Compiling Agda.Utils.Benchmark [ 85 of 429] Compiling Agda.Termination.SparseMatrix [ 86 of 429] Compiling Agda.Termination.Order [ 87 of 429] Compiling Agda.Termination.CallMatrix [ 88 of 429] Compiling Agda.Termination.CallGraph [ 89 of 429] Compiling Agda.Termination.Termination [ 90 of 429] Compiling Agda.Syntax.Concrete.Glyph [ 91 of 429] Compiling Agda.Interaction.EmacsCommand [ 92 of 429] Compiling Agda.Syntax.Common [ 93 of 429] Compiling Agda.Syntax.Parser.Literate [ 94 of 429] Compiling Agda.Syntax.Fixity [ 95 of 429] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad [ 96 of 429] Compiling Agda.Syntax.Concrete.Name [ 97 of 429] Compiling Agda.Compiler.JS.Syntax [ 98 of 429] Compiling Agda.Compiler.JS.Substitution [ 99 of 429] Compiling Agda.Compiler.JS.Pretty [100 of 429] Compiling Agda.Auto.Syntax [101 of 429] Compiling Agda.Auto.SearchControl [102 of 429] Compiling Agda.Auto.Typecheck [103 of 429] Compiling Agda.Auto.CaseSplit [104 of 429] Compiling Agda.Syntax.Builtin [105 of 429] Compiling Agda.Syntax.Abstract.Name [106 of 429] Compiling Agda.TypeChecking.Positivity.Occurrence [107 of 429] Compiling Agda.TypeChecking.Monad.Base.Warning [108 of 429] Compiling Agda.Syntax.Literal [109 of 429] Compiling Agda.Syntax.Treeless [110 of 429] Compiling Agda.Compiler.Treeless.GuardsToPrims [111 of 429] Compiling Agda.Compiler.Treeless.AsPatterns [112 of 429] Compiling Agda.Syntax.Parser.Tokens [113 of 429] Compiling Agda.Syntax.Concrete [114 of 429] Compiling Agda.Syntax.TopLevelModuleName [115 of 429] Compiling Agda.Syntax.Concrete.Pretty [116 of 429] Compiling Agda.TypeChecking.Coverage.SplitTree [117 of 429] Compiling Agda.Syntax.Notation [118 of 429] Compiling Agda.Syntax.Internal.Elim [119 of 429] Compiling Agda.Syntax.Internal.Blockers [120 of 429] Compiling Agda.Syntax.Internal [121 of 429] Compiling Agda.TypeChecking.Substitute.DeBruijn [122 of 429] Compiling Agda.TypeChecking.Free.Precompute [123 of 429] Compiling Agda.TypeChecking.Free.Lazy [124 of 429] Compiling Agda.Syntax.Reflected [125 of 429] Compiling Agda.Syntax.Internal.Pattern [126 of 429] Compiling Agda.Syntax.Internal.Generic [127 of 429] Compiling Agda.TypeChecking.CompiledClause [128 of 429] Compiling Agda.Syntax.Internal.MetaVars [129 of 429] Compiling Agda.Syntax.Internal.Defs [130 of 429] Compiling Agda.Syntax.Concrete.Pattern [131 of 429] Compiling Agda.Syntax.Concrete.Operators.Parser [132 of 429] Compiling Agda.Syntax.Concrete.Generic [133 of 429] Compiling Agda.Syntax.Concrete.Fixity [134 of 429] Compiling Agda.Syntax.Concrete.Definitions.Types [135 of 429] Compiling Agda.Syntax.Concrete.Definitions.Errors [136 of 429] Compiling Agda.Syntax.Concrete.Definitions.Monad [137 of 429] Compiling Agda.Syntax.Concrete.Attribute [138 of 429] Compiling Agda.Syntax.Parser.Monad [139 of 429] Compiling Agda.Syntax.Parser.Alex [140 of 429] Compiling Agda.Syntax.Parser.LookAhead [141 of 429] Compiling Agda.Syntax.Parser.StringLiterals [142 of 429] Compiling Agda.Syntax.Parser.Layout[boot] [143 of 429] Compiling Agda.Syntax.Parser.LexActions[boot] [144 of 429] Compiling Agda.Syntax.Parser.Comments [145 of 429] Compiling Agda.Syntax.Parser.Lexer [146 of 429] Compiling Agda.Syntax.Parser.LexActions [147 of 429] Compiling Agda.Syntax.Parser.Layout [148 of 429] Compiling Agda.Syntax.Parser.Parser [149 of 429] Compiling Agda.Syntax.Parser [150 of 429] Compiling Agda.Benchmarking [151 of 429] Compiling Agda.TypeChecking.Free [152 of 429] Compiling Agda.TypeChecking.Substitute.Class [153 of 429] Compiling Agda.Syntax.Scope.Base [154 of 429] Compiling Agda.Syntax.Info [155 of 429] Compiling Agda.Syntax.Abstract [156 of 429] Compiling Agda.Syntax.Abstract.Views [157 of 429] Compiling Agda.Syntax.Abstract.UsedNames [158 of 429] Compiling Agda.Syntax.Abstract.PatternSynonyms [159 of 429] Compiling Agda.Syntax.Abstract.Pattern [160 of 429] Compiling Agda.Interaction.Library.Base [161 of 429] Compiling Agda.Interaction.Library.Parse [162 of 429] Compiling Agda.Interaction.Highlighting.Range [163 of 429] Compiling Agda.Utils.RangeMap [164 of 429] Compiling Agda.Interaction.Highlighting.Precise [165 of 429] Compiling Agda.Utils.TypeLits [166 of 429] Compiling Agda.Utils.Unsafe [167 of 429] Compiling Agda.Utils.Update [168 of 429] Compiling Agda.Syntax.Concrete.Definitions [169 of 429] Compiling Agda.Utils.VarSet [170 of 429] Compiling Agda.Utils.Warshall [171 of 429] Compiling Agda.Utils.WithDefault [172 of 429] Compiling Agda.Utils.Zipper [173 of 429] Compiling Paths_Agda [174 of 429] Compiling Agda.Version [175 of 429] Compiling Agda.VersionCommit [176 of 429] Compiling Agda.Interaction.Library [177 of 429] Compiling Agda.Interaction.Options.Base [178 of 429] Compiling Agda.Interaction.Options.HasOptions [179 of 429] Compiling Agda.Syntax.Common.Pretty.ANSI [180 of 429] Compiling Agda.Interaction.Options [181 of 429] Compiling Agda.TypeChecking.Monad.Debug[boot] [182 of 429] Compiling Agda.Compiler.Treeless.Pretty[boot] [183 of 429] Compiling Agda.TypeChecking.Monad.Base[boot] [184 of 429] Compiling Agda.Interaction.Response[boot] [185 of 429] Compiling Agda.Compiler.Backend[boot] [186 of 429] Compiling Agda.Compiler.Builtin[boot] [187 of 429] Compiling Agda.TypeChecking.Monad.Base [188 of 429] Compiling Agda.TypeChecking.Reduce[boot] [189 of 429] Compiling Agda.TypeChecking.Rewriting[boot] [190 of 429] Compiling Agda.TypeChecking.Errors[boot] [191 of 429] Compiling Agda.TypeChecking.Monad.Context[boot] [192 of 429] Compiling Agda.TypeChecking.Monad.Builtin[boot] [193 of 429] Compiling Agda.TypeChecking.Primitive[boot] [194 of 429] Compiling Agda.TypeChecking.Monad.MetaVars[boot] [195 of 429] Compiling Agda.TypeChecking.Rules.Term[boot] [196 of 429] Compiling Agda.Interaction.Highlighting.Generate[boot] [197 of 429] Compiling Agda.TypeChecking.Rules.Decl[boot] [198 of 429] Compiling Agda.TypeChecking.Rules.Data[boot] [199 of 429] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] [200 of 429] Compiling Agda.TypeChecking.Rules.Application[boot] [201 of 429] Compiling Agda.TypeChecking.Lock[boot] [202 of 429] Compiling Agda.TypeChecking.Monad.Options[boot] [203 of 429] Compiling Agda.Compiler.Treeless.Erase[boot] [204 of 429] Compiling Agda.Interaction.Imports[boot] [205 of 429] Compiling Agda.TypeChecking.Reduce.Fast[boot] [206 of 429] Compiling Agda.TypeChecking.CompiledClause.Match[boot] [207 of 429] Compiling Agda.TypeChecking.Substitute [208 of 429] Compiling Agda.Compiler.Treeless.Subst [209 of 429] Compiling Agda.Compiler.Treeless.Pretty [210 of 429] Compiling Agda.Compiler.Treeless.Compare [211 of 429] Compiling Agda.Compiler.Treeless.Uncase [212 of 429] Compiling Agda.TypeChecking.Monad.Debug [213 of 429] Compiling Agda.TypeChecking.Monad.Signature[boot] [214 of 429] Compiling Agda.TypeChecking.Monad.Pure[boot] [215 of 429] Compiling Agda.TypeChecking.Pretty[boot] [216 of 429] Compiling Agda.TypeChecking.Pretty.Call[boot] [217 of 429] Compiling Agda.TypeChecking.ProjectionLike[boot] [218 of 429] Compiling Agda.TypeChecking.Opacity[boot] [219 of 429] Compiling Agda.TypeChecking.Monad.Builtin [220 of 429] Compiling Agda.TypeChecking.Level[boot] [221 of 429] Compiling Agda.TypeChecking.DropArgs [222 of 429] Compiling Agda.TypeChecking.Monad.Benchmark [223 of 429] Compiling Agda.TypeChecking.Monad.Env [224 of 429] Compiling Agda.Syntax.Internal.Names [225 of 429] Compiling Agda.TypeChecking.Inlining [226 of 429] Compiling Agda.TypeChecking.Monad.Imports [227 of 429] Compiling Agda.TypeChecking.Serialise.Base [228 of 429] Compiling Agda.TypeChecking.Monad.Statistics [229 of 429] Compiling Agda.TypeChecking.Monad.Caching [230 of 429] Compiling Agda.Interaction.Base [231 of 429] Compiling Agda.TypeChecking.Pretty.Warning[boot] [232 of 429] Compiling Agda.TypeChecking.Warnings [233 of 429] Compiling Agda.Interaction.Response [234 of 429] Compiling Agda.TypeChecking.Monad.State [235 of 429] Compiling Agda.TypeChecking.Monad.Trace [236 of 429] Compiling Agda.TypeChecking.Monad.Open [237 of 429] Compiling Agda.TypeChecking.Monad.Context [238 of 429] Compiling Agda.TypeChecking.Polarity[boot] [239 of 429] Compiling Agda.TypeChecking.Monad.Modality [240 of 429] Compiling Agda.Interaction.Options.Lenses [241 of 429] Compiling Agda.TypeChecking.Monad.Closure [242 of 429] Compiling Agda.TypeChecking.Monad.Constraints [243 of 429] Compiling Agda.TypeChecking.Constraints[boot] [244 of 429] Compiling Agda.TypeChecking.Monad.Mutual [245 of 429] Compiling Agda.TypeChecking.Monad.SizedTypes [246 of 429] Compiling Agda.Syntax.Scope.Monad [247 of 429] Compiling Agda.Syntax.Scope.Flat [248 of 429] Compiling Agda.Syntax.Concrete.Operators [249 of 429] Compiling Agda.Interaction.FindFile [250 of 429] Compiling Agda.TypeChecking.Monad.Options [251 of 429] Compiling Agda.TypeChecking.Monad.Signature [252 of 429] Compiling Agda.TypeChecking.Datatypes[boot] [253 of 429] Compiling Agda.TypeChecking.Monad.Pure [254 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Base[boot] [255 of 429] Compiling Agda.TypeChecking.Irrelevance[boot] [256 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Common [257 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting [258 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Abstract [259 of 429] Compiling Agda.TypeChecking.Telescope[boot] [260 of 429] Compiling Agda.TypeChecking.Monad.MetaVars [261 of 429] Compiling Agda.TypeChecking.MetaVars[boot] [262 of 429] Compiling Agda.TypeChecking.Monad [263 of 429] Compiling Agda.TypeChecking.Records[boot] [264 of 429] Compiling Agda.TypeChecking.Conversion[boot] [265 of 429] Compiling Agda.TypeChecking.Rules.Def[boot] [266 of 429] Compiling Agda.TypeChecking.CheckInternal[boot] [267 of 429] Compiling Agda.TypeChecking.Patterns.Match[boot] [268 of 429] Compiling Agda.TypeChecking.Empty[boot] [269 of 429] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] [270 of 429] Compiling Agda.TypeChecking.Reduce.Monad [271 of 429] Compiling Agda.ImpossibleTest [272 of 429] Compiling Agda.TypeChecking.Patterns.Abstract [273 of 429] Compiling Agda.TypeChecking.EtaContract [274 of 429] Compiling Agda.TypeChecking.Reduce [275 of 429] Compiling Agda.TypeChecking.Telescope [276 of 429] Compiling Agda.TypeChecking.Level [277 of 429] Compiling Agda.TypeChecking.LevelConstraints [278 of 429] Compiling Agda.TypeChecking.SyntacticEquality [279 of 429] Compiling Agda.TypeChecking.Free.Reduce [280 of 429] Compiling Agda.TypeChecking.DisplayForm [281 of 429] Compiling Agda.Interaction.Highlighting.FromAbstract [282 of 429] Compiling Agda.TypeChecking.Forcing [283 of 429] Compiling Agda.TypeChecking.MetaVars.Mention [284 of 429] Compiling Agda.TypeChecking.Level.Solve [285 of 429] Compiling Agda.Termination.RecCheck [286 of 429] Compiling Agda.TypeChecking.Rewriting.Clause [287 of 429] Compiling Agda.Syntax.Translation.ReflectedToAbstract [288 of 429] Compiling Agda.Compiler.Treeless.Unused [289 of 429] Compiling Agda.Interaction.Highlighting.LaTeX.Base [290 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Compilers [291 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Internal [292 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Errors [293 of 429] Compiling Agda.TypeChecking.Serialise.Instances [294 of 429] Compiling Agda.TypeChecking.Serialise [295 of 429] Compiling Agda.TypeChecking.DeadCode [296 of 429] Compiling Agda.Syntax.IdiomBrackets [297 of 429] Compiling Agda.Syntax.DoNotation [298 of 429] Compiling Agda.Interaction.Highlighting.Vim [299 of 429] Compiling Agda.Interaction.Highlighting.HTML.Base [300 of 429] Compiling Agda.Compiler.Treeless.Identity [301 of 429] Compiling Agda.Compiler.Treeless.Builtin [302 of 429] Compiling Agda.Compiler.MAlonzo.Coerce [303 of 429] Compiling Agda.Compiler.CallCompiler [304 of 429] Compiling Agda.TypeChecking.CompiledClause.Match [305 of 429] Compiling Agda.Compiler.Treeless.EliminateDefaults [306 of 429] Compiling Agda.Syntax.Translation.AbstractToConcrete [307 of 429] Compiling Agda.Syntax.Abstract.Pretty [308 of 429] Compiling Agda.Syntax.Translation.InternalToAbstract [309 of 429] Compiling Agda.TypeChecking.Pretty [310 of 429] Compiling Agda.TypeChecking.Pretty.Constraint[boot] [311 of 429] Compiling Agda.TypeChecking.Pretty.Call [312 of 429] Compiling Agda.TypeChecking.Functions [313 of 429] Compiling Agda.TypeChecking.Datatypes [314 of 429] Compiling Agda.TypeChecking.Names [315 of 429] Compiling Agda.TypeChecking.Primitive.Base [316 of 429] Compiling Agda.TypeChecking.Quote [317 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Base [318 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Id [319 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Glue [320 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.HCompU [321 of 429] Compiling Agda.TypeChecking.Primitive.Cubical [322 of 429] Compiling Agda.TypeChecking.Primitive [323 of 429] Compiling Agda.Compiler.Treeless.Simplify [324 of 429] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns [325 of 429] Compiling Agda.TypeChecking.Telescope.Path [326 of 429] Compiling Agda.TypeChecking.Irrelevance [327 of 429] Compiling Agda.TypeChecking.Records [328 of 429] Compiling Agda.TypeChecking.Rewriting.NonLinPattern [329 of 429] Compiling Agda.TypeChecking.Positivity [330 of 429] Compiling Agda.TypeChecking.Pretty.Warning [331 of 429] Compiling Agda.TypeChecking.Errors [332 of 429] Compiling Agda.TypeChecking.Pretty.Constraint [333 of 429] Compiling Agda.TypeChecking.SizedTypes [334 of 429] Compiling Agda.TypeChecking.Polarity [335 of 429] Compiling Agda.TypeChecking.ProjectionLike [336 of 429] Compiling Agda.TypeChecking.Sort [337 of 429] Compiling Agda.TypeChecking.Rules.LHS.Problem [338 of 429] Compiling Agda.TypeChecking.Implicit [339 of 429] Compiling Agda.TypeChecking.Rules.LHS.Implicit [340 of 429] Compiling Agda.TypeChecking.SizedTypes.Syntax [341 of 429] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver [342 of 429] Compiling Agda.TypeChecking.Rules.LHS.Unify.Types [343 of 429] Compiling Agda.TypeChecking.Rules.LHS.Unify.LeftInverse [344 of 429] Compiling Agda.TypeChecking.Patterns.Match [345 of 429] Compiling Agda.TypeChecking.Conversion.Pure [346 of 429] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest [347 of 429] Compiling Agda.TypeChecking.Coverage.Match [348 of 429] Compiling Agda.TypeChecking.InstanceArguments [349 of 429] Compiling Agda.TypeChecking.Constraints [350 of 429] Compiling Agda.TypeChecking.MetaVars.Occurs [351 of 429] Compiling Agda.TypeChecking.Rules.LHS.Unify [352 of 429] Compiling Agda.TypeChecking.RecordPatterns [353 of 429] Compiling Agda.TypeChecking.Rules.Display [354 of 429] Compiling Agda.TypeChecking.Injectivity [355 of 429] Compiling Agda.Termination.Monad [356 of 429] Compiling Agda.TypeChecking.Rewriting.NonLinMatch [357 of 429] Compiling Agda.TypeChecking.Lock [358 of 429] Compiling Agda.TypeChecking.MetaVars [359 of 429] Compiling Agda.TypeChecking.SizedTypes.Solve [360 of 429] Compiling Agda.TypeChecking.Coverage.SplitClause [361 of 429] Compiling Agda.TypeChecking.Coverage.Cubical [362 of 429] Compiling Agda.Interaction.Highlighting.Generate [363 of 429] Compiling Agda.TypeChecking.Opacity [364 of 429] Compiling Agda.Compiler.Treeless.Erase [365 of 429] Compiling Agda.TypeChecking.Conversion [366 of 429] Compiling Agda.TypeChecking.CheckInternal [367 of 429] Compiling Agda.TypeChecking.Abstract [368 of 429] Compiling Agda.TypeChecking.With [369 of 429] Compiling Agda.TypeChecking.ReconstructParameters [370 of 429] Compiling Agda.TypeChecking.Rules.LHS [371 of 429] Compiling Agda.TypeChecking.Generalize [372 of 429] Compiling Agda.TypeChecking.Rules.Data [373 of 429] Compiling Agda.TypeChecking.Modalities [374 of 429] Compiling Agda.TypeChecking.IApplyConfluence [375 of 429] Compiling Agda.TypeChecking.Rewriting.Confluence [376 of 429] Compiling Agda.TypeChecking.Rewriting [377 of 429] Compiling Agda.TypeChecking.Reduce.Fast [378 of 429] Compiling Agda.TypeChecking.Unquote [379 of 429] Compiling Agda.TypeChecking.Rules.Term [380 of 429] Compiling Agda.TypeChecking.Rules.Builtin [381 of 429] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction [382 of 429] Compiling Agda.TypeChecking.Coverage [383 of 429] Compiling Agda.TypeChecking.Empty [384 of 429] Compiling Agda.TypeChecking.CompiledClause.Compile [385 of 429] Compiling Agda.TypeChecking.Rules.Def [386 of 429] Compiling Agda.TypeChecking.Rules.Application [387 of 429] Compiling Agda.TypeChecking.Rules.Record [388 of 429] Compiling Agda.Compiler.ToTreeless [389 of 429] Compiling Agda.Termination.TermCheck [390 of 429] Compiling Agda.TypeChecking.Rules.Decl [391 of 429] Compiling Agda.TheTypeChecker [392 of 429] Compiling Agda.Syntax.Translation.ConcreteToAbstract [393 of 429] Compiling Agda.Interaction.BasicOps [394 of 429] Compiling Agda.Interaction.Imports [395 of 429] Compiling Agda.Compiler.Common [396 of 429] Compiling Agda.Compiler.Backend [397 of 429] Compiling Agda.Compiler.JS.Compiler [398 of 429] Compiling Agda.Interaction.Highlighting.LaTeX.Backend [399 of 429] Compiling Agda.Interaction.Highlighting.LaTeX [400 of 429] Compiling Agda.Interaction.Highlighting.HTML.Backend [401 of 429] Compiling Agda.Interaction.Highlighting.HTML [402 of 429] Compiling Agda.Interaction.Highlighting.Dot.Backend [403 of 429] Compiling Agda.Interaction.Highlighting.Dot [404 of 429] Compiling Agda.Compiler.MAlonzo.Misc [405 of 429] Compiling Agda.Compiler.MAlonzo.Primitives [406 of 429] Compiling Agda.Compiler.MAlonzo.Encode [407 of 429] Compiling Agda.Compiler.MAlonzo.Pretty [408 of 429] Compiling Agda.Compiler.MAlonzo.Pragmas [409 of 429] Compiling Agda.Compiler.MAlonzo.HaskellTypes [410 of 429] Compiling Agda.Compiler.MAlonzo.Compiler [411 of 429] Compiling Agda.Compiler.Builtin [412 of 429] Compiling Agda.Syntax.Internal.SanityCheck [413 of 429] Compiling Agda.Interaction.Monad [414 of 429] Compiling Agda.Interaction.JSON [415 of 429] Compiling Agda.Interaction.Highlighting.Common [416 of 429] Compiling Agda.Interaction.Highlighting.JSON [417 of 429] Compiling Agda.Compiler.Treeless.NormalizeNames [418 of 429] Compiling Agda.TypeChecking.Patterns.Internal [419 of 429] Compiling Agda.Interaction.MakeCase [420 of 429] Compiling Agda.Interaction.Highlighting.Emacs [421 of 429] Compiling Agda.Interaction.CommandLine [422 of 429] Compiling Agda.Interaction.SearchAbout [423 of 429] Compiling Agda.Auto.Convert [424 of 429] Compiling Agda.Auto.Auto [425 of 429] Compiling Agda.Interaction.InteractionTop [426 of 429] Compiling Agda.Interaction.AgdaTop [427 of 429] Compiling Agda.Interaction.EmacsTop [428 of 429] Compiling Agda.Interaction.JSONTop [429 of 429] Compiling Agda.Main [ 1 of 429] Compiling Agda.Interaction.ExitCode [ 2 of 429] Compiling Agda.Termination.CutOff [ 3 of 429] Compiling Agda.Termination.Semiring [ 4 of 429] Compiling Agda.Utils.AffineHole [ 5 of 429] Compiling Agda.Utils.Applicative [ 6 of 429] Compiling Agda.Utils.Boolean [ 7 of 429] Compiling Agda.Syntax.Internal.Univ [ 8 of 429] Compiling Agda.Utils.CallStack.Base [ 9 of 429] Compiling Agda.Utils.Char [ 10 of 429] Compiling Agda.Utils.Environment [ 11 of 429] Compiling Agda.Utils.Fail [ 12 of 429] Compiling Agda.Utils.Function [ 13 of 429] Compiling Agda.TypeChecking.SizedTypes.Utils [ 14 of 429] Compiling Agda.Utils.Functor [ 15 of 429] Compiling Agda.Utils.HashTable [ 16 of 429] Compiling Agda.Utils.Haskell.Syntax [ 17 of 429] Compiling Agda.Compiler.MAlonzo.Strict [ 18 of 429] Compiling Agda.Utils.IO [ 19 of 429] Compiling Agda.Utils.IO.Binary [ 20 of 429] Compiling Agda.Utils.IO.Directory [ 21 of 429] Compiling Agda.Utils.IO.TempFile [ 22 of 429] Compiling Agda.Utils.IO.UTF8 [ 23 of 429] Compiling Agda.Utils.IORef [ 24 of 429] Compiling Agda.Utils.Impossible [ 25 of 429] Compiling Agda.Utils.Empty [ 26 of 429] Compiling Agda.Utils.BoolSet [ 27 of 429] Compiling Agda.Utils.Bag [ 28 of 429] Compiling Agda.Auto.NarrowingSearch [ 29 of 429] Compiling Agda.Utils.IntSet.Infinite [ 30 of 429] Compiling Agda.Utils.Lens [ 31 of 429] Compiling Agda.Utils.IndexedList [ 32 of 429] Compiling Agda.Auto.Options [ 33 of 429] Compiling Agda.Utils.Lens.Examples [ 34 of 429] Compiling Agda.Utils.Map [ 35 of 429] Compiling Agda.Utils.Maybe [ 36 of 429] Compiling Agda.Utils.Memo [ 37 of 429] Compiling Agda.Utils.Monoid [ 38 of 429] Compiling Agda.Utils.Null [ 39 of 429] Compiling Agda.Utils.Maybe.Strict [ 40 of 429] Compiling Agda.Utils.PartialOrd [ 41 of 429] Compiling Agda.Utils.POMonoid [ 42 of 429] Compiling Agda.Utils.Pointer [ 43 of 429] Compiling Agda.Utils.SemiRing [ 44 of 429] Compiling Agda.Utils.Semigroup [ 45 of 429] Compiling Agda.Utils.SmallSet [ 46 of 429] Compiling Agda.Utils.Singleton [ 47 of 429] Compiling Agda.Utils.Cluster [ 48 of 429] Compiling Agda.Utils.Suffix [ 49 of 429] Compiling Agda.Utils.Three [ 50 of 429] Compiling Agda.Utils.Trie [ 51 of 429] Compiling Agda.Utils.Tuple [ 52 of 429] Compiling Agda.Utils.List1[boot] [ 53 of 429] Compiling Agda.Utils.List [ 54 of 429] Compiling Agda.Utils.List1 [ 55 of 429] Compiling Agda.Utils.String [ 56 of 429] Compiling Agda.Utils.Size [ 57 of 429] Compiling Agda.Utils.Permutation [ 58 of 429] Compiling Agda.Utils.ProfileOptions [ 59 of 429] Compiling Agda.Utils.List2 [ 60 of 429] Compiling Agda.Utils.Float [ 61 of 429] Compiling Agda.Utils.Either [ 62 of 429] Compiling Agda.Utils.Monad [ 63 of 429] Compiling Agda.Utils.ListT [ 64 of 429] Compiling Agda.Utils.FileName [ 65 of 429] Compiling Agda.Utils.Hash [ 66 of 429] Compiling Agda.Utils.BiMap [ 67 of 429] Compiling Agda.Syntax.TopLevelModuleName.Boot [ 68 of 429] Compiling Agda.Interaction.Options.Warnings [ 69 of 429] Compiling Agda.Interaction.Options.Help [ 70 of 429] Compiling Agda.Utils.Favorites [ 71 of 429] Compiling Agda.Utils.AssocList [ 72 of 429] Compiling Agda.Utils.TypeLevel [ 73 of 429] Compiling Agda.Syntax.Position[boot] [ 74 of 429] Compiling Agda.Syntax.Position [ 75 of 429] Compiling Agda.Syntax.Common.Aspect [ 76 of 429] Compiling Agda.Syntax.Common.Pretty [ 77 of 429] Compiling Agda.Utils.Time [ 78 of 429] Compiling Agda.Utils.Parser.MemoisedCPS [ 79 of 429] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional [ 80 of 429] Compiling Agda.Utils.Graph.TopSort [ 81 of 429] Compiling Agda.Interaction.Highlighting.Dot.Base [ 82 of 429] Compiling Agda.Utils.CallStack.Pretty [ 83 of 429] Compiling Agda.Utils.CallStack [ 84 of 429] Compiling Agda.Utils.Benchmark [ 85 of 429] Compiling Agda.Termination.SparseMatrix [ 86 of 429] Compiling Agda.Termination.Order [ 87 of 429] Compiling Agda.Termination.CallMatrix [ 88 of 429] Compiling Agda.Termination.CallGraph [ 89 of 429] Compiling Agda.Termination.Termination [ 90 of 429] Compiling Agda.Syntax.Concrete.Glyph [ 91 of 429] Compiling Agda.Interaction.EmacsCommand [ 92 of 429] Compiling Agda.Syntax.Common [ 93 of 429] Compiling Agda.Syntax.Parser.Literate [ 94 of 429] Compiling Agda.Syntax.Fixity [ 95 of 429] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad [ 96 of 429] Compiling Agda.Syntax.Concrete.Name [ 97 of 429] Compiling Agda.Compiler.JS.Syntax [ 98 of 429] Compiling Agda.Compiler.JS.Substitution [ 99 of 429] Compiling Agda.Compiler.JS.Pretty [100 of 429] Compiling Agda.Auto.Syntax [101 of 429] Compiling Agda.Auto.SearchControl [102 of 429] Compiling Agda.Auto.Typecheck [103 of 429] Compiling Agda.Auto.CaseSplit [104 of 429] Compiling Agda.Syntax.Builtin [105 of 429] Compiling Agda.Syntax.Abstract.Name [106 of 429] Compiling Agda.TypeChecking.Positivity.Occurrence [107 of 429] Compiling Agda.TypeChecking.Monad.Base.Warning [108 of 429] Compiling Agda.Syntax.Literal [109 of 429] Compiling Agda.Syntax.Treeless [110 of 429] Compiling Agda.Compiler.Treeless.GuardsToPrims [111 of 429] Compiling Agda.Compiler.Treeless.AsPatterns [112 of 429] Compiling Agda.Syntax.Parser.Tokens [113 of 429] Compiling Agda.Syntax.Concrete [114 of 429] Compiling Agda.Syntax.TopLevelModuleName [115 of 429] Compiling Agda.Syntax.Concrete.Pretty [116 of 429] Compiling Agda.TypeChecking.Coverage.SplitTree [117 of 429] Compiling Agda.Syntax.Notation [118 of 429] Compiling Agda.Syntax.Internal.Elim [119 of 429] Compiling Agda.Syntax.Internal.Blockers [120 of 429] Compiling Agda.Syntax.Internal [121 of 429] Compiling Agda.TypeChecking.Substitute.DeBruijn [122 of 429] Compiling Agda.TypeChecking.Free.Precompute [123 of 429] Compiling Agda.TypeChecking.Free.Lazy [124 of 429] Compiling Agda.Syntax.Reflected [125 of 429] Compiling Agda.Syntax.Internal.Pattern [126 of 429] Compiling Agda.Syntax.Internal.Generic [127 of 429] Compiling Agda.TypeChecking.CompiledClause [128 of 429] Compiling Agda.Syntax.Internal.MetaVars [129 of 429] Compiling Agda.Syntax.Internal.Defs [130 of 429] Compiling Agda.Syntax.Concrete.Pattern [131 of 429] Compiling Agda.Syntax.Concrete.Operators.Parser [132 of 429] Compiling Agda.Syntax.Concrete.Generic [133 of 429] Compiling Agda.Syntax.Concrete.Fixity [134 of 429] Compiling Agda.Syntax.Concrete.Definitions.Types [135 of 429] Compiling Agda.Syntax.Concrete.Definitions.Errors [136 of 429] Compiling Agda.Syntax.Concrete.Definitions.Monad [137 of 429] Compiling Agda.Syntax.Concrete.Attribute [138 of 429] Compiling Agda.Syntax.Parser.Monad [139 of 429] Compiling Agda.Syntax.Parser.Alex [140 of 429] Compiling Agda.Syntax.Parser.LookAhead [141 of 429] Compiling Agda.Syntax.Parser.StringLiterals [142 of 429] Compiling Agda.Syntax.Parser.Layout[boot] [143 of 429] Compiling Agda.Syntax.Parser.LexActions[boot] [144 of 429] Compiling Agda.Syntax.Parser.Comments [145 of 429] Compiling Agda.Syntax.Parser.Lexer [146 of 429] Compiling Agda.Syntax.Parser.LexActions [147 of 429] Compiling Agda.Syntax.Parser.Layout [148 of 429] Compiling Agda.Syntax.Parser.Parser [149 of 429] Compiling Agda.Syntax.Parser [150 of 429] Compiling Agda.Benchmarking [151 of 429] Compiling Agda.TypeChecking.Free [152 of 429] Compiling Agda.TypeChecking.Substitute.Class [153 of 429] Compiling Agda.Syntax.Scope.Base [154 of 429] Compiling Agda.Syntax.Info [155 of 429] Compiling Agda.Syntax.Abstract [156 of 429] Compiling Agda.Syntax.Abstract.Views [157 of 429] Compiling Agda.Syntax.Abstract.UsedNames [158 of 429] Compiling Agda.Syntax.Abstract.PatternSynonyms [159 of 429] Compiling Agda.Syntax.Abstract.Pattern [160 of 429] Compiling Agda.Interaction.Library.Base [161 of 429] Compiling Agda.Interaction.Library.Parse [162 of 429] Compiling Agda.Interaction.Highlighting.Range [163 of 429] Compiling Agda.Utils.RangeMap [164 of 429] Compiling Agda.Interaction.Highlighting.Precise [165 of 429] Compiling Agda.Utils.TypeLits [166 of 429] Compiling Agda.Utils.Unsafe [167 of 429] Compiling Agda.Utils.Update [168 of 429] Compiling Agda.Syntax.Concrete.Definitions [169 of 429] Compiling Agda.Utils.VarSet [170 of 429] Compiling Agda.Utils.Warshall [171 of 429] Compiling Agda.Utils.WithDefault [172 of 429] Compiling Agda.Utils.Zipper [173 of 429] Compiling Paths_Agda [174 of 429] Compiling Agda.Version [175 of 429] Compiling Agda.VersionCommit [176 of 429] Compiling Agda.Interaction.Library [177 of 429] Compiling Agda.Interaction.Options.Base [178 of 429] Compiling Agda.Interaction.Options.HasOptions [179 of 429] Compiling Agda.Syntax.Common.Pretty.ANSI [180 of 429] Compiling Agda.Interaction.Options [181 of 429] Compiling Agda.TypeChecking.Monad.Debug[boot] [182 of 429] Compiling Agda.Compiler.Treeless.Pretty[boot] [183 of 429] Compiling Agda.TypeChecking.Monad.Base[boot] [184 of 429] Compiling Agda.Interaction.Response[boot] [185 of 429] Compiling Agda.Compiler.Backend[boot] [186 of 429] Compiling Agda.Compiler.Builtin[boot] [187 of 429] Compiling Agda.TypeChecking.Monad.Base [188 of 429] Compiling Agda.TypeChecking.Reduce[boot] [189 of 429] Compiling Agda.TypeChecking.Rewriting[boot] [190 of 429] Compiling Agda.TypeChecking.Errors[boot] [191 of 429] Compiling Agda.TypeChecking.Monad.Context[boot] [192 of 429] Compiling Agda.TypeChecking.Monad.Builtin[boot] [193 of 429] Compiling Agda.TypeChecking.Primitive[boot] [194 of 429] Compiling Agda.TypeChecking.Monad.MetaVars[boot] [195 of 429] Compiling Agda.TypeChecking.Rules.Term[boot] [196 of 429] Compiling Agda.Interaction.Highlighting.Generate[boot] [197 of 429] Compiling Agda.TypeChecking.Rules.Decl[boot] [198 of 429] Compiling Agda.TypeChecking.Rules.Data[boot] [199 of 429] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] [200 of 429] Compiling Agda.TypeChecking.Rules.Application[boot] [201 of 429] Compiling Agda.TypeChecking.Lock[boot] [202 of 429] Compiling Agda.TypeChecking.Monad.Options[boot] [203 of 429] Compiling Agda.Compiler.Treeless.Erase[boot] [204 of 429] Compiling Agda.Interaction.Imports[boot] [205 of 429] Compiling Agda.TypeChecking.Reduce.Fast[boot] [206 of 429] Compiling Agda.TypeChecking.CompiledClause.Match[boot] [207 of 429] Compiling Agda.TypeChecking.Substitute [208 of 429] Compiling Agda.Compiler.Treeless.Subst [209 of 429] Compiling Agda.Compiler.Treeless.Pretty [210 of 429] Compiling Agda.Compiler.Treeless.Compare [211 of 429] Compiling Agda.Compiler.Treeless.Uncase [212 of 429] Compiling Agda.TypeChecking.Monad.Debug [213 of 429] Compiling Agda.TypeChecking.Monad.Signature[boot] [214 of 429] Compiling Agda.TypeChecking.Monad.Pure[boot] [215 of 429] Compiling Agda.TypeChecking.Pretty[boot] [216 of 429] Compiling Agda.TypeChecking.Pretty.Call[boot] [217 of 429] Compiling Agda.TypeChecking.ProjectionLike[boot] [218 of 429] Compiling Agda.TypeChecking.Opacity[boot] [219 of 429] Compiling Agda.TypeChecking.Monad.Builtin [220 of 429] Compiling Agda.TypeChecking.Level[boot] [221 of 429] Compiling Agda.TypeChecking.DropArgs [222 of 429] Compiling Agda.TypeChecking.Monad.Benchmark [223 of 429] Compiling Agda.TypeChecking.Monad.Env [224 of 429] Compiling Agda.Syntax.Internal.Names [225 of 429] Compiling Agda.TypeChecking.Inlining [226 of 429] Compiling Agda.TypeChecking.Monad.Imports [227 of 429] Compiling Agda.TypeChecking.Serialise.Base [228 of 429] Compiling Agda.TypeChecking.Monad.Statistics [229 of 429] Compiling Agda.TypeChecking.Monad.Caching [230 of 429] Compiling Agda.Interaction.Base [231 of 429] Compiling Agda.TypeChecking.Pretty.Warning[boot] [232 of 429] Compiling Agda.TypeChecking.Warnings [233 of 429] Compiling Agda.Interaction.Response [234 of 429] Compiling Agda.TypeChecking.Monad.State [235 of 429] Compiling Agda.TypeChecking.Monad.Trace [236 of 429] Compiling Agda.TypeChecking.Monad.Open [237 of 429] Compiling Agda.TypeChecking.Monad.Context [238 of 429] Compiling Agda.TypeChecking.Polarity[boot] [239 of 429] Compiling Agda.TypeChecking.Monad.Modality [240 of 429] Compiling Agda.Interaction.Options.Lenses [241 of 429] Compiling Agda.TypeChecking.Monad.Closure [242 of 429] Compiling Agda.TypeChecking.Monad.Constraints [243 of 429] Compiling Agda.TypeChecking.Constraints[boot] [244 of 429] Compiling Agda.TypeChecking.Monad.Mutual [245 of 429] Compiling Agda.TypeChecking.Monad.SizedTypes [246 of 429] Compiling Agda.Syntax.Scope.Monad [247 of 429] Compiling Agda.Syntax.Scope.Flat [248 of 429] Compiling Agda.Syntax.Concrete.Operators [249 of 429] Compiling Agda.Interaction.FindFile [250 of 429] Compiling Agda.TypeChecking.Monad.Options [251 of 429] Compiling Agda.TypeChecking.Monad.Signature [252 of 429] Compiling Agda.TypeChecking.Datatypes[boot] [253 of 429] Compiling Agda.TypeChecking.Monad.Pure [254 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Base[boot] [255 of 429] Compiling Agda.TypeChecking.Irrelevance[boot] [256 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Common [257 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting [258 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Abstract [259 of 429] Compiling Agda.TypeChecking.Telescope[boot] [260 of 429] Compiling Agda.TypeChecking.Monad.MetaVars [261 of 429] Compiling Agda.TypeChecking.MetaVars[boot] [262 of 429] Compiling Agda.TypeChecking.Monad [263 of 429] Compiling Agda.TypeChecking.Records[boot] [264 of 429] Compiling Agda.TypeChecking.Conversion[boot] [265 of 429] Compiling Agda.TypeChecking.Rules.Def[boot] [266 of 429] Compiling Agda.TypeChecking.CheckInternal[boot] [267 of 429] Compiling Agda.TypeChecking.Patterns.Match[boot] [268 of 429] Compiling Agda.TypeChecking.Empty[boot] [269 of 429] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] [270 of 429] Compiling Agda.TypeChecking.Reduce.Monad [271 of 429] Compiling Agda.ImpossibleTest [272 of 429] Compiling Agda.TypeChecking.Patterns.Abstract [273 of 429] Compiling Agda.TypeChecking.EtaContract [274 of 429] Compiling Agda.TypeChecking.Reduce [275 of 429] Compiling Agda.TypeChecking.Telescope [276 of 429] Compiling Agda.TypeChecking.Level [277 of 429] Compiling Agda.TypeChecking.LevelConstraints [278 of 429] Compiling Agda.TypeChecking.SyntacticEquality [279 of 429] Compiling Agda.TypeChecking.Free.Reduce [280 of 429] Compiling Agda.TypeChecking.DisplayForm [281 of 429] Compiling Agda.Interaction.Highlighting.FromAbstract [282 of 429] Compiling Agda.TypeChecking.Forcing [283 of 429] Compiling Agda.TypeChecking.MetaVars.Mention [284 of 429] Compiling Agda.TypeChecking.Level.Solve [285 of 429] Compiling Agda.Termination.RecCheck [286 of 429] Compiling Agda.TypeChecking.Rewriting.Clause [287 of 429] Compiling Agda.Syntax.Translation.ReflectedToAbstract [288 of 429] Compiling Agda.Compiler.Treeless.Unused [289 of 429] Compiling Agda.Interaction.Highlighting.LaTeX.Base [290 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Compilers [291 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Internal [292 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Errors [293 of 429] Compiling Agda.TypeChecking.Serialise.Instances [294 of 429] Compiling Agda.TypeChecking.Serialise [295 of 429] Compiling Agda.TypeChecking.DeadCode [296 of 429] Compiling Agda.Syntax.IdiomBrackets [297 of 429] Compiling Agda.Syntax.DoNotation [298 of 429] Compiling Agda.Interaction.Highlighting.Vim [299 of 429] Compiling Agda.Interaction.Highlighting.HTML.Base [300 of 429] Compiling Agda.Compiler.Treeless.Identity [301 of 429] Compiling Agda.Compiler.Treeless.Builtin [302 of 429] Compiling Agda.Compiler.MAlonzo.Coerce [303 of 429] Compiling Agda.Compiler.CallCompiler [304 of 429] Compiling Agda.TypeChecking.CompiledClause.Match [305 of 429] Compiling Agda.Compiler.Treeless.EliminateDefaults [306 of 429] Compiling Agda.Syntax.Translation.AbstractToConcrete [307 of 429] Compiling Agda.Syntax.Abstract.Pretty [308 of 429] Compiling Agda.Syntax.Translation.InternalToAbstract [309 of 429] Compiling Agda.TypeChecking.Pretty [310 of 429] Compiling Agda.TypeChecking.Pretty.Constraint[boot] [311 of 429] Compiling Agda.TypeChecking.Pretty.Call [312 of 429] Compiling Agda.TypeChecking.Functions [313 of 429] Compiling Agda.TypeChecking.Datatypes [314 of 429] Compiling Agda.TypeChecking.Names [315 of 429] Compiling Agda.TypeChecking.Primitive.Base [316 of 429] Compiling Agda.TypeChecking.Quote [317 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Base [318 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Id [319 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Glue [320 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.HCompU [321 of 429] Compiling Agda.TypeChecking.Primitive.Cubical [322 of 429] Compiling Agda.TypeChecking.Primitive [323 of 429] Compiling Agda.Compiler.Treeless.Simplify [324 of 429] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns [325 of 429] Compiling Agda.TypeChecking.Telescope.Path [326 of 429] Compiling Agda.TypeChecking.Irrelevance [327 of 429] Compiling Agda.TypeChecking.Records [328 of 429] Compiling Agda.TypeChecking.Rewriting.NonLinPattern [329 of 429] Compiling Agda.TypeChecking.Positivity [330 of 429] Compiling Agda.TypeChecking.Pretty.Warning [331 of 429] Compiling Agda.TypeChecking.Errors [332 of 429] Compiling Agda.TypeChecking.Pretty.Constraint [333 of 429] Compiling Agda.TypeChecking.SizedTypes [334 of 429] Compiling Agda.TypeChecking.Polarity [335 of 429] Compiling Agda.TypeChecking.ProjectionLike [336 of 429] Compiling Agda.TypeChecking.Sort [337 of 429] Compiling Agda.TypeChecking.Rules.LHS.Problem [338 of 429] Compiling Agda.TypeChecking.Implicit [339 of 429] Compiling Agda.TypeChecking.Rules.LHS.Implicit [340 of 429] Compiling Agda.TypeChecking.SizedTypes.Syntax [341 of 429] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver [342 of 429] Compiling Agda.TypeChecking.Rules.LHS.Unify.Types [343 of 429] Compiling Agda.TypeChecking.Rules.LHS.Unify.LeftInverse [344 of 429] Compiling Agda.TypeChecking.Patterns.Match [345 of 429] Compiling Agda.TypeChecking.Conversion.Pure [346 of 429] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest [347 of 429] Compiling Agda.TypeChecking.Coverage.Match [348 of 429] Compiling Agda.TypeChecking.InstanceArguments [349 of 429] Compiling Agda.TypeChecking.Constraints [350 of 429] Compiling Agda.TypeChecking.MetaVars.Occurs [351 of 429] Compiling Agda.TypeChecking.Rules.LHS.Unify [352 of 429] Compiling Agda.TypeChecking.RecordPatterns [353 of 429] Compiling Agda.TypeChecking.Rules.Display [354 of 429] Compiling Agda.TypeChecking.Injectivity [355 of 429] Compiling Agda.Termination.Monad [356 of 429] Compiling Agda.TypeChecking.Rewriting.NonLinMatch [357 of 429] Compiling Agda.TypeChecking.Lock [358 of 429] Compiling Agda.TypeChecking.MetaVars [359 of 429] Compiling Agda.TypeChecking.SizedTypes.Solve [360 of 429] Compiling Agda.TypeChecking.Coverage.SplitClause [361 of 429] Compiling Agda.TypeChecking.Coverage.Cubical [362 of 429] Compiling Agda.Interaction.Highlighting.Generate [363 of 429] Compiling Agda.TypeChecking.Opacity [364 of 429] Compiling Agda.Compiler.Treeless.Erase [365 of 429] Compiling Agda.TypeChecking.Conversion [366 of 429] Compiling Agda.TypeChecking.CheckInternal [367 of 429] Compiling Agda.TypeChecking.Abstract [368 of 429] Compiling Agda.TypeChecking.With [369 of 429] Compiling Agda.TypeChecking.ReconstructParameters [370 of 429] Compiling Agda.TypeChecking.Rules.LHS [371 of 429] Compiling Agda.TypeChecking.Generalize [372 of 429] Compiling Agda.TypeChecking.Rules.Data [373 of 429] Compiling Agda.TypeChecking.Modalities [374 of 429] Compiling Agda.TypeChecking.IApplyConfluence [375 of 429] Compiling Agda.TypeChecking.Rewriting.Confluence [376 of 429] Compiling Agda.TypeChecking.Rewriting [377 of 429] Compiling Agda.TypeChecking.Reduce.Fast [378 of 429] Compiling Agda.TypeChecking.Unquote [379 of 429] Compiling Agda.TypeChecking.Rules.Term [380 of 429] Compiling Agda.TypeChecking.Rules.Builtin [381 of 429] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction [382 of 429] Compiling Agda.TypeChecking.Coverage [383 of 429] Compiling Agda.TypeChecking.Empty [384 of 429] Compiling Agda.TypeChecking.CompiledClause.Compile [385 of 429] Compiling Agda.TypeChecking.Rules.Def [386 of 429] Compiling Agda.TypeChecking.Rules.Application [387 of 429] Compiling Agda.TypeChecking.Rules.Record [388 of 429] Compiling Agda.Compiler.ToTreeless [389 of 429] Compiling Agda.Termination.TermCheck [390 of 429] Compiling Agda.TypeChecking.Rules.Decl [391 of 429] Compiling Agda.TheTypeChecker [392 of 429] Compiling Agda.Syntax.Translation.ConcreteToAbstract [393 of 429] Compiling Agda.Interaction.BasicOps [394 of 429] Compiling Agda.Interaction.Imports [395 of 429] Compiling Agda.Compiler.Common [396 of 429] Compiling Agda.Compiler.Backend [397 of 429] Compiling Agda.Compiler.JS.Compiler [398 of 429] Compiling Agda.Interaction.Highlighting.LaTeX.Backend [399 of 429] Compiling Agda.Interaction.Highlighting.LaTeX [400 of 429] Compiling Agda.Interaction.Highlighting.HTML.Backend [401 of 429] Compiling Agda.Interaction.Highlighting.HTML [402 of 429] Compiling Agda.Interaction.Highlighting.Dot.Backend [403 of 429] Compiling Agda.Interaction.Highlighting.Dot [404 of 429] Compiling Agda.Compiler.MAlonzo.Misc [405 of 429] Compiling Agda.Compiler.MAlonzo.Primitives [406 of 429] Compiling Agda.Compiler.MAlonzo.Encode [407 of 429] Compiling Agda.Compiler.MAlonzo.Pretty [408 of 429] Compiling Agda.Compiler.MAlonzo.Pragmas [409 of 429] Compiling Agda.Compiler.MAlonzo.HaskellTypes [410 of 429] Compiling Agda.Compiler.MAlonzo.Compiler [411 of 429] Compiling Agda.Compiler.Builtin [412 of 429] Compiling Agda.Syntax.Internal.SanityCheck [413 of 429] Compiling Agda.Interaction.Monad [414 of 429] Compiling Agda.Interaction.JSON [415 of 429] Compiling Agda.Interaction.Highlighting.Common [416 of 429] Compiling Agda.Interaction.Highlighting.JSON [417 of 429] Compiling Agda.Compiler.Treeless.NormalizeNames [418 of 429] Compiling Agda.TypeChecking.Patterns.Internal [419 of 429] Compiling Agda.Interaction.MakeCase [420 of 429] Compiling Agda.Interaction.Highlighting.Emacs [421 of 429] Compiling Agda.Interaction.CommandLine [422 of 429] Compiling Agda.Interaction.SearchAbout [423 of 429] Compiling Agda.Auto.Convert [424 of 429] Compiling Agda.Auto.Auto [425 of 429] Compiling Agda.Interaction.InteractionTop [426 of 429] Compiling Agda.Interaction.AgdaTop [427 of 429] Compiling Agda.Interaction.EmacsTop [428 of 429] Compiling Agda.Interaction.JSONTop [429 of 429] Compiling Agda.Main Preprocessing executable 'agda-mode' for Agda-2.6.4.3.. Building executable 'agda-mode' for Agda-2.6.4.3.. [1 of 2] Compiling Paths_Agda [2 of 2] Compiling Main [3 of 3] Linking dist/build/agda-mode/agda-mode Preprocessing executable 'agda' for Agda-2.6.4.3.. Building executable 'agda' for Agda-2.6.4.3.. [1 of 1] Compiling Main [2 of 2] Linking dist/build/agda/agda + cd src/data/emacs-mode + for i in eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(push nil load-path)' -f batch-byte-compile eri.el + for i in eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(push nil load-path)' -f batch-byte-compile agda-input.el + for i in eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(push nil load-path)' -f batch-byte-compile annotation.el + for i in eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(push nil load-path)' -f batch-byte-compile agda2-highlight.el + for i in eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(push nil load-path)' -f batch-byte-compile agda2-abbrevs.el + for i in eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(push nil load-path)' -f batch-byte-compile agda2-queue.el + for i in eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(push nil load-path)' -f batch-byte-compile agda2-mode.el Loading quail/latin-ltx (native compiled elisp)... + for i in eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(push nil load-path)' -f batch-byte-compile agda2-mode-pkg.el In end of data: agda2-mode-pkg.el:1:2: Warning: the function ‘define-package’ is not known to be defined. + for i in eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el + /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(push nil load-path)' -f batch-byte-compile agda2.el + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.2XHt9h + umask 022 + cd /builddir/build/BUILD/Agda-2.6.4.3-build + '[' /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT ++ dirname /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT + mkdir -p /builddir/build/BUILD/Agda-2.6.4.3-build + mkdir /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd Agda-2.6.4.3 + HOME=/builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3 + args='murmur-hash-0.1.0.10 peano-0.1.0.2 vector-hashtables-0.1.2.0' + for i in $args + cd murmur-hash-0.1.0.10 ++ echo murmur-hash-0.1.0.10 ++ sed -e 's/\(.*\)-.*/\1/' + name=murmur-hash ++ echo murmur-hash-0.1.0.10 ++ sed -e 's/.*-\(.*\)/\1/' + ver=0.1.0.10 + '[' -x Setup ']' + LANG=C.utf8 + ./Setup copy --destdir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT Installing library in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/murmur-hash-0.1.0.10 + '[' -x Setup ']' + LANG=C.utf8 + ./Setup register --gen-pkg-config + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -d murmur-hash-0.1.0.10.conf ']' + install -D --mode=0644 murmur-hash-0.1.0.10.conf /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/murmur-hash-0.1.0.10.conf + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' '!' -f /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/murmur-hash-0.1.0.10.conf ']' + rm -f ghc-murmur-hash.files ghc-murmur-hash-doc.files + touch ghc-murmur-hash.files ghc-murmur-hash-doc.files + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/ghc-murmur-hash ']' ++ ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/ghc-murmur-hash + for i in $(ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/ghc-$name) + echo '%license murmur-hash-0.1.0.10/LICENSE' + for i in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6${subsubdir}/libHS$name-$ver-*ghc9.6.6.so + '[' -x /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so ']' + echo /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so + pkgdir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/murmur-hash-0.1.0.10 + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/murmur-hash-0.1.0.10 ']' + find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/murmur-hash-0.1.0.10 -type d -fprintf ghc-murmur-hash-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-murmur-hash-prof.files -o -fprint ghc-murmur-hash-devel.files + ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/murmur-hash-0.1.0.10.conf + haddock_dir=/usr/share/doc/ghc/html/libraries/murmur-hash-0.1.0.10 + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/doc/ghc/html/libraries/murmur-hash-0.1.0.10 ']' + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-murmur-hash.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-murmur-hash.files + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-murmur-hash-devel.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-murmur-hash-devel.files + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-murmur-hash-doc.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-murmur-hash-doc.files + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-murmur-hash-prof.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-murmur-hash-prof.files deleting rpaths: + echo 'deleting rpaths:' + type chrpath ++ find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6 + case "$rpath" in + cd .. + for i in $args + cd peano-0.1.0.2 ++ echo peano-0.1.0.2 ++ sed -e 's/\(.*\)-.*/\1/' + name=peano ++ echo peano-0.1.0.2 ++ sed -e 's/.*-\(.*\)/\1/' + ver=0.1.0.2 + '[' -x Setup ']' + LANG=C.utf8 + ./Setup copy --destdir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT Installing library in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/peano-0.1.0.2 + '[' -x Setup ']' + LANG=C.utf8 + ./Setup register --gen-pkg-config + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -d peano-0.1.0.2.conf ']' + install -D --mode=0644 peano-0.1.0.2.conf /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/peano-0.1.0.2.conf + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' '!' -f /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/peano-0.1.0.2.conf ']' + rm -f ghc-peano.files ghc-peano-doc.files + touch ghc-peano.files ghc-peano-doc.files + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/ghc-peano ']' ++ ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/ghc-peano + for i in $(ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/ghc-$name) + echo '%license peano-0.1.0.2/LICENSE' + for i in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6${subsubdir}/libHS$name-$ver-*ghc9.6.6.so + '[' -x /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so ']' + echo /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so + pkgdir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/peano-0.1.0.2 + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/peano-0.1.0.2 ']' + find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/peano-0.1.0.2 -type d -fprintf ghc-peano-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-peano-prof.files -o -fprint ghc-peano-devel.files + ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/peano-0.1.0.2.conf + haddock_dir=/usr/share/doc/ghc/html/libraries/peano-0.1.0.2 + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/doc/ghc/html/libraries/peano-0.1.0.2 ']' + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-peano.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-peano.files + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-peano-devel.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-peano-devel.files + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-peano-doc.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-peano-doc.files + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-peano-prof.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-peano-prof.files deleting rpaths: + echo 'deleting rpaths:' + type chrpath ++ find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6 + case "$rpath" in + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6 + case "$rpath" in + cd .. + for i in $args + cd vector-hashtables-0.1.2.0 ++ echo vector-hashtables-0.1.2.0 ++ sed -e 's/\(.*\)-.*/\1/' + name=vector-hashtables ++ echo vector-hashtables-0.1.2.0 ++ sed -e 's/.*-\(.*\)/\1/' + ver=0.1.2.0 + '[' -x Setup ']' + LANG=C.utf8 + ./Setup copy --destdir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT Installing library in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/vector-hashtables-0.1.2.0 + '[' -x Setup ']' + LANG=C.utf8 + ./Setup register --gen-pkg-config + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -d vector-hashtables-0.1.2.0.conf ']' + install -D --mode=0644 vector-hashtables-0.1.2.0.conf /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/vector-hashtables-0.1.2.0.conf + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' '!' -f /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/vector-hashtables-0.1.2.0.conf ']' + rm -f ghc-vector-hashtables.files ghc-vector-hashtables-doc.files + touch ghc-vector-hashtables.files ghc-vector-hashtables-doc.files + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/ghc-vector-hashtables ']' ++ ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/ghc-vector-hashtables + for i in $(ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/ghc-$name) + echo '%license vector-hashtables-0.1.2.0/LICENSE' + for i in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6${subsubdir}/libHS$name-$ver-*ghc9.6.6.so + '[' -x /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ-ghc9.6.6.so ']' + echo /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ-ghc9.6.6.so + pkgdir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/vector-hashtables-0.1.2.0 + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/vector-hashtables-0.1.2.0 ']' + find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/vector-hashtables-0.1.2.0 -type d -fprintf ghc-vector-hashtables-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-vector-hashtables-prof.files -o -fprint ghc-vector-hashtables-devel.files + ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/vector-hashtables-0.1.2.0.conf + haddock_dir=/usr/share/doc/ghc/html/libraries/vector-hashtables-0.1.2.0 + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/doc/ghc/html/libraries/vector-hashtables-0.1.2.0 ']' + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-vector-hashtables.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-vector-hashtables.files + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-vector-hashtables-devel.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-vector-hashtables-devel.files + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-vector-hashtables-doc.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-vector-hashtables-doc.files + for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files + '[' -f ghc-vector-hashtables-prof.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-vector-hashtables-prof.files deleting rpaths: + echo 'deleting rpaths:' + type chrpath ++ find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6 + case "$rpath" in + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6 + case "$rpath" in + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6:/usr/lib64/ghc-9.6.6/lib + case "$rpath" in + cd .. + '[' -x Setup ']' + LANG=C.utf8 + ./Setup copy --destdir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT Installing library in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3 Installing executable agda-mode in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin Warning: Executable installed in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin Installing executable agda in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin Warning: Executable installed in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin Generating Agda library interface files... Installing library in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3 Installing executable agda-mode in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin Warning: Executable installed in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin Installing executable agda in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin Warning: Executable installed in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin + '[' -x Setup ']' + LANG=C.utf8 + ./Setup register --gen-pkg-config + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -d Agda-2.6.4.3.conf ']' + install -D --mode=0644 Agda-2.6.4.3.conf /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/Agda-2.6.4.3.conf + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' '!' -f /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/Agda-2.6.4.3.conf ']' + rm -f ghc-Agda.files ghc-Agda-doc.files + touch ghc-Agda.files ghc-Agda-doc.files + for i in /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6${subsubdir}/libHSAgda-2.6.4.3-*ghc9.6.6.so + '[' -x /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so ']' + echo /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so + pkgdir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3 + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3 ']' + find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3 -type d -fprintf ghc-Agda-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-Agda-prof.files -o -fprint ghc-Agda-devel.files + ls /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/Agda-2.6.4.3.conf + haddock_dir=/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3 + '[' -d /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3 ']' + for i in ghc-Agda.files ghc-Agda-devel.files ghc-Agda-doc.files ghc-Agda-prof.files + '[' -f ghc-Agda.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-Agda.files + for i in ghc-Agda.files ghc-Agda-devel.files ghc-Agda-doc.files ghc-Agda-prof.files + '[' -f ghc-Agda-devel.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-Agda-devel.files + for i in ghc-Agda.files ghc-Agda-devel.files ghc-Agda-doc.files ghc-Agda-prof.files + '[' -f ghc-Agda-doc.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-Agda-doc.files + for i in ghc-Agda.files ghc-Agda-devel.files ghc-Agda-doc.files ghc-Agda-prof.files + '[' -f ghc-Agda-prof.files ']' + sed -i -e 's!/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT!!g' ghc-Agda-prof.files deleting rpaths: + echo 'deleting rpaths:' + type chrpath ++ find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6 + case "$rpath" in + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6 + case "$rpath" in + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6:/usr/lib64/ghc-9.6.6/lib + case "$rpath" in + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so: R.*PATH=@@' + rpath=/builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/murmur-hash-0.1.0.10/dist/build:/builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/peano-0.1.0.2/dist/build:/usr/lib64:/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6:/builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/vector-hashtables-0.1.2.0/dist/build:/usr/lib64/ghc-9.6.6/lib + case "$rpath" in + chrpath -r '/usr/lib64/ghc-9.6.6/lib:/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6*' /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so: RUNPATH=/builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/murmur-hash-0.1.0.10/dist/build:/builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/peano-0.1.0.2/dist/build:/usr/lib64:/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6:/builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/vector-hashtables-0.1.2.0/dist/build:/usr/lib64/ghc-9.6.6/lib /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so: new RUNPATH: /usr/lib64/ghc-9.6.6/lib:/usr/lib64/ghc-9.6.6/lib/aarch64-linux-ghc-9.6.6* + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda-mode ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda-mode: R.*PATH=@@' + rpath='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda-mode: no rpath or runpath tag found.' + case "$rpath" in + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda ++ sed -e 's@^/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda: R.*PATH=@@' + rpath='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda: no rpath or runpath tag found.' + case "$rpath" in + mv /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/Agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/Agda-common ++ find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name '*.agda' + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Char/Properties.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Path.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Id.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Sub.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Glue.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Equiv.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/HCompU.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality/Erase.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality/Rewrite.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Float/Properties.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Reflection/External.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Reflection/Properties.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/String/Properties.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Word/Properties.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Bool.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Char.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Coinduction.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Float.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/FromNat.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/FromNeg.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/FromString.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/IO.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Int.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/List.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Maybe.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Nat.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Reflection.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Sigma.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Size.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Strict.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/String.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/TrustMe.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Unit.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Word.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Primitive/Cubical.agda + for i in $(find /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 -name "*.agda") + Agda_datadir=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3 + LD_LIBRARY_PATH='/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT%{_ghcdynlibdir}' + /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/lib/prim/Agda/Primitive.agda + mkdir -p /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda-input.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda-input.elc /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-abbrevs.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-abbrevs.elc /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-highlight.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-highlight.elc /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-mode-pkg.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-mode-pkg.elc /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-mode.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-mode.elc /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-queue.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2-queue.elc /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/agda2.elc /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/annotation.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/annotation.elc /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/eri.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + for i in src/data/emacs-mode/* + install -p -m 0644 src/data/emacs-mode/eri.elc /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/agda + mkdir -p /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/site-start.d + install -p -m 0644 /builddir/build/SOURCES/agda-mode-init.el /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/emacs/site-lisp/site-start.d + rm /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/bin/agda-mode + rm -r /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/Agda-2.6.4.3/emacs-mode + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j12 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j12 /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/murmur-hash-0.1.0.10/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp.a: replacing with normalized version /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/peano-0.1.0.2/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY.a: replacing with normalized version /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/murmur-hash-0.1.0.10/libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp_p.a: replacing with normalized version /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/peano-0.1.0.2/libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY_p.a: replacing with normalized version /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/vector-hashtables-0.1.2.0/libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ.a: replacing with normalized version /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/vector-hashtables-0.1.2.0/libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ_p.a: replacing with normalized version /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8.a: replacing with normalized version /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8_p.a: replacing with normalized version Scanned 125 directories and 1275 files, processed 8 inodes, 8 modified (8 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/Agda-2.6.4.3-build/SPECPARTS/rpm-debuginfo.specpart Processing files: Agda-2.6.4.3-51.fc42.aarch64 Provides: Agda = 2.6.4.3-51.fc42 Agda(aarch-64) = 2.6.4.3-51.fc42 agda = 2.6.4.3-51.fc42 emacs-agda = 2.6.4.3-51.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libffi.so.8()(64bit) libffi.so.8(LIBFFI_BASE_8.0)(64bit) libffi.so.8(LIBFFI_CLOSURE_8.0)(64bit) libgmp.so.10()(64bit) libicudata.so.76()(64bit) libicui18n.so.76()(64bit) libicuuc.so.76()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) libm.so.6(GLIBC_2.27)(64bit) libm.so.6(GLIBC_2.29)(64bit) libtinfo.so.6()(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: Agda-common-2.6.4.3-51.fc42.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.CAv6OC + umask 022 + cd /builddir/build/BUILD/Agda-2.6.4.3-build + cd Agda-2.6.4.3 + DOCDIR=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/doc/Agda-common + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/doc/Agda-common + cp -pr /builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/CHANGELOG.md /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/doc/Agda-common + cp -pr /builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/README.md /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/doc/Agda-common + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.s4b5Ps + umask 022 + cd /builddir/build/BUILD/Agda-2.6.4.3-build + cd Agda-2.6.4.3 + LICENSEDIR=/builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/Agda-common + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/Agda-common + cp -pr /builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/LICENSE /builddir/build/BUILD/Agda-2.6.4.3-build/BUILDROOT/usr/share/licenses/Agda-common + RPM_EC=0 ++ jobs -p + exit 0 Provides: Agda-common = 2.6.4.3-51.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ghc-Agda-2.6.4.3-51.fc42.aarch64 Provides: ghc-Agda = 2.6.4.3-51.fc42 ghc-Agda(aarch-64) = 2.6.4.3-51.fc42 libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libHSOneTuple-0.4.2-7od06fXUUXRBNk1V3VY0g5-ghc9.6.6.so()(64bit) libHSQuickCheck-2.14.3-E9VttT8lnId93rGQPNsiU9-ghc9.6.6.so()(64bit) libHSSTMonadTrans-0.4.8-Jdu2Aai6G1LKixHH6QDJMH-ghc9.6.6.so()(64bit) libHSStateVar-1.2.2-A6sCENWC9xLH02ziP9IDyb-ghc9.6.6.so()(64bit) libHSaeson-2.1.2.1-D0qQe3CNlvvLYKUgPcjbMF-ghc9.6.6.so()(64bit) libHSansi-terminal-1.0.2-BAf8I876hPhJFEtshgOsOs-ghc9.6.6.so()(64bit) libHSansi-terminal-types-0.11.5-EqlSjsBzg08BPCkB2XI47w-ghc9.6.6.so()(64bit) libHSarray-0.5.6.0-ghc9.6.6.so()(64bit) libHSassoc-1.1.1-LimEe8pF5RrAGc6oZe3mfa-ghc9.6.6.so()(64bit) libHSasync-2.2.5-GMWeTaoaded4Wz7DAkFLAR-ghc9.6.6.so()(64bit) libHSattoparsec-0.14.4-GAKm7J8Gleq2k06HFjeIeY-attoparsec-internal-ghc9.6.6.so()(64bit) libHSattoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B-ghc9.6.6.so()(64bit) libHSbase-4.18.2.1-ghc9.6.6.so()(64bit) libHSbase-compat-0.13.1-Dtt5em6saazHWsbVLVBeTy-ghc9.6.6.so()(64bit) libHSbase-compat-batteries-0.13.1-5fbdeENWe9mF7TcjAFq4dk-ghc9.6.6.so()(64bit) libHSbase-orphans-0.9.2-5KrayDGKJf32IfEBx9TBiS-ghc9.6.6.so()(64bit) libHSbifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw-ghc9.6.6.so()(64bit) libHSbinary-0.8.9.1-ghc9.6.6.so()(64bit) libHSblaze-builder-0.4.2.3-DQBnLFBE1VT45U7k73NJUF-ghc9.6.6.so()(64bit) libHSblaze-html-0.9.2.0-82IrCjcfxKJFkd2A5SPiKs-ghc9.6.6.so()(64bit) libHSblaze-markup-0.8.3.0-2a60V4XFqXQ45R0mD16DW9-ghc9.6.6.so()(64bit) libHSboxes-0.1.5-1BZ4VWntABL6pmzqamGJA8-ghc9.6.6.so()(64bit) libHSbytestring-0.11.5.3-ghc9.6.6.so()(64bit) libHScase-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy-ghc9.6.6.so()(64bit) libHScolour-2.3.6-Dv7015zVt5k10e0N0YtJJm-ghc9.6.6.so()(64bit) libHScomonad-5.0.8-6z2oFUa3fJi9bdDseQ1IV-ghc9.6.6.so()(64bit) libHScontainers-0.6.7-ghc9.6.6.so()(64bit) libHScontravariant-1.5.5-A7lal0hcJpG2Mk9fe5J59Z-ghc9.6.6.so()(64bit) libHSdata-fix-0.3.4-2DmhGYSx1No18trPlybf4r-ghc9.6.6.so()(64bit) libHSdata-hash-0.2.0.1-1C4EVdQanf6FeWnxYb8Ttu-ghc9.6.6.so()(64bit) libHSdeepseq-1.4.8.1-ghc9.6.6.so()(64bit) libHSdirectory-1.3.8.5-ghc9.6.6.so()(64bit) libHSdistributive-0.6.2.1-Ak4SWutYoMcKj7F268v0Mi-ghc9.6.6.so()(64bit) libHSdlist-1.0-7vDlnn0Hdvg35SyXLwMaWr-ghc9.6.6.so()(64bit) libHSedit-distance-0.2.2.1-8dkjojky6bb1wovAKsZNKv-ghc9.6.6.so()(64bit) libHSequivalence-0.4.1-EnlwWwCktBW51EPpS3NlIf-ghc9.6.6.so()(64bit) libHSexceptions-0.10.7-ghc9.6.6.so()(64bit) libHSfilepath-1.4.300.1-ghc9.6.6.so()(64bit) libHSgenerically-0.1.1-I9byc5Nil798plofO827gA-ghc9.6.6.so()(64bit) libHSghc-bignum-1.3-ghc9.6.6.so()(64bit) libHSghc-boot-th-9.6.6-ghc9.6.6.so()(64bit) libHSghc-compact-0.1.0.0-ghc9.6.6.so()(64bit) libHSghc-prim-0.10.0-ghc9.6.6.so()(64bit) libHSgitrev-1.3.1-Hgj6OsBlk7sBP78WE2r3Dn-ghc9.6.6.so()(64bit) libHShashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe-ghc9.6.6.so()(64bit) libHShaskeline-0.8.2.1-ghc9.6.6.so()(64bit) libHSindexed-traversable-0.1.4-8j5HZpShpE5BqFup9Ojenr-ghc9.6.6.so()(64bit) libHSindexed-traversable-instances-0.1.2-2oqxTHiGyOuJR1BsLvzrk8-ghc9.6.6.so()(64bit) libHSinteger-logarithms-1.0.3.1-6uUFCUhH0MHDrcFfWqxKEn-ghc9.6.6.so()(64bit) libHSmonad-control-1.0.3.1-EprGtcAOKGn9NqvyfagEjE-ghc9.6.6.so()(64bit) libHSmtl-2.3.1-ghc9.6.6.so()(64bit) libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so()(64bit) libHSnetwork-uri-2.6.4.2-EHvmMPMnHIt7f0JZKGI6S7-ghc9.6.6.so()(64bit) libHSos-string-2.0.6-IlBa2UQjH7mL18YjMu1jzE-ghc9.6.6.so()(64bit) libHSparallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD-ghc9.6.6.so()(64bit) libHSparsec-3.1.16.1-ghc9.6.6.so()(64bit) libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so()(64bit) libHSpretty-1.1.3.6-ghc9.6.6.so()(64bit) libHSprimitive-0.8.0.0-G7z1XrhwN0bFkYsIqIr1QU-ghc9.6.6.so()(64bit) libHSprocess-1.6.19.0-ghc9.6.6.so()(64bit) libHSrandom-1.2.1.2-9nSipNyPzIK3OtGny4BWjI-ghc9.6.6.so()(64bit) libHSregex-base-0.94.0.2-BPsTisuirWxG3DC5irjY4G-ghc9.6.6.so()(64bit) libHSregex-tdfa-1.3.2.2-5RMyPk43J4gDSWcjYl0OpF-ghc9.6.6.so()(64bit) libHSscientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m-ghc9.6.6.so()(64bit) libHSsemialign-1.3.1-KA56LOpKJI8DNkTGs7KN44-ghc9.6.6.so()(64bit) libHSsemigroupoids-6.0.1-32bnlDo08uWKppaK8Ib2rA-ghc9.6.6.so()(64bit) libHSsplit-0.2.5-5qpEwx7qUv6FlaHbX7jgA2-ghc9.6.6.so()(64bit) libHSsplitmix-0.1.0.5-1g4Y67JB8lK4ODDsw0vzN6-ghc9.6.6.so()(64bit) libHSstm-2.5.1.0-ghc9.6.6.so()(64bit) libHSstrict-0.5-2Ih5J4boI0o4YQYnrtRDYI-ghc9.6.6.so()(64bit) libHStagged-0.8.8-Kzng2lnKElzJiyKd9g735c-ghc9.6.6.so()(64bit) libHStemplate-haskell-2.20.0.0-ghc9.6.6.so()(64bit) libHSterminfo-0.4.1.6-ghc9.6.6.so()(64bit) libHStext-2.0.2-ghc9.6.6.so()(64bit) libHStext-icu-0.8.0.5-J4CrrSP4KzK5QaMFh5FAQZ-ghc9.6.6.so()(64bit) libHStext-short-0.1.6-8cAhU1GVIuv7MKNSfV6o01-ghc9.6.6.so()(64bit) libHSth-abstraction-0.5.0.0-HAFjiAO2nGN58SdxVZCnLH-ghc9.6.6.so()(64bit) libHSth-compat-0.1.5-GhHQJW6WN2TKpN9D0nnUC-ghc9.6.6.so()(64bit) libHSthese-1.2.1-Lmhp9aSRg20H3DMUOaCHTJ-ghc9.6.6.so()(64bit) libHStime-1.12.2-ghc9.6.6.so()(64bit) libHStime-compat-1.9.6.1-GW1Nw3Nvkk39bFykE9AmZ0-ghc9.6.6.so()(64bit) libHStransformers-0.6.1.0-ghc9.6.6.so()(64bit) libHStransformers-base-0.4.6-AFroRD7LLlU6BPVd6EHPcA-ghc9.6.6.so()(64bit) libHStransformers-compat-0.7.2-LmnlcpbfHuuAOWEWPuyobH-ghc9.6.6.so()(64bit) libHSunix-2.8.4.0-ghc9.6.6.so()(64bit) libHSunordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk-ghc9.6.6.so()(64bit) libHSuri-encode-1.5.0.7-FMYFkkIUv4tDYyypWrKQzH-ghc9.6.6.so()(64bit) libHSutf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE-ghc9.6.6.so()(64bit) libHSuuid-types-1.0.5.1-7Th8iso07O3LE4sSX8wPSJ-ghc9.6.6.so()(64bit) libHSvector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL-ghc9.6.6.so()(64bit) libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ-ghc9.6.6.so()(64bit) libHSvector-stream-0.1.0.1-B3eeou3yuYd7g2aD4u5s22-ghc9.6.6.so()(64bit) libHSwitherable-0.4.2-1d1IqaNPL2NKe2SmYw9bzg-ghc9.6.6.so()(64bit) libHSzlib-0.6.3.0-1wL1ZnD0mNDIbG0f7fYWIS-ghc9.6.6.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgmp.so.10()(64bit) libicudata.so.76()(64bit) libicui18n.so.76()(64bit) libicuuc.so.76()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) libm.so.6(GLIBC_2.29)(64bit) libtinfo.so.6()(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: ghc-Agda-devel-2.6.4.3-51.fc42.aarch64 Provides: ghc-Agda-devel = 2.6.4.3-51.fc42 ghc-Agda-devel(aarch-64) = 2.6.4.3-51.fc42 ghc-Agda-static = 2.6.4.3-51.fc42 ghc-Agda-static(aarch-64) = 2.6.4.3-51.fc42 ghc-devel(Agda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ghc-devel(STMonadTrans-0.4.8-Jdu2Aai6G1LKixHH6QDJMH) ghc-devel(aeson-2.1.2.1-D0qQe3CNlvvLYKUgPcjbMF) ghc-devel(ansi-terminal-1.0.2-BAf8I876hPhJFEtshgOsOs) ghc-devel(array-0.5.6.0) ghc-devel(async-2.2.5-GMWeTaoaded4Wz7DAkFLAR) ghc-devel(base-4.18.2.1) ghc-devel(binary-0.8.9.1) ghc-devel(blaze-html-0.9.2.0-82IrCjcfxKJFkd2A5SPiKs) ghc-devel(boxes-0.1.5-1BZ4VWntABL6pmzqamGJA8) ghc-devel(bytestring-0.11.5.3) ghc-devel(case-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy) ghc-devel(containers-0.6.7) ghc-devel(data-hash-0.2.0.1-1C4EVdQanf6FeWnxYb8Ttu) ghc-devel(deepseq-1.4.8.1) ghc-devel(directory-1.3.8.5) ghc-devel(dlist-1.0-7vDlnn0Hdvg35SyXLwMaWr) ghc-devel(edit-distance-0.2.2.1-8dkjojky6bb1wovAKsZNKv) ghc-devel(equivalence-0.4.1-EnlwWwCktBW51EPpS3NlIf) ghc-devel(exceptions-0.10.7) ghc-devel(filepath-1.4.300.1) ghc-devel(ghc-compact-0.1.0.0) ghc-devel(gitrev-1.3.1-Hgj6OsBlk7sBP78WE2r3Dn) ghc-devel(hashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe) ghc-devel(haskeline-0.8.2.1) ghc-devel(monad-control-1.0.3.1-EprGtcAOKGn9NqvyfagEjE) ghc-devel(mtl-2.3.1) ghc-devel(murmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp) ghc-devel(parallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD) ghc-devel(peano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY) ghc-devel(pretty-1.1.3.6) ghc-devel(process-1.6.19.0) ghc-devel(regex-tdfa-1.3.2.2-5RMyPk43J4gDSWcjYl0OpF) ghc-devel(split-0.2.5-5qpEwx7qUv6FlaHbX7jgA2) ghc-devel(stm-2.5.1.0) ghc-devel(strict-0.5-2Ih5J4boI0o4YQYnrtRDYI) ghc-devel(text-2.0.2) ghc-devel(text-icu-0.8.0.5-J4CrrSP4KzK5QaMFh5FAQZ) ghc-devel(time-1.12.2) ghc-devel(time-compat-1.9.6.1-GW1Nw3Nvkk39bFykE9AmZ0) ghc-devel(transformers-0.6.1.0) ghc-devel(unordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk) ghc-devel(uri-encode-1.5.0.7-FMYFkkIUv4tDYyypWrKQzH) ghc-devel(vector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL) ghc-devel(vector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ) ghc-devel(zlib-0.6.3.0-1wL1ZnD0mNDIbG0f7fYWIS) Processing files: ghc-Agda-doc-2.6.4.3-51.fc42.noarch RPM build errors: error: Empty %files file /builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/ghc-Agda-doc.files Empty %files file /builddir/build/BUILD/Agda-2.6.4.3-build/Agda-2.6.4.3/ghc-Agda-doc.files Child return code was: 1 EXCEPTION: [Error('Command failed: \n # /usr/bin/systemd-nspawn -q -M 6aef415ae02c47afb21da14f90651474 -D /var/lib/mock/f42-build-55829914-6539167/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.9yiag3r9:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/fuse --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin \'--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"\' \'--setenv=PS1= \\s-\\v\\$ \' --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c \'/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/Agda.spec\'\n', 1)] Traceback (most recent call last): File "/usr/lib/python3.13/site-packages/mockbuild/trace_decorator.py", line 93, in trace result = func(*args, **kw) File "/usr/lib/python3.13/site-packages/mockbuild/util.py", line 610, in do_with_status raise exception.Error("Command failed: \n # %s\n%s" % (cmd_pretty(command, env), output), child.returncode) mockbuild.exception.Error: Command failed: # /usr/bin/systemd-nspawn -q -M 6aef415ae02c47afb21da14f90651474 -D /var/lib/mock/f42-build-55829914-6539167/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.9yiag3r9:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/fuse --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin '--setenv=PROMPT_COMMAND=printf "\033]0;\007"' '--setenv=PS1= \s-\v\$ ' --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c '/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/Agda.spec'