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/ghc-copilot-theorem.spec'], chrootPath='/var/lib/mock/f42-build-56120223-6540837/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 0xffff7f908e20>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xranq4wa:/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.xranq4wa:/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', '0d5e830fe1824c4a8595674830347430', '-D', '/var/lib/mock/f42-build-56120223-6540837/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xranq4wa:/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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target aarch64 --nodeps /builddir/build/SPECS/ghc-copilot-theorem.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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: aarch64
Building for target aarch64
setting SOURCE_DATE_EPOCH=1725235200
Wrote: /builddir/build/SRPMS/ghc-copilot-theorem-3.19.1-2.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/ghc-copilot-theorem.spec'], chrootPath='/var/lib/mock/f42-build-56120223-6540837/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 0xffff7f908e20>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xranq4wa:/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.xranq4wa:/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', '6bc0e138329d431bbd94fb3eb4f786e2', '-D', '/var/lib/mock/f42-build-56120223-6540837/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xranq4wa:/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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/ghc-copilot-theorem.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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: aarch64
Building for target aarch64
setting SOURCE_DATE_EPOCH=1725235200
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.QxbRZd
+ umask 022
+ cd /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ test -d /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ /usr/bin/rm -rf /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.RVtokd
+ umask 022
+ cd /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ cd /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ rm -rf copilot-theorem-3.19.1
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/copilot-theorem-3.19.1.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd copilot-theorem-3.19.1
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.CTnz3S
+ umask 022
+ cd /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-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 copilot-theorem-3.19.1
++ 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 -a -x CHANGELOG ']'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f README.md -a -x README.md ']'
==== Build copilot-theorem-3.19.1 ====
+ echo -e '\n==== Build copilot-theorem-3.19.1 ===='
+ '[' -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/ghc-copilot-theorem '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.6.6/lib --global '--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/copilot-theorem-3.19.1 --global
Configuring copilot-theorem-3.19.1...
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j12
Preprocessing library for copilot-theorem-3.19.1..
Building library for copilot-theorem-3.19.1..
on the commandline: warning: [-Wdeprecated-flags]
    -fcontext-stack=100 is deprecated: use -freduction-depth=100 instead
[ 1 of 34] Compiling Copilot.Theorem.IL.Spec
[ 2 of 34] Compiling Copilot.Theorem.IL.PrettyPrint
[ 3 of 34] Compiling Copilot.Theorem.IL.Transform
[ 4 of 34] Compiling Copilot.Theorem.IL.Translate
src/Copilot/Theorem/IL/Translate.hs:187:15: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns of type ‘C.Type a’ not matched:
            C.Array _
            C.Struct _
    |
187 | trConst t v = case t of
    |               ^^^^^^^^^...
src/Copilot/Theorem/IL/Translate.hs:268:10: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a \case alternative:
        Patterns of type ‘C.Type a’ not matched:
            C.Array _
            C.Struct _
    |
268 | trType = \case
    |          ^^^^^...
[ 5 of 34] Compiling Copilot.Theorem.IL
[ 6 of 34] Compiling Copilot.Theorem.Kind2.AST
[ 7 of 34] Compiling Copilot.Theorem.Misc.Error
[ 8 of 34] Compiling Copilot.Theorem.Misc.SExpr
[ 9 of 34] Compiling Copilot.Theorem.Kind2.PrettyPrint
[10 of 34] Compiling Copilot.Theorem.Misc.Utils
src/Copilot/Theorem/Misc/Utils.hs:12:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from[11 of 34] Compiling Copilot.Theorem.Prove
 ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
   |
12 | import Control.Applicative ((<$>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Theorem/Prove.hs:24:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
   |
24 | import Control.Applicative (liftA2)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Theorem/Prove.hs:82:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘pure = return’ definition detected
    in the instance declaration for ‘Applicative (ProofScheme a)’.
    Move definition from ‘return’ to ‘pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
82 |   pure = return
   |   ^^^^^^^^^^^^^
src/Copilot/Theorem/Prove.hs:87:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘return’ definition detected
    in the instance declaration for ‘Monad (ProofScheme a)’.[12 of 34] Compiling Copilot.Theorem.Kind2.Output
[13 of 34] Compiling Copilot.Theorem.Prover.Backend
    ‘return’ will eventually be removed in favour of ‘pure’
    Either remove definition for ‘return’ (recommended) or define as ‘return = pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
87 |   return a = Proof (return a)
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[14 of 34] Compiling Copilot.Theorem.Prover.SMTIO
[15 of 34] Compiling Copilot.Theorem.Prover.SMTLib
[16 of 34] Compiling Copilot.Theorem.Prover.TPTP
[17 of 34] Compiling Copilot.Theorem.Prover.SMT
src/Copilot/Theorem/Prover/SMT.hs:6:14: warning: [GHC-19244] [-Wtrustworthy-safe]
    ‘Copilot.Theorem.Prover.SMT’ is marked as Trustworthy but has been inferred as safe!
  |
6 | {-# LANGUAGE Trustworthy       #-}
  |              ^^^^^^^^^^^
[18 of 34] Compiling Copilot.Theorem.Tactics
[19 of 34] Compiling Copilot.Theorem
[20 of 34] Compiling Copilot.Theorem.TransSys.Invariants
[21 of 34] Compiling Copilot.Theorem.TransSys.Type
[22 of 34] Compiling Copilot.Theorem.TransSys.Cast
src/Copilot/Theorem/TransSys/Cast.hs:30:16: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns of type ‘Type t’ not matched:
            Array _
            Struct _
   |
30 | castedType t = case t of
   |                ^^^^^^^^^...
[23 of 34] Compiling Copilot.Theorem.TransSys.Operators
src/Copilot/Theorem/TransSys/Operators.hs:138:54: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns of type ‘C.Op1 _a _b’ not matched:
            C.Ceiling _
            C.Floor _
            C.GetField _ _ _
    |
138 | handleOp1 resT (op, e) handleExpr notHandledF mkOp = case op of
    |                                                      ^^^^^^^^^^...
[24 of 34] Compilingsrc/Copilot/Theorem/TransSys/Operators.hs:224:65: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns of type ‘C.Op2 _a _b _c’ not matched:
            C.Atan2 _
            C.Index _
    |
224 | handleOp2 resT (op, e1, e2) handleExpr notHandledF mkOp notOp = case op of
    |                                                                 ^^^^^^^^^^...
 Copilot.Theorem.TransSys.Spec
src/Copilot/Theorem/TransSys/Spec.hs:33:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
   |
33 | import Control.Applicative (liftA2)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[25 of 34] Compiling Copilot.Theorem.TransSys.Translate
[26 of 34] Compiling Copilot.Theorem.TransSys.Renaming
[27 of 34] Compiling Copilot.Theorem.TransSys.Transform
src/Copilot/Theorem/TransSys/Spec.hs:37:1: warning: [-Wunused-imports]
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
   |
37 | import Data.Monoid ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[28 of 34] Compilingsrc/Copilot/Theorem/TransSys/Transform.hs:211:12: warning: [GHC-62161] [-Wincomplete-uni-patterns]
    Pattern match(es) are non-exhaustive
    In a lambda abstraction:
        Patterns of type ‘Graph.SCC Node’ not matched: Graph.CyclicSCC _
    |
211 |       map (\(Graph.AcyclicSCC n) -> n) $ buildScc id (specNodes s) }
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
 Copilot.Theorem.TransSys.PrettyPrint
[29 of 34] Compiling Copilot.Theorem.TransSys
[30 of 34] Compiling Copilot.Theorem.Kind2.Translate
[31 of 34] Compiling Copilot.Theorem.Kind2.Prover
[32 of 34] Compiling Copilot.Theorem.Kind2
[33 of 34] Compiling Copilot.Theorem.What4.Translate
src/Copilot/Theorem/What4/Translate.hs:373:13: warning: [GHC-62161] [-Wincomplete-uni-patterns]
    Pattern match(es) are non-exhaustive
    In a pattern binding:
        Patterns of type ‘Maybe (V.Vector x (XExpr sym))’ not matched:
            Nothing
    |
373 |         let Just v = V.fromList n elts
    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^
[34 of 34] Compiling Copilot.Theorem.What4
on the commandline: warning: [-Wdeprecated-flags]
    -fcontext-stack=100 is deprecated: use -freduction-depth=100 instead
[ 1 of 34] Compiling Copilot.Theorem.IL.Spec
[ 2 of 34] Compiling Copilot.Theorem.IL.PrettyPrint
[ 3 of 34] Compiling Copilot.Theorem.IL.Transform
[ 4 of 34] Compiling Copilot.Theorem.IL.Translate
src/Copilot/Theorem/IL/Translate.hs:187:15: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns of type ‘C.Type a’ not matched:
            C.Array _
            C.Struct _
    |
187 | trConst t v = case t of
    |               ^^^^^^^^^...
src/Copilot/Theorem/IL/Translate.hs:268:10: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a \case alternative:
        Patterns of type ‘C.Type a’ not matched:
            C.Array _
            C.Struct _
    |
268 | trType = \case
    |          ^^^^^...
[ 5 of 34] Compiling Copilot.Theorem.IL
[ 6 of 34] Compiling Copilot.Theorem.Kind2.AST
[ 7 of 34] Compiling Copilot.Theorem.Misc.Error
[ 8 of 34] Compiling Copilot.Theorem.Misc.SExpr
[ 9 of 34] Compiling Copilot.Theorem.Kind2.PrettyPrint
[10 of 34] Compiling Copilot.Theorem.Misc.Utils
src/Copilot/Theorem/Misc/Utils.hs:12:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
   |
12 | import Control.Applicative ((<$>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[11 of 34] Compiling Copilot.Theorem.Prove
src/Copilot/Theorem/Prove.hs:24:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
   |
24 | import Control.Applicative (liftA2)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Theorem/Prove.hs:82:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘pure = return’ definition detected
    in the instance declaration for ‘Applicative (ProofScheme a)’.
    Move definition from ‘return’ to ‘pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
82 |   pure = return
   |   ^^^^^^^^^^^^^
[12 of 34] Compiling Copilot.Theorem.Kind2.Output
[13 of 34] Compiling Copilot.Theorem.Prover.Backend
src/Copilot/Theorem/Prove.hs:87:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘return’ definition detected
    in the instance declaration for ‘Monad (ProofScheme a)’.
    ‘return’ will eventually be removed in favour of ‘pure’
    Either remove definition for ‘return’ (recommended) or define as ‘return = pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
87 |   return a = Proof (return a)
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[14 of 34] Compiling Copilot.Theorem.Prover.SMTIO
[15 of 34] Compiling Copilot.Theorem.Prover.SMTLib
[16 of 34] Compiling Copilot.Theorem.Prover.TPTP
[17 of 34] Compiling Copilot.Theorem.Prover.SMT
src/Copilot/Theorem/Prover/SMT.hs:6:14: warning: [GHC-19244] [-Wtrustworthy-safe]
    ‘Copilot.Theorem.Prover.SMT’ is marked as Trustworthy but has been inferred as safe!
  |
6 | {-# LANGUAGE Trustworthy       #-}
  |              ^^^^^^^^^^^
[18 of 34] Compiling Copilot.Theorem.Tactics
[19 of 34] Compiling Copilot.Theorem
[20 of 34] Compiling Copilot.Theorem.TransSys.Invariants
[21 of 34] Compiling Copilot.Theorem.TransSys.Type
[22 of 34] Compiling Copilot.Theorem.TransSys.Cast
src/Copilot/Theorem/TransSys/Cast.hs:30:16: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns of type ‘Type t’ not matched:
            Array _
            Struct _
   |
30 | castedType t = case t of
   |                ^^^^^^^^^...
[23 of 34] Compiling Copilot.Theorem.TransSys.Operators
src/Copilot/Theorem/TransSys/Operators.hs:138:54: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns of type ‘C.Op1 _a _b’ not matched:
            C.Ceiling _
            C.Floor _
            C.GetField _ _ _
    |
138 | handleOp1 resT (op, e) handleExpr notHandledF mkOp = case op of
    |                                                      ^^^^^^^^^^...
src/Copilot/Theorem/TransSys/Operators.hs:224:65: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns of type ‘C.Op2 _a _b _c’ not matched:
[24 of 34] Compiling Copilot.Theorem.TransSys.Spec
            C.Atan2 _
            C.Index _
    |
224 | handleOp2 resT (op, e1, e2) handleExpr notHandledF mkOp notOp = case op of
    |                                                                 ^^^^^^^^^^...
src/Copilot/Theorem/TransSys/Spec.hs:33:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
   |
33 | import Control.Applicative (liftA2)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Theorem/TransSys/Spec.hs:37:1: warning[25 of 34] Compiling Copilot.Theorem.TransSys.Translate
[26 of 34] Compiling Copilot.Theorem.TransSys.Renaming
[27 of 34] Compiling Copilot.Theorem.TransSys.Transform
: [-Wunused-imports]
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
   |
37 | import Data.Monoid ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
src/Copilot/Theorem/TransSys/Transform.hs:211:12: warning[28 of 34] Compiling Copilot.Theorem.TransSys.PrettyPrint
[29 of 34] Compiling Copilot.Theorem.TransSys
[30 of 34] Compiling Copilot.Theorem.Kind2.Translate
[31 of : [GHC-62161] [-Wincomplete-uni-patterns]
    Pattern match(es) are non-exhaustive
    In a lambda abstraction:
        Patterns of type ‘Graph.SCC Node’ not matched: Graph.CyclicSCC _
    |
211 |       map (\(Graph.AcyclicSCC n) -> n) $ buildScc id (specNodes s) }
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
34] Compiling Copilot.Theorem.Kind2.Prover
[32 of 34] Compiling Copilot.Theorem.Kind2
[33 of 34] Compiling Copilot.Theorem.What4.Translate
src/Copilot/Theorem/What4/Translate.hs:373:13: warning: [GHC-62161] [-Wincomplete-uni-patterns]
    Pattern match(es) are non-exhaustive
    In a pattern binding:
        Patterns of type ‘Maybe (V.Vector x (XExpr sym))’ not matched:
            Nothing
    |
373 |         let Just v = V.fromList n elts
    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^
[34 of 34] Compiling Copilot.Theorem.What4
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.FkkuwL
+ umask 022
+ cd /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ '[' /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT
++ dirname /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ mkdir /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-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 copilot-theorem-3.19.1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup copy --destdir=/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT
Installing library in /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup register --gen-pkg-config
+ '[' -d /usr/lib64/ghc-9.6.6/lib ']'
+ subsubdir=/lib
+ '[' -d copilot-theorem-3.19.1.conf ']'
+ install -D --mode=0644 copilot-theorem-3.19.1.conf /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/copilot-theorem-3.19.1.conf
+ '[' -d /usr/lib64/ghc-9.6.6/lib ']'
+ subsubdir=/lib
+ '[' '!' -f /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/copilot-theorem-3.19.1.conf ']'
+ rm -f ghc-copilot-theorem.files ghc-copilot-theorem-doc.files
+ touch ghc-copilot-theorem.files ghc-copilot-theorem-doc.files
+ for i in /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6${subsubdir}/libHScopilot-theorem-3.19.1-*ghc9.6.6.so
+ '[' -x /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6-ghc9.6.6.so ']'
+ echo /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6-ghc9.6.6.so
+ pkgdir=/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1
+ '[' -d /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1 ']'
+ find /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1 -type d -fprintf ghc-copilot-theorem-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-copilot-theorem-prof.files -o -fprint ghc-copilot-theorem-devel.files
+ ls /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/copilot-theorem-3.19.1.conf
+ haddock_dir=/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1
+ '[' -d /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1 ']'
+ for i in ghc-copilot-theorem.files ghc-copilot-theorem-devel.files ghc-copilot-theorem-doc.files ghc-copilot-theorem-prof.files
+ '[' -f ghc-copilot-theorem.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT!!g' ghc-copilot-theorem.files
+ for i in ghc-copilot-theorem.files ghc-copilot-theorem-devel.files ghc-copilot-theorem-doc.files ghc-copilot-theorem-prof.files
+ '[' -f ghc-copilot-theorem-devel.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT!!g' ghc-copilot-theorem-devel.files
+ for i in ghc-copilot-theorem.files ghc-copilot-theorem-devel.files ghc-copilot-theorem-doc.files ghc-copilot-theorem-prof.files
+ '[' -f ghc-copilot-theorem-doc.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT!!g' ghc-copilot-theorem-doc.files
+ for i in ghc-copilot-theorem.files ghc-copilot-theorem-devel.files ghc-copilot-theorem-doc.files ghc-copilot-theorem-prof.files
+ '[' -f ghc-copilot-theorem-prof.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT!!g' ghc-copilot-theorem-prof.files
deleting rpaths:
+ echo 'deleting rpaths:'
+ type chrpath
++ find /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print
+ for i in $(find /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
++ chrpath /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6-ghc9.6.6.so
++ sed -e 's@^/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6-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
+ /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/ghc-copilot-theorem-3.19.1-build/BUILDROOT
/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6.a: replacing with normalized version
/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/copilot-theorem-3.19.1/libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6_p.a: replacing with normalized version
Scanned 18 directories and 107 files,
               processed 2 inodes,
               2 modified (2 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/SPECPARTS/rpm-debuginfo.specpart
Processing files: ghc-copilot-theorem-3.19.1-2.fc42.aarch64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.n9y32b
+ umask 022
+ cd /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ cd copilot-theorem-3.19.1
+ LICENSEDIR=/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/share/licenses/ghc-copilot-theorem
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/share/licenses/ghc-copilot-theorem
+ cp -pr /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/copilot-theorem-3.19.1/LICENSE /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/share/licenses/ghc-copilot-theorem
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-copilot-theorem = 3.19.1-2.fc42 ghc-copilot-theorem(aarch-64) = 3.19.1-2.fc42 libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6-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: libHSBoundedChan-1.0.3.0-KC4GwTTdtFBGyIaMAN8c52-ghc9.6.6.so()(64bit) libHSOneTuple-0.4.2-7od06fXUUXRBNk1V3VY0g5-ghc9.6.6.so()(64bit) libHSStateVar-1.2.2-A6sCENWC9xLH02ziP9IDyb-ghc9.6.6.so()(64bit) libHSadjunctions-4.4.2-DR6oqnMdCoxBqhdDFvlmdF-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-orphans-0.9.2-5KrayDGKJf32IfEBx9TBiS-ghc9.6.6.so()(64bit) libHSbifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw-ghc9.6.6.so()(64bit) libHSbimap-0.5.0-7xXK3bsJVmhBL74wTtka32-ghc9.6.6.so()(64bit) libHSbinary-0.8.9.1-ghc9.6.6.so()(64bit) libHSbitwise-1.0.0.1-2DxYIjAuiDa30WWLo8XlFV-ghc9.6.6.so()(64bit) libHSboring-0.2.2-I0tBY1I8sYa9lVAnLMQgBW-ghc9.6.6.so()(64bit) libHSbv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C-ghc9.6.6.so()(64bit) libHSbytestring-0.11.5.3-ghc9.6.6.so()(64bit) libHScall-stack-0.4.0-GZ3nSiFdomD3K5ojbP90a6-ghc9.6.6.so()(64bit) libHScase-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy-ghc9.6.6.so()(64bit) libHScomonad-5.0.8-6z2oFUa3fJi9bdDseQ1IV-ghc9.6.6.so()(64bit) libHSconcurrent-extra-0.7.0.12-D9YuD3SuJvlCaumJhgsBnR-ghc9.6.6.so()(64bit) libHSconfig-value-0.8.3-IWIlPmbx9u07ZPnTUBDeDU-ghc9.6.6.so()(64bit) libHSconstraints-0.14.2-DBQLI6vI2UvA6qVcpEpOKN-ghc9.6.6.so()(64bit) libHScontainers-0.6.7-ghc9.6.6.so()(64bit) libHScontravariant-1.5.5-A7lal0hcJpG2Mk9fe5J59Z-ghc9.6.6.so()(64bit) libHScopilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn-ghc9.6.6.so()(64bit) libHScopilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l-ghc9.6.6.so()(64bit) libHSdata-default-0.7.1.1-DpysxdNbXrFKlCHYRosISy-ghc9.6.6.so()(64bit) libHSdata-default-class-0.1.2.0-BWLo43avd8G7UXQOJgP1zg-ghc9.6.6.so()(64bit) libHSdata-default-instances-containers-0.0.1-9HmbPVDc5Un8FuaFvPP8ST-ghc9.6.6.so()(64bit) libHSdata-default-instances-dlist-0.0.1-2gkcIfRFInIErMeAmVsrRr-ghc9.6.6.so()(64bit) libHSdata-default-instances-old-locale-0.0.1-1sjcAq4dNEj38cCTGW1HGJ-ghc9.6.6.so()(64bit) libHSdeepseq-1.4.8.1-ghc9.6.6.so()(64bit) libHSderiving-compat-0.6.6-BZAse9X3FgdCgeRopZUN4f-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) libHSexceptions-0.10.7-ghc9.6.6.so()(64bit) libHSfilepath-1.4.300.1-ghc9.6.6.so()(64bit) libHSfingertree-0.1.5.0-Giwitp12LPIDULoEcsvbRk-ghc9.6.6.so()(64bit) libHSfree-5.2-2rCe6bpLJWpA9b9i5VsVod-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-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) libHShashtables-1.3.1-NKxkWBizXBD6lggB7bbdl-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) libHSinvariant-0.6.3-GBIUprIJTjq1eiKXRa81Vd-ghc9.6.6.so()(64bit) libHSio-streams-1.5.2.2-6r6D7qySpqbGI5nO0QZw1P-ghc9.6.6.so()(64bit) libHSkan-extensions-5.2.6-BIgSDonUxaHBZj7VHsk6vd-ghc9.6.6.so()(64bit) libHSlens-5.2.3-FNehLn69AsbHuDfy3Kg0ht-ghc9.6.6.so()(64bit) libHSlibBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv-ghc9.6.6.so()(64bit) libHSmegaparsec-9.5.0-81q7R26puLL6FUAd1155SX-ghc9.6.6.so()(64bit) libHSmtl-2.3.1-ghc9.6.6.so()(64bit) libHSnetwork-3.1.4.0-I6jFfdQwj0Q5FZzAobit5e-ghc9.6.6.so()(64bit) libHSold-locale-1.0.0.7-Gunit3UBy5P9OGDVFY5MhC-ghc9.6.6.so()(64bit) libHSordered-containers-0.2.4-8q6tOEUItdz71CjmZZ7kh5-ghc9.6.6.so()(64bit) libHSos-string-2.0.6-IlBa2UQjH7mL18YjMu1jzE-ghc9.6.6.so()(64bit) libHSpanic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe-ghc9.6.6.so()(64bit) libHSparallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD-ghc9.6.6.so()(64bit) libHSparameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl-ghc9.6.6.so()(64bit) libHSparsec-3.1.16.1-ghc9.6.6.so()(64bit) libHSparser-combinators-1.3.0-7dECKLyoqfd8EW2UfNTkZ3-ghc9.6.6.so()(64bit) libHSpretty-1.1.3.6-ghc9.6.6.so()(64bit) libHSprettyprinter-1.7.1-CDxAO72IL6lFavjzsDUSDp-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) libHSprofunctors-5.6.2-Ex6a4raT7NS3ARkdIavGdg-ghc9.6.6.so()(64bit) libHSrandom-1.2.1.2-9nSipNyPzIK3OtGny4BWjI-ghc9.6.6.so()(64bit) libHSreflection-2.1.8-DukIK09Udl4IELGyn4qsSv-ghc9.6.6.so()(64bit) libHSs-cargot-0.1.6.0-AJ9P71NUngVAyhLNeQCXN2-ghc9.6.6.so()(64bit) libHSsafe-exceptions-0.1.7.4-G1fs5SY5i1W7EEbU0Su8pW-ghc9.6.6.so()(64bit) libHSscientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m-ghc9.6.6.so()(64bit) libHSsemigroupoids-6.0.1-32bnlDo08uWKppaK8Ib2rA-ghc9.6.6.so()(64bit) libHSsemigroups-0.20-FifEs3zbUBKDT9bErGELTt-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) libHStemporary-1.3-LMyaaf7YeRfLDOLTsEMncs-ghc9.6.6.so()(64bit) libHStext-2.0.2-ghc9.6.6.so()(64bit) libHSth-abstraction-0.5.0.0-HAFjiAO2nGN58SdxVZCnLH-ghc9.6.6.so()(64bit) libHSth-lift-0.8.4-1nDn5GaGtOI9q63njtRfou-ghc9.6.6.so()(64bit) libHSth-lift-instances-0.1.20-267kS75CPlFAUdpPe9wWwB-ghc9.6.6.so()(64bit) libHSthese-1.2.1-Lmhp9aSRg20H3DMUOaCHTJ-ghc9.6.6.so()(64bit) libHStime-1.12.2-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) libHSunbounded-delays-0.1.1.1-HsgcuRTUZLCDZTX0AINS0o-ghc9.6.6.so()(64bit) libHSunix-2.8.4.0-ghc9.6.6.so()(64bit) libHSunliftio-0.2.25.0-HtwgMuIDrh016F2b6JZvmk-ghc9.6.6.so()(64bit) libHSunliftio-core-0.2.1.0-6sOpIonHj8t5wIbPhWbPHY-ghc9.6.6.so()(64bit) libHSunordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk-ghc9.6.6.so()(64bit) libHSutf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE-ghc9.6.6.so()(64bit) libHSvector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL-ghc9.6.6.so()(64bit) libHSvector-stream-0.1.0.1-B3eeou3yuYd7g2aD4u5s22-ghc9.6.6.so()(64bit) libHSversions-6.0.7-7Sd4BmrKpeaEiEyrWMxlNn-ghc9.6.6.so()(64bit) libHSvoid-0.7.3-G4YN601gfJi8uMn6vxUCAZ-ghc9.6.6.so()(64bit) libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so()(64bit) libHSxml-1.3.14-3CsuYrgQlhu1X5fBOwcswt-ghc9.6.6.so()(64bit) libHSzenc-0.1.2-BNjDLBKiUVIJGU0oVtqYES-ghc9.6.6.so()(64bit) libHSzlib-0.6.3.0-1wL1ZnD0mNDIbG0f7fYWIS-ghc9.6.6.so()(64bit) libHSzlib-bindings-0.1.1.5-wtxm7T9ybl4c1shHXeSn1-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) libm.so.6()(64bit) libz.so.1()(64bit) rtld(GNU_HASH)
Processing files: ghc-copilot-theorem-devel-3.19.1-2.fc42.aarch64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.9eQjE5
+ umask 022
+ cd /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build
+ cd copilot-theorem-3.19.1
+ DOCDIR=/builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/share/doc/ghc-copilot-theorem-devel
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/share/doc/ghc-copilot-theorem-devel
+ cp -pr /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/copilot-theorem-3.19.1/CHANGELOG /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/share/doc/ghc-copilot-theorem-devel
+ cp -pr /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/copilot-theorem-3.19.1/README.md /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT/usr/share/doc/ghc-copilot-theorem-devel
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-copilot-theorem-devel = 3.19.1-2.fc42 ghc-copilot-theorem-devel(aarch-64) = 3.19.1-2.fc42 ghc-copilot-theorem-static = 3.19.1-2.fc42 ghc-copilot-theorem-static(aarch-64) = 3.19.1-2.fc42 ghc-devel(copilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-devel(base-4.18.2.1) ghc-devel(bimap-0.5.0-7xXK3bsJVmhBL74wTtka32) ghc-devel(bv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C) ghc-devel(containers-0.6.7) ghc-devel(copilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn) ghc-devel(copilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l) ghc-devel(data-default-0.7.1.1-DpysxdNbXrFKlCHYRosISy) ghc-devel(directory-1.3.8.5) ghc-devel(libBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv) ghc-devel(mtl-2.3.1) ghc-devel(panic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe) ghc-devel(parameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl) ghc-devel(parsec-3.1.16.1) ghc-devel(pretty-1.1.3.6) ghc-devel(process-1.6.19.0) ghc-devel(random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI) ghc-devel(transformers-0.6.1.0) ghc-devel(what4-1.5.1-1yqxCkdqCTABIoRcsgiohr) ghc-devel(xml-1.3.14-3CsuYrgQlhu1X5fBOwcswt)
Processing files: ghc-copilot-theorem-doc-3.19.1-2.fc42.noarch
RPM build errors:
error: Empty %files file /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/copilot-theorem-3.19.1/ghc-copilot-theorem-doc.files
    Empty %files file /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/copilot-theorem-3.19.1/ghc-copilot-theorem-doc.files
Child return code was: 1
EXCEPTION: [Error('Command failed: \n # /usr/bin/systemd-nspawn -q -M 6bc0e138329d431bbd94fb3eb4f786e2 -D /var/lib/mock/f42-build-56120223-6540837/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.xranq4wa:/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;<mock-chroot>\\007"\' \'--setenv=PS1=<mock-chroot> \\s-\\v\\$ \' --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c \'/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/ghc-copilot-theorem.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 6bc0e138329d431bbd94fb3eb4f786e2 -D /var/lib/mock/f42-build-56120223-6540837/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.xranq4wa:/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;<mock-chroot>\007"' '--setenv=PS1=<mock-chroot> \s-\v\$ ' --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c '/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/ghc-copilot-theorem.spec'