Mock Version: 6.0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-copilot-theorem.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-g/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 0x7fc312939340>timeout=0uid=1000gid=135user='mockbuild'unshare_net=TrueprintOutput=Truenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.m2lmbooc:/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.m2lmbooc:/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', '353e3f29b4734ee3b94f7d93b82c3ef9', '-D', '/var/lib/mock/fedora-rawhide-x86_64-g/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.m2lmbooc:/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 x86_64 --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: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1736985600
Wrote: /builddir/build/SRPMS/ghc-copilot-theorem-3.19.1-3.fc42.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', "/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps --define '__spec_check_template exit 0; ' /builddir/build/SPECS/ghc-copilot-theorem.spec"], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-g/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 0x7fc312939340>timeout=0uid=1000gid=135user='mockbuild'unshare_net=TrueprintOutput=Truenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.m2lmbooc:/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.m2lmbooc:/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', '559d28d2a84a4b45acb90b99b922a468', '-D', '/var/lib/mock/fedora-rawhide-x86_64-g/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.m2lmbooc:/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 x86_64 --nodeps --define '__spec_check_template exit 0; ' /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: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1736985600
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.QNtIY1
+ 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.dxhRdb
+ 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.aOfJlI
+ 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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 ']'
==== Build copilot-theorem-3.19.1 ====
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f README.md -a -x README.md ']'
+ echo -e '\n==== Build 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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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-m64 -optc-march=x86-64 -optc-mtune=generic -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fcf-protection -optc-mtls-dialect=gnu2 -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 -j64
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 ‘Control.Applicative’
    To import instances alone, use: import[11 of 34] Compiling Copilot.Theorem.Prove
 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)’.
    ‘return’ will eventually be removed in favour of ‘pure’
    Either remove definition for ‘return’ (recommended) or define as[12 of 34] Compiling Copilot.Theorem.Kind2.Output
[13 of 34] Compiling Copilot.Theorem.Prover.Backend
 ‘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[24 of 34] Compiling Copilot.Theorem.TransSys.Spec
:
        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
    |                                                                 ^^^^^^^^^^...
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: [-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 ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[25 of 34] Compiling Copilot.Theorem.TransSys.Translate
[26 of 34] Compiling Copilot.Theorem.TransSys.Renaming
[27 of 34] Compiling Copilot.Theorem.TransSys.Transform
[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 34] Compiling Copilot.Theorem.Kind2.Prover
[32 of 34] Compiling Copilot.Theorem.Kind2
[33 of 34] Compiling Copilot.Theorem.What4.Translate
src/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) }
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
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[23 of 34] Compiling Copilot.Theorem.TransSys.Operators
 ‘Type t’ not matched:
            Array _
            Struct _
   |
