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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=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;\\007"', '--setenv=PS1= \\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;\\007"', 'PS1': ' \\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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=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;\\007"', '--setenv=PS1= \\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;\\007"', 'PS1': ' \\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