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 x86_64 --nodeps /builddir/build/SPECS/ghc-copilot-theorem.spec'], chrootPath='/var/lib/mock/f42-build-56120221-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 0x7f17a9ab4e20>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.vz5w_ki7:/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.vz5w_ki7:/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', '4ce3663a442a4e4692416f49ebeaf3d0', '-D', '/var/lib/mock/f42-build-56120221-6540837/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.vz5w_ki7:/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=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 x86_64 --nodeps /builddir/build/SPECS/ghc-copilot-theorem.spec'], chrootPath='/var/lib/mock/f42-build-56120221-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 0x7f17a9ab4e20>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.vz5w_ki7:/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.vz5w_ki7:/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', 'd4ff3a6dd52144488bb0a480c4742fa7', '-D', '/var/lib/mock/f42-build-56120221-6540837/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.vz5w_ki7:/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 /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=1725235200
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.Z2yGND
+ 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.2j8XAJ
+ 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.fCq4om
+ 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 ']'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
==== Build copilot-theorem-3.19.1 ====
+ '[' -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 -j48
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 Control.Applicative()
   |
[11 of 34] Compiling Copilot.Theorem.Prove
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)
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 34] Compiling Copilot.Theorem.Kind2.Output
[13 of 34] Compiling Copilot.Theorem.Prover.Backend
[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:
            C.Atan2 _
            C.Index _
    |
224 | handleOp2 resT (op, e1, e2) handleExpr notHandledF mkOp notOp = case op of
    |                                                                 ^^^^^^^^^^...
[24 of 34] Compiling Copilot.Theorem.TransSys.Spec
[25 of 34] Compiling Copilot.Theorem.TransSys.Translate
[26 of 34] 
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 ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
Compiling Copilot.Theorem.TransSys.Renaming
[27 of 34] Compiling Copilot.Theorem.TransSys.Transform
[28 of 34] Compiling Copilot.Theorem.TransSys.PrettyPrint
[29 of 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) }
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
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 ((<$>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
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]
[11 of 34] Compiling Copilot.Theorem.Prove
[12 of 34] Compiling Copilot.Theorem.Kind2.Output
[13 of 34] Compiling Copilot.Theorem.Prover.Backend
    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)
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[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
   |                ^^^^^^^^^...
src/Copilot/Theorem/TransSys/Operators.hs:138:54: warning: [GHC-62161] [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative[23 of 34] Compiling Copilot.Theorem.TransSys.Operators
[24 of 34] Compiling Copilot.Theorem.TransSys.Spec
:
        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:
            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
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) }
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
[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.QxrBMw
+ 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 ']'
+ 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 -j48
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j48 /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.x86_64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.7jGePg
+ 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(x86-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.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-2.fc42.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.h46Xav
+ 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(x86-64) = 3.19.1-2.fc42 ghc-copilot-theorem-static = 3.19.1-2.fc42 ghc-copilot-theorem-static(x86-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 d4ff3a6dd52144488bb0a480c4742fa7 -D /var/lib/mock/f42-build-56120221-6540837/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.vz5w_ki7:/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 /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 d4ff3a6dd52144488bb0a480c4742fa7 -D /var/lib/mock/f42-build-56120221-6540837/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.vz5w_ki7:/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 /builddir/build/SPECS/ghc-copilot-theorem.spec'