30 | castedType t = case t of
   |                ^^^^^^^^^...
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]
[24 of 34] Compiling Copilot.Theorem.TransSys.Spec
    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
    |                                                                 ^^^^^^^^^^...
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
[28 of 34] Compiling Copilot.Theorem.TransSys.PrettyPrint
[29 of 34] Compiling Copilot.Theorem.TransSys
[30 of 34] Compiling Copilot.Theorem.Kind2.Translate
: [-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: [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) }
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
[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
+ '[' -n dist/build/libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6-ghc9.6.6.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library for copilot-theorem-3.19.1..
Running Haddock on library for copilot-theorem-3.19.1..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: BoundedChan-1.0.3.0,
OneTuple-0.4.2, StateVar-1.2.2, adjunctions-4.4.2, array-0.5.6.0, assoc-1.1.1,
async-2.2.5, attoparsec-0.14.4, attoparsec-0.14.4, base-4.18.2.1,
base-compat-0.13.1, base-orphans-0.9.2, bifunctors-5.6.2, bimap-0.5.0,
binary-0.8.9.1, bitwise-1.0.0.1, boring-0.2.2, bv-sized-1.0.5,
bytestring-0.11.5.3, call-stack-0.4.0, case-insensitive-1.2.1.0,
comonad-5.0.8, concurrent-extra-0.7.0.12, config-value-0.8.3,
constraints-0.14.2, containers-0.6.7, contravariant-1.5.5,
copilot-core-3.19.1, copilot-prettyprinter-3.19.1, data-default-0.7.1.1,
data-default-class-0.1.2.0, data-default-instances-containers-0.0.1,
data-default-instances-dlist-0.0.1, data-default-instances-old-locale-0.0.1,
deepseq-1.4.8.1, deriving-compat-0.6.6, directory-1.3.8.5,
distributive-0.6.2.1, dlist-1.0, exceptions-0.10.7, filepath-1.4.300.1,
fingertree-0.1.5.0, free-5.2, ghc-bignum-1.3, ghc-boot-th-9.6.6,
ghc-prim-0.10.0, gitrev-1.3.1, hashable-1.4.4.0, hashtables-1.3.1,
indexed-traversable-0.1.4, indexed-traversable-instances-0.1.2,
integer-logarithms-1.0.3.1, invariant-0.6.3, io-streams-1.5.2.2,
kan-extensions-5.2.6, lens-5.2.3, libBF-0.6.8, megaparsec-9.5.0, mtl-2.3.1,
network-3.1.4.0, old-locale-1.0.0.7, ordered-containers-0.2.4,
os-string-2.0.6, panic-0.4.0.1, parallel-3.2.2.0, parameterized-utils-2.1.8.0,
parsec-3.1.16.1, parser-combinators-1.3.0, pretty-1.1.3.6,
prettyprinter-1.7.1, primitive-0.8.0.0, process-1.6.19.0, profunctors-5.6.2,
random-1.2.1.2, reflection-2.1.8, s-cargot-0.1.6.0, safe-exceptions-0.1.7.4,
scientific-0.3.7.0, semigroupoids-6.0.1, semigroups-0.20, splitmix-0.1.0.5,
stm-2.5.1.0, strict-0.5, tagged-0.8.8, template-haskell-2.20.0.0,
temporary-1.3, text-2.0.2, th-abstraction-0.5.0.0, th-lift-0.8.4,
th-lift-instances-0.1.20, these-1.2.1, time-1.12.2, transformers-0.6.1.0,
transformers-base-0.4.6, transformers-compat-0.7.2, unbounded-delays-0.1.1.1,
unix-2.8.4.0, unliftio-0.2.25.0, unliftio-core-0.2.1.0,
unordered-containers-0.2.20, utf8-string-1.0.2, vector-0.13.1.0,
vector-stream-0.1.0.1, versions-6.0.7, void-0.7.3, what4-1.5.1, xml-1.3.14,
zenc-0.1.2, zlib-0.6.3.0, zlib-bindings-0.1.1.5
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
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 ((<$>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
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)’.
    ‘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)
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
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       #-}
  |              ^^^^^^^^^^^
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: [-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 ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
Warning: 'Int8' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Int16' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
 100% ( 15 / 15) in 'Copilot.Theorem.Prove'
Warning: Couldn't find .haddock for export Default
  95% ( 20 / 21) in 'Copilot.Theorem.Prover.SMT'
  Missing documentation for:
    Default
 100% (  9 /  9) in 'Copilot.Theorem'
Warning: Couldn't find .haddock for export toDyn
Warning: 'm' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'resT' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'expr' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Expr' is ambiguous. It is defined
    * at src/Copilot/Theorem/TransSys/Spec.hs:93:29
    * at src/Copilot/Theorem/TransSys/Spec.hs:96: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/Copilot/Theorem/TransSys/Spec.hs:93:1
Warning: 'fib' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: Copilot.Theorem.Kind2.Prover: Could not find documentation for exported module: Data.Default
 100% (  3 /  3) in 'Copilot.Theorem.Kind2.Prover'
 100% ( 13 / 13) in 'Copilot.Theorem.Kind2'
 100% ( 11 / 11) in 'Copilot.Theorem.What4'
Warning: Copilot.Theorem.Prove: could not find link destinations for: 
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.fmap
	- GHC.Base.return
	- GHC.Base.<*>
	- GHC.Base.pure
	- GHC.Base.*>
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Base.Applicative
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.IO
	- GHC.Types.Type
	- GHC.Types.True
	- GHC.Base.<*
	- GHC.Base.liftA2
	- GHC.Base.<$
	- Copilot.Core.Spec.Spec
	- Control.Monad.Trans.Writer.Lazy.Writer
Warning: Copilot.Theorem.Prover.SMT: could not find link destinations for: 
	- GHC.Real.Integral
	- GHC.Num.Num
	- GHC.Float.RealFloat
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Double
	- GHC.Types.Float
	- GHC.Types.Int
	- GHC.Int.Int8
	- GHC.Int.Int16
	- GHC.Int.Int32
	- GHC.Int.Int64
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Real.Ratio
	- GHC.Types.IO
	- GHC.Types.Word
	- GHC.Word.Word8
	- GHC.Word.Word16
	- GHC.Word.Word32
	- GHC.Word.Word64
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Copilot.Theorem.IL.Spec.Expr
	- Copilot.Theorem.IL.Spec.Type
	- Data.Semigroup.Internal.Any
	- Data.Semigroup.Internal.Dual
	- Data.Semigroup.Internal.Endo
	- Data.Semigroup.Internal.Product
	- Data.Semigroup.Internal.Sum
	- Data.Semigroup.Internal.All
	- Data.Monoid.First
	- Data.Monoid.Last
	- Foreign.C.Types.CClock
	- Foreign.C.Types.CDouble
	- Foreign.C.Types.CFloat
	- Foreign.C.Types.CInt
	- Foreign.C.Types.CIntMax
	- Foreign.C.Types.CIntPtr
	- Foreign.C.Types.CLLong
	- Foreign.C.Types.CLong
	- Foreign.C.Types.CPtrdiff
	- Foreign.C.Types.CSUSeconds
	- Foreign.C.Types.CShort
	- Foreign.C.Types.CSigAtomic
	- Foreign.C.Types.CSize
	- Foreign.C.Types.CTime
	- Foreign.C.Types.CUInt
	- Foreign.C.Types.CUIntMax
	- Foreign.C.Types.CUIntPtr
	- Foreign.C.Types.CULLong
	- Foreign.C.Types.CULong
	- Foreign.C.Types.CUSeconds
	- Foreign.C.Types.CUShort
	- Data.Complex.Complex
	- Copilot.Theorem.Prover.Backend.push
	- Copilot.Theorem.Prover.Backend.pop
	- Copilot.Theorem.Prover.Backend.checkSat
	- Copilot.Theorem.Prover.Backend.setLogic
	- Copilot.Theorem.Prover.Backend.declFun
	- Copilot.Theorem.Prover.Backend.assert
Warning: Copilot.Theorem: could not find link destinations for: 
	- GHC.Base.String
Warning: Copilot.Theorem.Kind2.Prover: could not find link destinations for: 
	- GHC.Types.Int
Warning: Copilot.Theorem.Kind2: could not find link destinations for: 
	- GHC.Base.String
	- Copilot.Theorem.TransSys.Spec.TransSys
	- Copilot.Theorem.TransSys.Spec.PropId
Warning: Copilot.Theorem.What4: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Types.IO
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Copilot.Core.Expr.Id
	- Copilot.Core.Expr.Name
	- Copilot.Core.Spec.Spec
	- Copilot.Core.Type.Type
	- Data.Type.Ord.<=
	- Data.Parameterized.Some.Some
	- Data.Parameterized.Vector.Vector
	- What4.BaseTypes.BaseBVType
	- What4.BaseTypes.BaseBoolType
	- What4.Interface.IsExprBuilder
	- What4.Interface.Pred
	- What4.Interface.SymExpr
	- What4.InterpretedFloatingPoint.DoubleFloat
	- What4.InterpretedFloatingPoint.IsInterpretedFloatSymExprBuilder
	- What4.InterpretedFloatingPoint.SingleFloat
	- What4.InterpretedFloatingPoint.SymInterpretedFloatType
Documentation created: dist/doc/html/copilot-theorem/,
dist/doc/html/copilot-theorem/copilot-theorem.txt
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.e9Sgrz
+ 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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 ']'
+ echo /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/x86_64-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 -j64
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j64 /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 24 directories and 158 files,
               processed 44 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-3.fc42.x86_64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.yFQqq5
+ 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-3.fc42 ghc-copilot-theorem(x86-64) = 3.19.1-3.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.2.5)(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-3.fc42.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.vSIl2N
+ 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-3.fc42 ghc-copilot-theorem-devel(x86-64) = 3.19.1-3.fc42 ghc-copilot-theorem-static = 3.19.1-3.fc42 ghc-copilot-theorem-static(x86-64) = 3.19.1-3.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-3.fc42.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.lVK8jv
+ 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-doc
+ 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-doc
+ 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-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-copilot-theorem-doc = 3.19.1-3.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ghc-copilot-theorem-prof-3.19.1-3.fc42.x86_64
Provides: ghc-copilot-theorem-prof = 3.19.1-3.fc42 ghc-copilot-theorem-prof(x86-64) = 3.19.1-3.fc42 ghc-prof(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-prof(base-4.18.2.1) ghc-prof(bimap-0.5.0-7xXK3bsJVmhBL74wTtka32) ghc-prof(bv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C) ghc-prof(containers-0.6.7) ghc-prof(copilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn) ghc-prof(copilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l) ghc-prof(data-default-0.7.1.1-DpysxdNbXrFKlCHYRosISy) ghc-prof(directory-1.3.8.5) ghc-prof(libBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv) ghc-prof(mtl-2.3.1) ghc-prof(panic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe) ghc-prof(parameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl) ghc-prof(parsec-3.1.16.1) ghc-prof(pretty-1.1.3.6) ghc-prof(process-1.6.19.0) ghc-prof(random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI) ghc-prof(transformers-0.6.1.0) ghc-prof(what4-1.5.1-1yqxCkdqCTABIoRcsgiohr) ghc-prof(xml-1.3.14-3CsuYrgQlhu1X5fBOwcswt)
Supplements: (ghc-copilot-theorem-devel and ghc-prof)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/ghc-copilot-theorem-3.19.1-build/BUILDROOT
Wrote: /builddir/build/RPMS/ghc-copilot-theorem-3.19.1-3.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ghc-copilot-theorem-devel-3.19.1-3.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ghc-copilot-theorem-doc-3.19.1-3.fc42.noarch.rpm
Wrote: /builddir/build/RPMS/ghc-copilot-theorem-prof-3.19.1-3.fc42.x86_64.rpm
Child return code was: 0