Mock Version: 3.5
Mock Version: 3.5
Mock Version: 3.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec'], chrootPath='/var/lib/mock/f40-build-758043-119575/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fa15c46d0>timeout=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1696809600
Wrote: /builddir/build/SRPMS/Agda-2.6.4-41.fc40.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec'], chrootPath='/var/lib/mock/f40-build-758043-119575/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fa15c46d0>timeout=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1696809600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.HpnpY2
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf Agda-2.6.4
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/Agda-2.6.4.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd Agda-2.6.4
+ rm -rf /builddir/build/BUILD/Agda-2.6.4-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/Agda-2.6.4-SPECPARTS
+ /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.1.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/vector-hashtables-0.1.1.3.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ cd peano-0.1.0.1
+ cabal-tweak-dep-ver base '<4.9' '<5'
+ grep -q '"2.6.4"' src/data/emacs-mode/agda2-mode.el
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Zxkj3F
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-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  -fasynchronous-unwind-tables -fno-omit-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  -fasynchronous-unwind-tables -fno-omit-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  -fasynchronous-unwind-tables -fno-omit-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 -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -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
+ 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
+ for i in vector-hashtables-0.1.1.3 peano-0.1.0.1 murmur-hash-0.1.0.10
++ echo vector-hashtables-0.1.1.3
++ sed -e 's/\(.*\)-.*/\1/'
+ name=vector-hashtables
++ echo vector-hashtables-0.1.1.3
++ sed -e 's/.*-\(.*\)/\1/'
+ ver=0.1.1.3
+ cd vector-hashtables-0.1.1.3
+ case $name in
++ 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\)')
+ '[' -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 ']'
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ '[' -d /usr/lib64/ghc-9.4.5/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
+ ./Setup --version
Cabal library version 3.8.1.0
+ '[' -x Setup ']'
+ LANG=C.utf8
++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer
++ sed -e 's/ / -optc/g'
++ echo ' -Wl,-z,relro' -Wl,--as-needed -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.4.5/lib --user '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Werror=implicit-function-declaration -optc-Werror=implicit-int -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-fasynchronous-unwind-tables -optc-fno-omit-frame-pointer  -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1 -fhide-source-paths' -p --enable-shared --docdir=/usr/share/licenses/ghc-vector-hashtables --htmldir=/usr/share/doc/ghc/html/libraries/vector-hashtables-0.1.1.3 --user
Configuring vector-hashtables-0.1.1.3...
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j1
Preprocessing library for vector-hashtables-0.1.1.3..
Building library for vector-hashtables-0.1.1.3..
[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
+ '[' -n dist/build/libHSvector-hashtables-0.1.1.3-HvkTsmq0WDqFS87fkb3Cib-ghc9.4.5.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library for vector-hashtables-0.1.1.3..
Running Haddock on library for vector-hashtables-0.1.1.3..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: array-0.5.4.0, base-4.17.1.0,
binary-0.8.9.1, bytestring-0.11.4.0, containers-0.6.7, deepseq-1.4.8.0,
filepath-1.4.2.2, ghc-bignum-1.3, ghc-boot-th-9.4.5, ghc-prim-0.9.0,
hashable-1.4.2.0, pretty-1.1.3.6, primitive-0.8.0.0,
template-haskell-2.19.0.0, text-2.0.2, transformers-0.5.6.2, vector-0.13.0.0,
vector-stream-0.1.0.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
  11% (  1 /  9) in 'Data.Primitive.PrimArray.Utils'
  Missing documentation for:
    replicate (src/Data/Primitive/PrimArray/Utils.hs:13)
    clone (src/Data/Primitive/PrimArray/Utils.hs:22)
    unsafeFreeze (src/Data/Primitive/PrimArray/Utils.hs:28)
    unsafeThaw (src/Data/Primitive/PrimArray/Utils.hs:34)
    growWith (src/Data/Primitive/PrimArray/Utils.hs:40)
    growNoZ (src/Data/Primitive/PrimArray/Utils.hs:49)
    freeze (src/Data/Primitive/PrimArray/Utils.hs:55)
    length (src/Data/Primitive/PrimArray/Utils.hs:63)
 100% (  2 /  2) in 'Data.Vector.Hashtables.Internal.Mask'
Warning: 'Dictionary' is ambiguous. It is defined
    * at src/Data/Vector/Hashtables/Internal.hs:69:32
    * at src/Data/Vector/Hashtables/Internal.hs:55:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Data/Vector/Hashtables/Internal.hs:55:1
  79% ( 47 / 59) in 'Data.Vector.Hashtables.Internal'
  Missing documentation for:
    getCount (src/Data/Vector/Hashtables/Internal.hs:78)
    getFreeList (src/Data/Vector/Hashtables/Internal.hs:78)
    getFreeCount (src/Data/Vector/Hashtables/Internal.hs:78)
    atWithOrElse (src/Data/Vector/Hashtables/Internal.hs:244)
    insertWithIndex (src/Data/Vector/Hashtables/Internal.hs:328)
    addOrResize (src/Data/Vector/Hashtables/Internal.hs:345)
    add (src/Data/Vector/Hashtables/Internal.hs:367)
    resize (src/Data/Vector/Hashtables/Internal.hs:379)
    DeleteEntry (src/Data/Vector/Hashtables/Internal.hs:412)
    deleteWithIndex (src/Data/Vector/Hashtables/Internal.hs:453)
    primes (src/Data/Vector/Hashtables/Internal.hs:859)
    getPrime (src/Data/Vector/Hashtables/Internal.hs:871)
Warning: Data.Vector.Hashtables: Could not find documentation for exported module: Control.Monad.Primitive
 100% ( 44 / 44) in 'Data.Vector.Hashtables'
Warning: Data.Primitive.PrimArray.Utils: could not find link destinations for:
	- Control.Monad.Primitive.PrimMonad
	- Data.Primitive.Types.Prim
	- GHC.Types.Int
	- Data.Primitive.PrimArray.MutablePrimArray
	- Control.Monad.Primitive.PrimState
	- Data.Primitive.PrimArray.PrimArray
Warning: Data.Vector.Hashtables.Internal.Mask: could not find link destinations for:
	- GHC.Types.Int
Warning: Data.Vector.Hashtables.Internal: could not find link destinations for:
	- Data.Primitive.PrimArray.MutablePrimArray
	- GHC.Types.Int
	- Data.Primitive.MutVar.MutVar
	- Data.Primitive.PrimArray.PrimArray
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Classes.Ord
	- GHC.Classes.compare
	- GHC.Types.Ordering
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.>=
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Vector.Generic.Base.Vector
	- Data.Hashable.Class.Hashable
	- Data.Vector.Generic.Mutable.Base.MVector
	- Control.Monad.Primitive.PrimMonad
	- Control.Monad.Primitive.PrimState
	- Data.Vector.Generic.Base.Mutable
	- GHC.Maybe.Maybe
	- GHC.Maybe.Nothing
	- GHC.Types.Type
	- Data.Vector.Mutable.MVector
	- Data.Vector.Storable.Mutable.MVector
	- Data.Vector.Unboxed.Base.MVector
	- GHC.Types.True
	- GHC.Types.False
	- GHC.Maybe.Just
	- Data.Vector.Unboxed.Base.Vector
Warning: Data.Vector.Hashtables: could not find link destinations for:
	- Data.Primitive.MutVar.MutVar
	- Data.Primitive.PrimArray.PrimArray
	- GHC.Types.Int
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Classes.Ord
	- GHC.Classes.compare
	- GHC.Types.Ordering
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.>=
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Vector.Generic.Base.Vector
	- Data.Hashable.Class.Hashable
	- Data.Vector.Generic.Mutable.Base.MVector
	- Control.Monad.Primitive.PrimMonad
	- Control.Monad.Primitive.PrimState
	- GHC.Types.True
	- GHC.Types.False
	- Data.Vector.Generic.Base.Mutable
	- GHC.Maybe.Maybe
	- GHC.Maybe.Nothing
	- GHC.Maybe.Just
Documentation created: dist/doc/html/vector-hashtables/index.html,
dist/doc/html/vector-hashtables/vector-hashtables.txt
+ ./Setup register --inplace
Registering library for vector-hashtables-0.1.1.3..
+ cd ..
+ for i in vector-hashtables-0.1.1.3 peano-0.1.0.1 murmur-hash-0.1.0.10
++ echo peano-0.1.0.1
++ sed -e 's/\(.*\)-.*/\1/'
+ name=peano
++ echo peano-0.1.0.1
++ sed -e 's/.*-\(.*\)/\1/'
+ ver=0.1.0.1
+ cd peano-0.1.0.1
+ case $name in
++ ls
++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)'
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ '[' -d /usr/lib64/ghc-9.4.5/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
+ ./Setup --version
Cabal library version 3.8.1.0
+ '[' -x Setup ']'
+ LANG=C.utf8
++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer
++ sed -e 's/ / -optc/g'
++ echo ' -Wl,-z,relro' -Wl,--as-needed -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.4.5/lib --user '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Werror=implicit-function-declaration -optc-Werror=implicit-int -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-fasynchronous-unwind-tables -optc-fno-omit-frame-pointer  -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1 -fhide-source-paths' -p --enable-shared --docdir=/usr/share/licenses/ghc-peano --htmldir=/usr/share/doc/ghc/html/libraries/peano-0.1.0.1 --user
Configuring peano-0.1.0.1...
Warning: Packages using 'cabal-version: >= 1.10' and before 'cabal-version:
3.4' must specify the 'default-language' field for each component (e.g.
Haskell98 or Haskell2010). If a component uses different languages in
different modules then list the other ones in the 'other-languages' field.
Warning: For packages using 'cabal-version: >= 1.10' the 'extensions' field is
deprecated. The new 'default-extensions' field lists extensions that are used
in all modules in the component, while the 'other-extensions' field lists
extensions that are used in some modules, e.g. via the {-# LANGUAGE #-}
pragma.
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j1
Preprocessing library for peano-0.1.0.1..
Building library for peano-0.1.0.1..
[1 of 1] Compiling Data.Peano
[1 of 1] Compiling Data.Peano
+ '[' -n dist/build/libHSpeano-0.1.0.1-E1x4HJNPjec5R7MZLdA6hH-ghc9.4.5.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library for peano-0.1.0.1..
Running Haddock on library for peano-0.1.0.1..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: base-4.17.1.0, ghc-bignum-1.3,
ghc-prim-0.9.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
   0% (  0 /  3) in 'Data.Peano'
  Missing documentation for:
    Module header
    Peano (Data/Peano.hs:8)
    infinity (Data/Peano.hs:63)
Warning: Data.Peano: could not find link destinations for:
	- Data.Data.Data
	- Data.Data.gfoldl
	- Data.Data.gunfold
	- Data.Data.Constr
	- Data.Data.toConstr
	- Data.Data.dataTypeOf
	- Data.Data.DataType
	- Data.Data.dataCast1
	- Data.Typeable.Internal.Typeable
	- GHC.Maybe.Maybe
	- Data.Data.dataCast2
	- Data.Data.gmapT
	- Data.Data.gmapQl
	- Data.Data.gmapQr
	- Data.Data.gmapQ
	- Data.Data.gmapQi
	- GHC.Types.Int
	- Data.Data.gmapM
	- GHC.Base.Monad
	- Data.Data.gmapMp
	- GHC.Base.MonadPlus
	- Data.Data.gmapMo
	- GHC.Enum.Bounded
	- GHC.Enum.minBound
	- GHC.Enum.maxBound
	- GHC.Enum.Enum
	- GHC.Enum.succ
	- GHC.Enum.pred
	- GHC.Enum.toEnum
	- GHC.Enum.fromEnum
	- GHC.Enum.enumFrom
	- GHC.Enum.enumFromThen
	- GHC.Enum.enumFromTo
	- GHC.Enum.enumFromThenTo
	- GHC.Ix.Ix
	- GHC.Ix.range
	- GHC.Ix.index
	- GHC.Ix.unsafeIndex
	- GHC.Ix.inRange
	- GHC.Types.Bool
	- GHC.Ix.rangeSize
	- GHC.Ix.unsafeRangeSize
	- GHC.Num.Num
	- GHC.Num.+
	- GHC.Num.-
	- GHC.Num.*
	- GHC.Num.negate
	- GHC.Num.abs
	- GHC.Num.signum
	- GHC.Num.fromInteger
	- GHC.Num.Integer.Integer
	- GHC.Read.Read
	- GHC.Read.readsPrec
	- Text.ParserCombinators.ReadP.ReadS
	- GHC.Read.readList
	- GHC.Read.readPrec
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- GHC.Read.readListPrec
	- GHC.Real.Integral
	- GHC.Real.quot
	- GHC.Real.rem
	- GHC.Real.div
	- GHC.Real.mod
	- GHC.Real.quotRem
	- GHC.Real.divMod
	- GHC.Real.toInteger
	- GHC.Real.Real
	- GHC.Real.toRational
	- GHC.Real.Rational
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Classes./=
	- GHC.Classes.Ord
	- GHC.Classes.compare
	- GHC.Types.Ordering
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.>=
	- GHC.Classes.max
	- GHC.Classes.min
Documentation created: dist/doc/html/peano/index.html,
dist/doc/html/peano/peano.txt
+ ./Setup register --inplace
Registering library for peano-0.1.0.1..
+ cd ..
+ for i in vector-hashtables-0.1.1.3 peano-0.1.0.1 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
+ cd murmur-hash-0.1.0.10
+ case $name in
++ 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\)')
+ '[' -f changelog.md -a -x changelog.md ']'
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ '[' -d /usr/lib64/ghc-9.4.5/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
+ ./Setup --version
Cabal library version 3.8.1.0
+ '[' -x Setup ']'
+ LANG=C.utf8
++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer
++ sed -e 's/ / -optc/g'
++ echo ' -Wl,-z,relro' -Wl,--as-needed -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.4.5/lib --user '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Werror=implicit-function-declaration -optc-Werror=implicit-int -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-fasynchronous-unwind-tables -optc-fno-omit-frame-pointer  -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1 -fhide-source-paths' -p --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 -j1
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
+ '[' -n dist/build/libHSmurmur-hash-0.1.0.10-CqHLzhKRYyJCrMJ8DaEneV-ghc9.4.5.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library for murmur-hash-0.1.0.10..
Running Haddock on library for murmur-hash-0.1.0.10..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: array-0.5.4.0, base-4.17.1.0,
bytestring-0.11.4.0, deepseq-1.4.8.0, ghc-bignum-1.3, ghc-boot-th-9.4.5,
ghc-prim-0.9.0, pretty-1.1.3.6, template-haskell-2.19.0.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
  62% (  5 /  8) in 'Data.Digest.Murmur32'
  Missing documentation for:
    Hashable32 (Data/Digest/Murmur32.hs:42)
    hash32AddWord32 (Data/Digest/Murmur32.hs:51)
    hash32AddInt (Data/Digest/Murmur32.hs:60)
  77% (  7 /  9) in 'Data.Digest.Murmur64'
  Missing documentation for:
    Hashable64 (Data/Digest/Murmur64.hs:42)
    hash64AddInt (Data/Digest/Murmur64.hs:61)
Warning: Data.Digest.Murmur32: could not find link destinations for:
	- GHC.Enum.Bounded
	- GHC.Enum.minBound
	- GHC.Enum.maxBound
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Classes.Ord
	- GHC.Classes.compare
	- GHC.Types.Ordering
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.>=
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Word.Word32
	- Data.ByteString.Internal.Type.ByteString
	- Data.ByteString.Lazy.Internal.ByteString
	- GHC.Num.Integer.Integer
	- GHC.Types.Char
	- GHC.Maybe.Maybe
	- Data.Either.Either
	- Data.Digest.Murmur32.combine
Warning: Data.Digest.Murmur64: could not find link destinations for:
	- GHC.Enum.Bounded
	- GHC.Enum.minBound
	- GHC.Enum.maxBound
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Classes.Ord
	- GHC.Classes.compare
	- GHC.Types.Ordering
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.>=
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Word.Word64
	- Data.ByteString.Internal.Type.ByteString
	- Data.ByteString.Lazy.Internal.ByteString
	- GHC.Num.Integer.Integer
	- GHC.Types.Char
	- GHC.Maybe.Maybe
	- Data.Either.Either
Documentation created: dist/doc/html/murmur-hash/index.html,
dist/doc/html/murmur-hash/murmur-hash.txt
+ ./Setup register --inplace
Registering library for murmur-hash-0.1.0.10..
+ cd ..
++ 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\)')
+ '[' -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 ']'
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ '[' -d /usr/lib64/ghc-9.4.5/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
+ ./Setup --version
Cabal library version 3.8.1.0
+ '[' -x Setup ']'
+ LANG=C.utf8
++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer
++ sed -e 's/ / -optc/g'
++ echo ' -Wl,-z,relro' -Wl,--as-needed -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.4.5/lib --user '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Werror=implicit-function-declaration -optc-Werror=implicit-int -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-fasynchronous-unwind-tables -optc-fno-omit-frame-pointer  -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1 -fhide-source-paths' -p --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/Agda-2.6.4 --user
Configuring Agda-2.6.4...
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j1
Preprocessing library for Agda-2.6.4..
Building library for Agda-2.6.4..
[  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
<no location info>: error:
    Couldn't find a target code interpreter. Try with -fexternal-interpreter
[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
error: Bad exit status from /var/tmp/rpm-tmp.Zxkj3F (%build)
    Bad exit status from /var/tmp/rpm-tmp.Zxkj3F (%build)
RPM build errors:
Child return code was: 1
EXCEPTION: [Error('Command failed: \n # bash --login -c /usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec\n', 1)]
Traceback (most recent call last):
  File "/usr/lib/python3.11/site-packages/mockbuild/trace_decorator.py", line 93, in trace
    result = func(*args, **kw)
             ^^^^^^^^^^^^^^^^^
  File "/usr/lib/python3.11/site-packages/mockbuild/util.py", line 598, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # bash --login -c /usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec