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 ppc64le --nodeps /builddir/build/SPECS/ghc-copilot-language.spec'], chrootPath='/var/lib/mock/f40-build-56133937-6540900/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 0x7fff971d0e20>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6imsrxhu:/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.6imsrxhu:/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', 'd5ba6599fe8c4514a85d89eb709834da', '-D', '/var/lib/mock/f40-build-56133937-6540900/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6imsrxhu:/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 ppc64le --nodeps /builddir/build/SPECS/ghc-copilot-language.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: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1725235200
Wrote: /builddir/build/SRPMS/ghc-copilot-language-3.19.1-2.fc40.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target ppc64le --nodeps /builddir/build/SPECS/ghc-copilot-language.spec'], chrootPath='/var/lib/mock/f40-build-56133937-6540900/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 0x7fff971d0e20>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6imsrxhu:/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.6imsrxhu:/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', '0dccdf7f97f543fd8e75aef04cc47883', '-D', '/var/lib/mock/f40-build-56133937-6540900/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6imsrxhu:/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 ppc64le --nodeps /builddir/build/SPECS/ghc-copilot-language.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: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1725235200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.9lAEeS
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf copilot-language-3.19.1
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/copilot-language-3.19.1.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd copilot-language-3.19.1
+ rm -rf /builddir/build/BUILD/copilot-language-3.19.1-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/copilot-language-3.19.1-SPECPARTS
+ /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.YgNiNl
+ umask 022
+ cd /builddir/build/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 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ 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 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ 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 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -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 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --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-language-3.19.1
++ ls
++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f CHANGELOG -a -x CHANGELOG ']'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f README.md -a -x README.md ']'
+ echo -e '\n==== Build copilot-language-3.19.1 ===='
==== Build copilot-language-3.19.1 ====
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ '[' -d /usr/lib64/ghc-9.4.5/lib ']'
+ subsubdir=/lib
+ '[' -x Setup ']'
+ ghc --make -package Cabal -no-user-package-db -dynamic Setup
[1 of 2] Compiling Main             ( Setup.hs, Setup.o )
[2 of 2] Linking Setup
+ LANG=C.utf8
++ 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 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection
++ 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-language '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.4.5/lib --global '--ghc-options= -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-mcpu=power8 -optc-mtune=power8 -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection  -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 -fhide-source-paths' --enable-library-profiling --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/copilot-language-3.19.1 --global
Configuring copilot-language-3.19.1...
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j8
Preprocessing library for copilot-language-3.19.1..
Building library for copilot-language-3.19.1..
[ 1 of 25] Compiling Copilot.Language.Error
[ 2 of 25] Compiling Copilot.Language.Prelude
[ 3 of 25] Compiling Copilot.Language.Stream
src/Copilot/Language/Stream.hs:30:16: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use ‘Type’ from ‘Data.Kind’ instead.
   |
30 | data Stream :: * -> * where
   |                ^
src/Copilot/Language/Stream.hs:30:21: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use ‘Type’ from ‘Data.Kind’ instead.
   |
30 | data Stream :: * -> * where
   |                     ^
[ 4 of 25] Compiling Copilot.Language.Spec
src/Copilot/Language/Spec.hs:171:1: warning: [-Wforall-identifier]
    The use of ‘forall’ as an identifier
    will become an error in a future GHC release.
    Suggested fix:
      Consider using another name, such as
      ‘forAll’, ‘for_all’, or ‘forall_’.
    |
171 | forall = forAll
    | ^^^^^^
[ 5 of 25] Compiling Copilot.Language.Operators.Temporal
[ 6 of 25] Compiling Copilot.Language.Operators.Struct
[ 7 of 25] Compiling Copilot.Language.Operators.Ord
[ 8 of 25] Compiling Copilot.Language.Operators.Mux
[ 9 of 25] Compiling Copilot.Language.Operators.Local
[10 of 25] Compiling Copilot.Language.Operators.Label
[11 of 25] Compiling Copilot.Language.Operators.Extern
[12 of 25] Compiling Copilot.Language.Operators.Eq
[13 of 25] Compiling Copilot.Language.Operators.Constant
[14 of 25] Compiling Copilot.Language.Operators.Cast
[15 of 25] Compiling Copilot.Language.Operators.Boolean
[16 of 25] Compiling Copilot.Language.Operators.Propositional
[17 of 25] Compiling Copilot.Language.Operators.BitWise
[18 of 25] Compiling Copilot.Language.Operators.Integral
[19 of 25] Compiling Copilot.Language.Operators.Array
[20 of 25] Compiling System.Mem.StableName.Dynamic
[21 of 25] Compiling System.Mem.StableName.Map
[22 of 25] Compiling Copilot.Language.Analyze
src/Copilot/Language/Analyze.hs:115:19: warning: [-Wunused-top-binds]
    Defined but not used: data constructor ‘SeenFun’
    |
115 |                 | SeenFun
    |                   ^^^^^^^
src/Copilot/Language/Analyze.hs:116:19: warning: [-Wunused-top-binds]
    Defined but not used: data constructor ‘SeenArr’
    |
116 |                 | SeenArr
    |                   ^^^^^^^
src/Copilot/Language/Analyze.hs:117:19: warning: [-Wunused-top-binds]
    Defined but not used: data constructor ‘SeenStruct’
    |
117 |                 | SeenStruct
    |                   ^^^^^^^^^^
[23 of 25] Compiling Copilot.Language.Reify
src/Copilot/Language/Reify.hs:29:23: warning: [-Wunused-imports]
    The import of ‘liftM’ from module ‘Control.Monad’ is redundant
   |
29 | import Control.Monad (liftM, unless)
   |                       ^^^^^
src/Copilot/Language/Reify.hs:194:3: warning: [-Wunused-local-binds]
    Defined but not used: ‘mkFunArg’
    |
194 |   mkFunArg (Arg e) = do
    |   ^^^^^^^^
src/Copilot/Language/Reify.hs:199:3: warning: [-Wunused-local-binds]
    Defined but not used: ‘mkStrArg’
    |
199 |   mkStrArg (name, Arg e) = do
    |   ^^^^^^^^
src/Copilot/Language/Reify.hs:215:7: warning: [-Wincomplete-uni-patterns]
    Pattern match(es) are non-exhaustive
    In a pattern binding:
        Patterns of type ‘Stream a’ not matched:
            Const _
            Drop _ _
            Extern _ _
            Local _ _
            ...
    |
215 |   let Append buf _ e = e0 -- avoids warning
    |       ^^^^^^^^^^^^^^^^^^^
[24 of 25] Compiling Copilot.Language.Interpret
[25 of 25] Compiling Copilot.Language
src/Copilot/Language.hs:65:1: warning: [-Wunused-imports]
    The import of ‘Copilot.Language.Reify’ is redundant
      except perhaps to import instances from ‘Copilot.Language.Reify’
    To import instances alone, use: import Copilot.Language.Reify()
   |
65 | import Copilot.Language.Reify
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 1 of 25] Compiling Copilot.Language.Error
[ 2 of 25] Compiling Copilot.Language.Prelude
[ 3 of 25] Compiling Copilot.Language.Stream
src/Copilot/Language/Stream.hs:30:16: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use ‘Type’ from ‘Data.Kind’ instead.
   |
30 | data Stream :: * -> * where
   |                ^
src/Copilot/Language/Stream.hs:30:21: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use ‘Type’ from ‘Data.Kind’ instead.
   |
30 | data Stream :: * -> * where
   |                     ^
[ 4 of 25] Compiling Copilot.Language.Spec
src/Copilot/Language/Spec.hs:171:1: warning: [-Wforall-identifier]
    The use of ‘forall’ as an identifier
    will become an error in a future GHC release.
    Suggested fix:
      Consider using another name, such as
      ‘forAll’, ‘for_all’, or ‘forall_’.
    |
171 | forall = forAll
    | ^^^^^^
[ 5 of 25] Compiling Copilot.Language.Operators.Temporal
[ 6 of 25] Compiling Copilot.Language.Operators.Struct
[ 7 of 25] Compiling Copilot.Language.Operators.Ord
[ 8 of 25] Compiling Copilot.Language.Operators.Mux
[ 9 of 25] Compiling Copilot.Language.Operators.Local
[10 of 25] Compiling Copilot.Language.Operators.Label
[11 of 25] Compiling Copilot.Language.Operators.Extern
[12 of 25] Compiling Copilot.Language.Operators.Eq
[13 of 25] Compiling Copilot.Language.Operators.Constant
[14 of 25] Compiling Copilot.Language.Operators.Cast
[15 of 25] Compiling Copilot.Language.Operators.Boolean
[16 of 25] Compiling Copilot.Language.Operators.Propositional
[17 of 25] Compiling Copilot.Language.Operators.BitWise
[18 of 25] Compiling Copilot.Language.Operators.Integral
[19 of 25] Compiling Copilot.Language.Operators.Array
[20 of 25] Compiling System.Mem.StableName.Dynamic
[21 of 25] Compiling System.Mem.StableName.Map
[22 of 25] Compiling Copilot.Language.Analyze
src/Copilot/Language/Analyze.hs:115:19: warning: [-Wunused-top-binds]
    Defined but not used: data constructor ‘SeenFun’
    |
115 |                 | SeenFun
    |                   ^^^^^^^
src/Copilot/Language/Analyze.hs:116:19: warning: [-Wunused-top-binds]
    Defined but not used: data constructor ‘SeenArr’
    |
116 |                 | SeenArr
    |                   ^^^^^^^
src/Copilot/Language/Analyze.hs:117:19: warning: [-Wunused-top-binds]
    Defined but not used: data constructor ‘SeenStruct’
    |
117 |                 | SeenStruct
    |                   ^^^^^^^^^^
[23 of 25] Compiling Copilot.Language.Reify
src/Copilot/Language/Reify.hs:29:23: warning: [-Wunused-imports]
    The import of ‘liftM’ from module ‘Control.Monad’ is redundant
   |
29 | import Control.Monad (liftM, unless)
   |                       ^^^^^
src/Copilot/Language/Reify.hs:194:3: warning: [-Wunused-local-binds]
    Defined but not used: ‘mkFunArg’
    |
194 |   mkFunArg (Arg e) = do
    |   ^^^^^^^^
src/Copilot/Language/Reify.hs:199:3: warning: [-Wunused-local-binds]
    Defined but not used: ‘mkStrArg’
    |
199 |   mkStrArg (name, Arg e) = do
    |   ^^^^^^^^
src/Copilot/Language/Reify.hs:215:7: warning: [-Wincomplete-uni-patterns]
    Pattern match(es) are non-exhaustive
    In a pattern binding:
        Patterns of type ‘Stream a’ not matched:
            Const _
            Drop _ _
            Extern _ _
            Local _ _
            ...
    |
215 |   let Append buf _ e = e0 -- avoids warning
    |       ^^^^^^^^^^^^^^^^^^^
[24 of 25] Compiling Copilot.Language.Interpret
[25 of 25] Compiling Copilot.Language
src/Copilot/Language.hs:65:1: warning: [-Wunused-imports]
    The import of ‘Copilot.Language.Reify’ is redundant
      except perhaps to import instances from ‘Copilot.Language.Reify’
    To import instances alone, use: import Copilot.Language.Reify()
   |
65 | import Copilot.Language.Reify
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ '[' -n dist/build/libHScopilot-language-3.19.1-L0ODD3OeyPy2duQqW2wDC4-ghc9.4.5.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library for copilot-language-3.19.1..
Running Haddock on library for copilot-language-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.1.1, StateVar-1.2.2, adjunctions-4.4.2, array-0.5.4.0, assoc-1.1,
async-2.2.4, attoparsec-0.14.4, attoparsec-0.14.4, base-4.17.1.0,
base-compat-0.12.3, base-orphans-0.9.0, bifunctors-5.5.15, bimap-0.5.0,
binary-0.8.9.1, bitwise-1.0.0.1, bv-sized-1.0.5, bytestring-0.11.4.0,
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.13.4,
containers-0.6.7, contravariant-1.5.5, copilot-core-3.19.1,
copilot-interpreter-3.19.1, copilot-prettyprinter-3.19.1,
copilot-theorem-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, data-reify-0.6.3, deepseq-1.4.8.0,
deriving-compat-0.6.6, directory-1.3.7.1, distributive-0.6.2.1, dlist-1.0,
exceptions-0.10.5, filepath-1.4.2.2, fingertree-0.1.5.0,
foldable1-classes-compat-0.1, free-5.1.10, ghc-bignum-1.3, ghc-boot-th-9.4.5,
ghc-prim-0.9.0, gitrev-1.3.1, hashable-1.4.2.0, hashtables-1.3.1,
indexed-traversable-0.1.2.1, indexed-traversable-instances-0.1.1.2,
integer-logarithms-1.0.3.1, invariant-0.6, io-streams-1.5.2.2,
kan-extensions-5.2.5, lens-5.2.2, libBF-0.6.8, megaparsec-9.3.1, mtl-2.2.2,
network-3.1.4.0, old-locale-1.0.0.7, ordered-containers-0.2.3, 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.16.0, profunctors-5.6.2, random-1.2.1.1,
reflection-2.1.7, s-cargot-0.1.6.0, safe-exceptions-0.1.7.4,
scientific-0.3.7.0, semigroupoids-5.3.7, semigroups-0.20, splitmix-0.1.0.4,
stm-2.5.1.0, strict-0.5, tagged-0.8.7, template-haskell-2.19.0.0,
temporary-1.3, text-2.0.2, th-abstraction-0.4.5.0, th-lift-0.8.3,
th-lift-instances-0.1.20, these-1.2, time-1.12.2, transformers-0.5.6.2,
transformers-base-0.4.6, transformers-compat-0.7.2, type-equality-1,
unbounded-delays-0.1.1.1, unix-2.7.3, unliftio-0.2.25.0,
unliftio-core-0.2.1.0, unordered-containers-0.2.19.1, utf8-string-1.0.2,
vector-0.13.0.0, vector-stream-0.1.0.0, 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/Language/Stream.hs:30:16: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use ‘Type’ from ‘Data.Kind’ instead.
   |
30 | data Stream :: * -> * where
   |                ^
src/Copilot/Language/Stream.hs:30:21: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: Use ‘Type’ from ‘Data.Kind’ instead.
   |
30 | data Stream :: * -> * where
   |                     ^
Warning: 'Prelude' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: Couldn't find .haddock for export Int
Warning: Couldn't find .haddock for export Word
Warning: Couldn't find .haddock for export Eq
Warning: Couldn't find .haddock for export Integral
Warning: Couldn't find .haddock for export Ord
Warning: Couldn't find .haddock for export Monad
Warning: Couldn't find .haddock for export String
Warning: Couldn't find .haddock for export Either
Warning: Couldn't find .haddock for export Foldable
Warning: Couldn't find .haddock for export Traversable
Warning: Couldn't find .haddock for export Applicative
Warning: Couldn't find .haddock for export Functor
Warning: Couldn't find .haddock for export Monoid
Warning: Couldn't find .haddock for export Semigroup
Warning: Couldn't find .haddock for export Bounded
Warning: Couldn't find .haddock for export Enum
Warning: Couldn't find .haddock for export Floating
Warning: Couldn't find .haddock for export RealFloat
Warning: Couldn't find .haddock for export Num
Warning: Couldn't find .haddock for export Fractional
Warning: Couldn't find .haddock for export Rational
Warning: Couldn't find .haddock for export Real
Warning: Couldn't find .haddock for export RealFrac
Warning: Couldn't find .haddock for export Show
Warning: Couldn't find .haddock for export ShowS
Warning: Couldn't find .haddock for export FilePath
Warning: Couldn't find .haddock for export IOError
Warning: Couldn't find .haddock for export ReadS
Warning: Couldn't find .haddock for export Bool
Warning: Couldn't find .haddock for export Char
Warning: Couldn't find .haddock for export Double
Warning: Couldn't find .haddock for export Float
Warning: Couldn't find .haddock for export Ordering
Warning: Couldn't find .haddock for export Maybe
Warning: Couldn't find .haddock for export ~
Warning: Couldn't find .haddock for export Integer
Warning: Couldn't find .haddock for export Read
Warning: Couldn't find .haddock for export IO
Warning: Couldn't find .haddock for export MonadFail
Warning: Couldn't find .haddock for export .
Warning: Couldn't find .haddock for export $
Warning: Couldn't find .haddock for export replicate
Warning: Couldn't find .haddock for export id
Warning: Couldn't find .haddock for export lookup
Warning: Couldn't find .haddock for export error
Warning: Couldn't find .haddock for export either
Warning: Couldn't find .haddock for export all
Warning: Couldn't find .haddock for export and
Warning: Couldn't find .haddock for export any
Warning: Couldn't find .haddock for export concat
Warning: Couldn't find .haddock for export concatMap
Warning: Couldn't find .haddock for export mapM_
Warning: Couldn't find .haddock for export notElem
Warning: Couldn't find .haddock for export or
Warning: Couldn't find .haddock for export sequence_
Warning: Couldn't find .haddock for export <$>
Warning: Couldn't find .haddock for export maybe
Warning: Couldn't find .haddock for export curry
Warning: Couldn't find .haddock for export fst
Warning: Couldn't find .haddock for export snd
Warning: Couldn't find .haddock for export uncurry
Warning: Couldn't find .haddock for export $!
Warning: Couldn't find .haddock for export =<<
Warning: Couldn't find .haddock for export asTypeOf
Warning: Couldn't find .haddock for export flip
Warning: Couldn't find .haddock for export map
Warning: Couldn't find .haddock for export otherwise
Warning: Couldn't find .haddock for export subtract
Warning: Couldn't find .haddock for export ^^
Warning: Couldn't find .haddock for export even
Warning: Couldn't find .haddock for export fromIntegral
Warning: Couldn't find .haddock for export gcd
Warning: Couldn't find .haddock for export lcm
Warning: Couldn't find .haddock for export odd
Warning: Couldn't find .haddock for export realToFrac
Warning: Couldn't find .haddock for export showChar
Warning: Couldn't find .haddock for export showParen
Warning: Couldn't find .haddock for export showString
Warning: Couldn't find .haddock for export shows
Warning: Couldn't find .haddock for export appendFile
Warning: Couldn't find .haddock for export getChar
Warning: Couldn't find .haddock for export getContents
Warning: Couldn't find .haddock for export getLine
Warning: Couldn't find .haddock for export interact
Warning: Couldn't find .haddock for export print
Warning: Couldn't find .haddock for export putChar
Warning: Couldn't find .haddock for export putStr
Warning: Couldn't find .haddock for export putStrLn
Warning: Couldn't find .haddock for export readFile
Warning: Couldn't find .haddock for export readIO
Warning: Couldn't find .haddock for export readLn
Warning: Couldn't find .haddock for export writeFile
Warning: Couldn't find .haddock for export read
Warning: Couldn't find .haddock for export reads
Warning: Couldn't find .haddock for export lines
Warning: Couldn't find .haddock for export unlines
Warning: Couldn't find .haddock for export unwords
Warning: Couldn't find .haddock for export words
Warning: Couldn't find .haddock for export errorWithoutStackTrace
Warning: Couldn't find .haddock for export undefined
Warning: Couldn't find .haddock for export ioError
Warning: Couldn't find .haddock for export userError
Warning: Couldn't find .haddock for export break
Warning: Couldn't find .haddock for export dropWhile
Warning: Couldn't find .haddock for export head
Warning: Couldn't find .haddock for export init
Warning: Couldn't find .haddock for export iterate
Warning: Couldn't find .haddock for export last
Warning: Couldn't find .haddock for export repeat
Warning: Couldn't find .haddock for export reverse
Warning: Couldn't find .haddock for export scanl
Warning: Couldn't find .haddock for export scanl1
Warning: Couldn't find .haddock for export scanr
Warning: Couldn't find .haddock for export scanr1
Warning: Couldn't find .haddock for export span
Warning: Couldn't find .haddock for export splitAt
Warning: Couldn't find .haddock for export tail
Warning: Couldn't find .haddock for export takeWhile
Warning: Couldn't find .haddock for export unzip
Warning: Couldn't find .haddock for export unzip3
Warning: Couldn't find .haddock for export zip3
Warning: Couldn't find .haddock for export zipWith
Warning: Couldn't find .haddock for export zipWith3
Warning: Couldn't find .haddock for export lex
Warning: Couldn't find .haddock for export readParen
Warning: Couldn't find .haddock for export zip
Warning: Couldn't find .haddock for export filter
Warning: Couldn't find .haddock for export seq
   0% (  1 /129) in 'Copilot.Language.Prelude'
  Missing documentation for:
    Int
    Word
    Eq
    Integral
    Ord
    Monad
    String
    Either
    Foldable
    Traversable
    Applicative
    Functor
    Monoid
    Semigroup
    Bounded
    Enum
    Floating
    RealFloat
    Num
    Fractional
    Rational
    Real
    RealFrac
    Show
    ShowS
    FilePath
    IOError
    ReadS
    Bool
    Char
    Double
    Float
    Ordering
    Maybe
    ~
    Integer
    Read
    IO
    MonadFail
    .
    $
    replicate
    id
    lookup
    error
    either
    all
    and
    any
    concat
    concatMap
    mapM_
    notElem
    or
    sequence_
    <$>
    maybe
    curry
    fst
    snd
    uncurry
    $!
    =<<
    asTypeOf
    flip
    map
    otherwise
    subtract
    ^^
    even
    fromIntegral
    gcd
    lcm
    odd
    realToFrac
    showChar
    showParen
    showString
    shows
    appendFile
    getChar
    getContents
    getLine
    interact
    print
    putChar
    putStr
    putStrLn
    readFile
    readIO
    readLn
    writeFile
    read
    reads
    lines
    unlines
    unwords
    words
    errorWithoutStackTrace
    undefined
    ioError
    userError
    break
    dropWhile
    head
    init
    iterate
    last
    repeat
    reverse
    scanl
    scanl1
    scanr
    scanr1
    span
    splitAt
    tail
    takeWhile
    unzip
    unzip3
    zip3
    zipWith
    zipWith3
    lex
    readParen
    zip
    filter
    seq
 100% (  5 /  5) in 'Copilot.Language.Stream'
Warning: 'Reify' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: Couldn't find .haddock for export Universal
W
src/Copilot/Language/Spec.hs:171:1: warning: [-Wforall-identifier]
    The use of ‘forall’ as an identifier
    will become an error in a future GHC release.
    Suggested fix:
      Consider using another name, such as
      ‘forAll’, ‘for_all’, or ‘forall_’.
    |
171 | forall = forAll
    | ^^^^^^
src/Copilot/Language/Analyze.hs:115:19: warning: [-Wunused-top-binds]
    Defined but not used: data constructor ‘SeenFun’
    |
115 |                 | SeenFun
    |                   ^^^^^^^
src/Copilot/Language/Analyze.hs:116:19: warning: [-Wunused-top-binds]
    Defined but not used: data constructor ‘SeenArr’
    |
116 |                 | SeenArr
    |                   ^^^^^^^
src/Copilot/Language/Analyze.hs:117:19: warning: [-Wunused-top-binds]
    Defined but not used: data constructor ‘SeenStruct’
    |
117 |                 | SeenStruct
    |                   ^^^^^^^^^^
src/Copilot/Language/Reify.hs:29:23: warning: [-Wunused-imports]
    The import of ‘liftM’ from module ‘Control.Monad’ is redundant
   |
29 | import Control.Monad (liftM, unless)
   |                       ^^^^^
src/Copilot/Language/Reify.hs:194:3: warning: [-Wunused-local-binds]
    Defined but not used: ‘mkFunArg’
    |
194 |   mkFunArg (Arg e) = do
    |   ^^^^^^^^
src/Copilot/Language/Reify.hs:199:3: warning: [-Wunused-local-binds]
    Defined but not used: ‘mkStrArg’
    |
199 |   mkStrArg (name, Arg e) = do
    |   ^^^^^^^^
src/Copilot/Language.hs:65:1: warning: [-Wunused-imports]
    The import of ‘Copilot.Language.Reify’ is redundant
      except perhaps to import instances from ‘Copilot.Language.Reify’
    To import instances alone, use: import Copilot.Language.Reify()
   |
65 | import Copilot.Language.Reify
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
arning: Couldn't find .haddock for export Existential
  92% ( 23 / 25) in 'Copilot.Language.Spec'
  Missing documentation for:
    Universal
    Existential
 100% (  3 /  3) in 'Copilot.Language.Operators.Temporal'
 100% (  2 /  2) in 'Copilot.Language.Operators.Struct'
 100% (  5 /  5) in 'Copilot.Language.Operators.Ord'
 100% (  3 /  3) in 'Copilot.Language.Operators.Mux'
 100% (  2 /  2) in 'Copilot.Language.Operators.Local'
 100% (  2 /  2) in 'Copilot.Language.Operators.Label'
 100% ( 13 / 13) in 'Copilot.Language.Operators.Extern'
 100% (  3 /  3) in 'Copilot.Language.Operators.Eq'
 100% ( 13 / 13) in 'Copilot.Language.Operators.Constant'
 100% (  5 /  5) in 'Copilot.Language.Operators.Cast'
 100% (  8 /  8) in 'Copilot.Language.Operators.Boolean'
 100% (  2 /  2) in 'Copilot.Language.Operators.Propositional'
Warning: Couldn't find .haddock for export Bits
Warning: Couldn't find .haddock for export .^.
  60% (  3 /  5) in 'Copilot.Language.Operators.BitWise'
  Missing documentation for:
    Bits
    .^.
 100% (  4 /  4) in 'Copilot.Language.Operators.Integral'
 100% (  2 /  2) in 'Copilot.Language.Operators.Array'
Warning: 'AnalyzeExcetion' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
 100% (  2 /  2) in 'Copilot.Language.Reify'
Warning: Couldn't find .haddock for export Int64
Warning: Couldn't find .haddock for export Int32
Warning: Couldn't find .haddock for export Int16
Warning: Couldn't find .haddock for export Int8
Warning: Copilot.Language: Could not find documentation for exported module: Data.Word
Warning: Couldn't find .haddock for export Name
Warning: Couldn't find .haddock for export Typed
Warning: Copilot.Language: Could not find documentation for exported module: Copilot.Core.Type
Warning: Copilot.Language: Could not find documentation for exported module: Copilot.Core.Type.Array
  83% ( 30 / 36) in 'Copilot.Language'
  Missing documentation for:
    Int64
    Int32
    Int16
    Int8
    Name
    Typed
Warning: Copilot.Language.Prelude: could not find link destinations for:
	- GHC.Bits.xor
	- GHC.Bits.shift
	- GHC.Bits.rotate
	- GHC.Bits.zeroBits
	- GHC.Bits.bit
	- GHC.Bits.setBit
	- GHC.Bits.clearBit
	- GHC.Bits.complementBit
	- GHC.Bits.testBit
	- GHC.Bits.bitSizeMaybe
	- GHC.Bits.bitSize
	- GHC.Bits.isSigned
	- GHC.Bits.shiftL
	- GHC.Bits.unsafeShiftL
	- GHC.Bits.shiftR
	- GHC.Bits.unsafeShiftR
	- GHC.Bits.rotateL
	- GHC.Bits.rotateR
	- GHC.Bits.popCount
	- GHC.Bits.FiniteBits
	- GHC.Bits.finiteBitSize
	- GHC.Bits.countLeadingZeros
	- GHC.Bits.countTrailingZeros
	- GHC.Read.readPrec
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- GHC.Read.readListPrec
	- GHC.Real.div
	- GHC.Real.mod
	- GHC.Classes.==
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.>=
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Generics.UInt
	- GHC.Types.Type
	- Data.Foldable.fold
	- Data.Foldable.foldMap'
	- Data.Foldable.foldr'
	- Data.Foldable.foldl'
	- Data.Foldable.toList
	- Data.Foldable.sum
	- GHC.Generics.UWord
	- Data.Semigroup.Internal.All
	- Data.Semigroup.Internal.Any
	- Data.Typeable.Internal.SomeTypeRep
	- GHC.Exception.ErrorCall
	- GHC.Exception.Type.ArithException
	- GHC.IO.MaskingState
	- GHC.IO.Exception.ArrayException
	- GHC.IO.Exception.AsyncException
	- GHC.IO.Exception.ExitCode
	- GHC.IO.Exception.IOErrorType
	- GHC.IO.Exception.IOException
	- GHC.Stack.Types.SrcLoc
	- GHC.TypeLits.SomeChar
	- GHC.TypeLits.SomeSymbol
	- GHC.TypeNats.SomeNat
	- GHC.Word.Word16
	- GHC.Word.Word32
	- GHC.Word.Word64
	- GHC.Word.Word8
	- Data.IntSet.Internal.IntSet
	- Copilot.Core.Type.SimpleType
	- Copilot.Core.Type.UType
	- GHC.Types.Module
	- GHC.Types.TrName
	- GHC.Types.TyCon
	- GHC.Num.Natural.Natural
	- Data.Bits.And
	- Data.Bits.Iff
	- Data.Bits.Ior
	- Data.Bits.Xor
	- Data.Functor.Identity.Identity
	- Data.Monoid.First
	- Data.Monoid.Last
	- Data.Semigroup.Internal.Dual
	- Data.Semigroup.Internal.Product
	- Data.Semigroup.Internal.Sum
	- GHC.IORef.IORef
	- GHC.Real.Ratio
	- GHC.StableName.StableName
	- Data.IntMap.Internal.IntMap
	- GHC.Base.NonEmpty
	- Data.Proxy.Proxy
	- Data.Typeable.Internal.TypeRep
	- Data.Monoid.Ap
	- Data.Semigroup.Internal.Alt
	- Data.Type.Equality.:~:
	- Control.Monad.Trans.Error.ErrorT
	- Data.Functor.Classes.Eq1
	- Control.Monad.Trans.Writer.Lazy.WriterT
	- Data.Type.Equality.:~~:
	- Data.Functor.Classes.Ord1
	- Text.ParserCombinators.ReadP.P
	- Text.ParserCombinators.ReadP.ReadP
	- Copilot.Theorem.Prove.ProofScheme
	- Data.IntMap.Internal.WhenMissing
	- Control.Monad.Trans.Error.Error
	- Data.IntMap.Internal.WhenMatched
	- Control.Monad.Fix.MonadFix
	- Control.Monad.Fix.mfix
	- GHC.Base.liftA2
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- Data.Ord.Down
	- GHC.Generics.Par1
	- GHC.Arr.Array
	- GHC.Generics.U1
	- GHC.Generics.UAddr
	- GHC.Generics.UChar
	- GHC.Generics.UDouble
	- GHC.Generics.UFloat
	- GHC.Generics.V1
	- GHC.Generics.Rec1
	- GHC.Generics.:*:
	- GHC.Generics.:+:
	- GHC.Generics.K1
	- GHC.Generics.:.:
	- GHC.Generics.M1
	- Control.Applicative.ZipList
	- GHC.Ix.Ix
	- Data.Functor.Const.Const
	- Control.Exception.Handler
	- Data.Semigroup.Internal.Endo
	- GHC.Base.Alternative
	- GHC.Types.Levity
	- GHC.Types.VecCount
	- GHC.Types.VecElem
	- GHC.Types.~~
	- GHC.Float.log1p
	- GHC.Float.expm1
	- GHC.Float.log1pexp
	- GHC.Float.log1mexp
	- GHC.Exception.Type.SomeException
	- GHC.IO.Exception.AllocationLimitExceeded
	- GHC.IO.Exception.AssertionFailed
	- GHC.IO.Exception.BlockedIndefinitelyOnMVar
	- GHC.IO.Exception.BlockedIndefinitelyOnSTM
	- GHC.IO.Exception.CompactionFailed
	- GHC.IO.Exception.Deadlock
	- GHC.IO.Exception.FixIOException
	- GHC.IO.Exception.SomeAsyncException
	- GHC.Real.FractionalExponentBase
	- GHC.Stack.Types.CallStack
	- GHC.Types.KindRep
	- GHC.Types.TypeLitSort
	- GHC.Types.RuntimeRep
	- Copilot.Core.Type.Field
	- GHC.TypeLits.KnownSymbol
	- Copilot.Core.Type.Array.Array
	- Data.Functor.Classes.Show1
	- Copilot.Core.Type.typeOf
	- Copilot.Core.Type.Type
	- Copilot.Core.Type.simpleType
	- Control.Monad.Trans.Error.ErrorList
	- Control.Monad.Trans.Error.listMsg
	- GHC.Base.empty
	- GHC.Base.<|>
	- GHC.Base.some
	- GHC.Base.many
	- GHC.Base.MonadPlus
	- GHC.Base.mzero
	- GHC.Base.mplus
	- GHC.Prim.~#
	- GHC.Unicode.GeneralCategory
	- Text.Read.Lex.Lexeme
	- Data.Functor.Classes.Read1
	- Control.Monad.IO.Class.MonadIO
	- Control.Monad.IO.Class.liftIO
	- GHC.Prim.TYPE
	- GHC.Stack.Types.HasCallStack
Warning: Copilot.Language.Stream: could not find link destinations for:
	- Copilot.Core.Operators.Op1
	- Copilot.Core.Operators.Op2
	- Copilot.Core.Operators.Op3
	- GHC.Bits.xor
	- GHC.Bits.shift
	- GHC.Bits.rotate
	- GHC.Bits.zeroBits
	- GHC.Bits.bit
	- GHC.Bits.setBit
	- GHC.Bits.clearBit
	- GHC.Bits.complementBit
	- GHC.Bits.testBit
	- GHC.Bits.bitSizeMaybe
	- GHC.Bits.bitSize
	- GHC.Bits.isSigned
	- GHC.Bits.shiftL
	- GHC.Bits.unsafeShiftL
	- GHC.Bits.shiftR
	- GHC.Bits.unsafeShiftR
	- GHC.Bits.rotateL
	- GHC.Bits.rotateR
	- GHC.Bits.popCount
	- GHC.Float.log1p
	- GHC.Float.expm1
	- GHC.Float.log1pexp
	- GHC.Float.log1mexp
	- GHC.Classes.==
	- GHC.Classes./=
Warning: Copilot.Language.Spec: could not find link destinations for:
	- Control.Monad.Trans.Writer.Lazy.Writer
	- Copilot.Theorem.Prove.PropRef
	- Copilot.Theorem.Prove.Proof
	- Copilot.Theorem.Prove.UProof
Warning: Copilot.Language.Operators.Struct: could not find link destinations for:
	- GHC.TypeLits.KnownSymbol
	- Copilot.Core.Type.Struct
	- Copilot.Core.Type.Field
Warning: Copilot.Language.Operators.Extern: could not find link destinations for:
	- GHC.Word.Word8
	- GHC.Word.Word16
	- GHC.Word.Word32
	- GHC.Word.Word64
Warning: Copilot.Language.Operators.Constant: could not find link destinations for:
	- GHC.Word.Word8
	- GHC.Word.Word16
	- GHC.Word.Word32
	- GHC.Word.Word64
Warning: Copilot.Language.Operators.Cast: could not find link destinations for:
	- GHC.Word.Word16
	- GHC.Word.Word32
	- GHC.Word.Word64
	- GHC.Word.Word8
Warning: Copilot.Language.Operators.Propositional: could not find link destinations for:
	- Copilot.Language.Operators.Propositional.Negatable
Warning: Copilot.Language.Operators.BitWise: could not find link destinations for:
	- GHC.Bits.xor
	- GHC.Bits.shift
	- GHC.Bits.rotate
	- GHC.Bits.zeroBits
	- GHC.Bits.bit
	- GHC.Bits.setBit
	- GHC.Bits.clearBit
	- GHC.Bits.complementBit
	- GHC.Bits.testBit
	- GHC.Bits.bitSizeMaybe
	- GHC.Bits.bitSize
	- GHC.Bits.isSigned
	- GHC.Bits.shiftL
	- GHC.Bits.unsafeShiftL
	- GHC.Bits.shiftR
	- GHC.Bits.unsafeShiftR
	- GHC.Bits.rotateL
	- GHC.Bits.rotateR
	- GHC.Bits.popCount
	- GHC.Word.Word16
	- GHC.Word.Word32
	- GHC.Word.Word64
	- GHC.Word.Word8
	- GHC.Num.Natural.Natural
	- Data.Bits.And
	- Data.Bits.Iff
	- Data.Bits.Ior
	- Data.Bits.Xor
	- Data.Functor.Identity.Identity
Warning: Copilot.Language.Operators.Array: could not find link destinations for:
	- GHC.TypeNats.KnownNat
	- Copilot.Core.Type.Array.Array
	- GHC.Word.Word32
Warning: Copilot.Language.Reify: could not find link destinations for:
	- Copilot.Core.Spec.Spec
	- Copilot.Core.Expr.Id
Warning: Copilot.Language: could not find link destinations for:
	- GHC.Bits.xor
	- GHC.Bits.shift
	- GHC.Bits.rotate
	- GHC.Bits.zeroBits
	- GHC.Bits.bit
	- GHC.Bits.setBit
	- GHC.Bits.clearBit
	- GHC.Bits.complementBit
	- GHC.Bits.testBit
	- GHC.Bits.bitSizeMaybe
	- GHC.Bits.bitSize
	- GHC.Bits.isSigned
	- GHC.Bits.shiftL
	- GHC.Bits.unsafeShiftL
	- GHC.Bits.shiftR
	- GHC.Bits.unsafeShiftR
	- GHC.Bits.rotateL
	- GHC.Bits.rotateR
	- GHC.Bits.popCount
	- GHC.Bits.FiniteBits
	- GHC.Bits.finiteBitSize
	- GHC.Bits.countLeadingZeros
	- GHC.Bits.countTrailingZeros
	- GHC.Ix.Ix
	- GHC.Ix.range
	- GHC.Ix.index
	- GHC.Ix.unsafeIndex
	- GHC.Ix.inRange
	- GHC.Ix.rangeSize
	- GHC.Ix.unsafeRangeSize
	- GHC.Read.readPrec
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- GHC.Read.readListPrec
	- GHC.Real.div
	- GHC.Real.mod
	- Copilot.Core.Type.typeOf
	- Copilot.Core.Type.Type
	- Copilot.Core.Type.simpleType
	- Copilot.Core.Type.SimpleType
	- GHC.Classes.==
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.>=
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Word.Word16
	- GHC.Word.Word32
	- GHC.Word.Word8
	- GHC.Word.Word64
	- Data.Typeable.Internal.Typeable
	- Copilot.Core.Type.Array.Array
	- GHC.TypeNats.KnownNat
	- Control.Monad.Trans.Writer.Lazy.Writer
	- GHC.Float.log1p
	- GHC.Float.expm1
	- GHC.Float.log1pexp
	- GHC.Float.log1mexp
	- Copilot.Theorem.Prove.PropRef
	- Copilot.Theorem.Prove.Proof
Documentation created: dist/doc/html/copilot-language/index.html,
dist/doc/html/copilot-language/copilot-language.txt
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.ae26Me
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le
++ dirname /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le
+ 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 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ 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 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ 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 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -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 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --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-language-3.19.1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup copy --destdir=/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le
Installing library in /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/copilot-language-3.19.1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup register --gen-pkg-config
+ '[' -d /usr/lib64/ghc-9.4.5/lib ']'
+ subsubdir=/lib
+ '[' -d copilot-language-3.19.1.conf ']'
+ install -D --mode=0644 copilot-language-3.19.1.conf /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/package.conf.d/copilot-language-3.19.1.conf
+ '[' -d /usr/lib64/ghc-9.4.5/lib ']'
+ subsubdir=/lib
+ '[' '!' -f /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/package.conf.d/copilot-language-3.19.1.conf ']'
+ rm -f ghc-copilot-language.files ghc-copilot-language-doc.files
+ touch ghc-copilot-language.files ghc-copilot-language-doc.files
+ for i in /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5${subsubdir}/libHScopilot-language-3.19.1-*ghc9.4.5.so
+ '[' -x /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/libHScopilot-language-3.19.1-L0ODD3OeyPy2duQqW2wDC4-ghc9.4.5.so ']'
+ echo /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/libHScopilot-language-3.19.1-L0ODD3OeyPy2duQqW2wDC4-ghc9.4.5.so
+ pkgdir=/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/copilot-language-3.19.1
+ '[' -d /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/copilot-language-3.19.1 ']'
+ find /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/copilot-language-3.19.1 -type d -fprintf ghc-copilot-language-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-copilot-language-prof.files -o -fprint ghc-copilot-language-devel.files
+ ls /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/package.conf.d/copilot-language-3.19.1.conf
+ haddock_dir=/usr/share/doc/ghc/html/libraries/copilot-language-3.19.1
+ '[' -d /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/doc/ghc/html/libraries/copilot-language-3.19.1 ']'
+ echo /usr/share/doc/ghc/html/libraries/copilot-language-3.19.1
+ for i in ghc-copilot-language.files ghc-copilot-language-devel.files ghc-copilot-language-doc.files ghc-copilot-language-prof.files
+ '[' -f ghc-copilot-language.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le!!g' ghc-copilot-language.files
+ for i in ghc-copilot-language.files ghc-copilot-language-devel.files ghc-copilot-language-doc.files ghc-copilot-language-prof.files
+ '[' -f ghc-copilot-language-devel.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le!!g' ghc-copilot-language-devel.files
+ for i in ghc-copilot-language.files ghc-copilot-language-devel.files ghc-copilot-language-doc.files ghc-copilot-language-prof.files
+ '[' -f ghc-copilot-language-doc.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le!!g' ghc-copilot-language-doc.files
+ for i in ghc-copilot-language.files ghc-copilot-language-devel.files ghc-copilot-language-doc.files ghc-copilot-language-prof.files
+ '[' -f ghc-copilot-language-prof.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le!!g' ghc-copilot-language-prof.files
deleting rpaths:
+ echo 'deleting rpaths:'
+ type chrpath
++ find /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print
+ for i in $(find /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/libHScopilot-language-3.19.1-L0ODD3OeyPy2duQqW2wDC4-ghc9.4.5.so ']'
++ chrpath /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/libHScopilot-language-3.19.1-L0ODD3OeyPy2duQqW2wDC4-ghc9.4.5.so
++ sed -e 's@^/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/lib64/ghc-9.4.5/lib/libHScopilot-language-3.19.1-L0ODD3OeyPy2duQqW2wDC4-ghc9.4.5.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.4.5/lib/ppc64-linux-ghc-9.4.5:/usr/lib64/ghc-9.4.5/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 -j8
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: ghc-copilot-language-3.19.1-2.fc40.ppc64le
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.9RiALM
+ umask 022
+ cd /builddir/build/BUILD
+ cd copilot-language-3.19.1
+ LICENSEDIR=/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/licenses/ghc-copilot-language
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/licenses/ghc-copilot-language
+ cp -pr /builddir/build/BUILD/copilot-language-3.19.1/LICENSE /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/licenses/ghc-copilot-language
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-copilot-language = 3.19.1-2.fc40 ghc-copilot-language(ppc-64) = 3.19.1-2.fc40 libHScopilot-language-3.19.1-L0ODD3OeyPy2duQqW2wDC4-ghc9.4.5.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-BsK8RZFMOqu7m4Wcmqa5zI-ghc9.4.5.so()(64bit) libHSOneTuple-0.4.1.1-Fgk8ylTtnzLBSBvZAI1OoV-ghc9.4.5.so()(64bit) libHSStateVar-1.2.2-GlWluWgK8kgE7IUHzo2idN-ghc9.4.5.so()(64bit) libHSadjunctions-4.4.2-3SSqAbIuWcgG1izc2Kvio2-ghc9.4.5.so()(64bit) libHSarray-0.5.4.0-ghc9.4.5.so()(64bit) libHSassoc-1.1-H3gdf0Ue1d5sn9822dJ4G-ghc9.4.5.so()(64bit) libHSasync-2.2.4-Is3H7ZPNMkM5reIoCaqYrF-ghc9.4.5.so()(64bit) libHSattoparsec-0.14.4-1rgNxdaX2hcAlnLLYxTxu4-ghc9.4.5.so()(64bit) libHSattoparsec-0.14.4-K6WkGQxU67DICICjfpE0Kf-attoparsec-internal-ghc9.4.5.so()(64bit) libHSbase-4.17.1.0-ghc9.4.5.so()(64bit) libHSbase-compat-0.12.3-EzIEO7DrtWn73MXq9N0DKk-ghc9.4.5.so()(64bit) libHSbase-orphans-0.9.0-9apYLvrFDmLG6M4gvFHbpN-ghc9.4.5.so()(64bit) libHSbifunctors-5.5.15-6nVSldbcYfb1Hx6EfFS3QB-ghc9.4.5.so()(64bit) libHSbimap-0.5.0-HW7mfOFXneU5eY2jmBQkId-ghc9.4.5.so()(64bit) libHSbinary-0.8.9.1-ghc9.4.5.so()(64bit) libHSbitwise-1.0.0.1-9R1VCDCsdMZEnSrrjDNdZx-ghc9.4.5.so()(64bit) libHSbv-sized-1.0.5-Lg2MNmzC2KJHdpDLkOcNYE-ghc9.4.5.so()(64bit) libHSbytestring-0.11.4.0-ghc9.4.5.so()(64bit) libHScall-stack-0.4.0-K9VxYWjBEvtITBfD6bL7Dk-ghc9.4.5.so()(64bit) libHScase-insensitive-1.2.1.0-AumZoR4Lds63HJj8OQwHY3-ghc9.4.5.so()(64bit) libHScomonad-5.0.8-FA2TFGr0sUX2CXTeetXIjJ-ghc9.4.5.so()(64bit) libHSconcurrent-extra-0.7.0.12-60CfEPJcC9N6j9EXVFkWgP-ghc9.4.5.so()(64bit) libHSconfig-value-0.8.3-BvX0WJVkRV7IHsOL5yNnQA-ghc9.4.5.so()(64bit) libHSconstraints-0.13.4-8c0InBhz3htJzug27IqVE7-ghc9.4.5.so()(64bit) libHScontainers-0.6.7-ghc9.4.5.so()(64bit) libHScontravariant-1.5.5-K71YSUvfKnA5wfNaE05Lao-ghc9.4.5.so()(64bit) libHScopilot-core-3.19.1-35OhQWh5Cl1FTJo0MOIsXn-ghc9.4.5.so()(64bit) libHScopilot-interpreter-3.19.1-24JM6mexvti6NdtqRowT77-ghc9.4.5.so()(64bit) libHScopilot-prettyprinter-3.19.1-3D6phfPyg6uDI9MgS0tJEE-ghc9.4.5.so()(64bit) libHScopilot-theorem-3.19.1-Di73mZ0cmeMDafxdpMnO5m-ghc9.4.5.so()(64bit) libHSdata-default-0.7.1.1-JPWOgkHC05bEP4GKfTBTHA-ghc9.4.5.so()(64bit) libHSdata-default-class-0.1.2.0-2LD1I8dZmn7BW4dkzEwdGZ-ghc9.4.5.so()(64bit) libHSdata-default-instances-containers-0.0.1-GsTPO88BTeU5gVKxrRffFz-ghc9.4.5.so()(64bit) libHSdata-default-instances-dlist-0.0.1-DrMcxeYn4qvEqmFRUYCht7-ghc9.4.5.so()(64bit) libHSdata-default-instances-old-locale-0.0.1-7AZu0A9Np87C6EgyuU2uGo-ghc9.4.5.so()(64bit) libHSdata-reify-0.6.3-7AtcLnq2fW09vWC4LZfUqb-ghc9.4.5.so()(64bit) libHSdeepseq-1.4.8.0-ghc9.4.5.so()(64bit) libHSderiving-compat-0.6.6-7n55cjI5CIjLMgfFOkf7c9-ghc9.4.5.so()(64bit) libHSdirectory-1.3.7.1-ghc9.4.5.so()(64bit) libHSdistributive-0.6.2.1-1BZ9uzs8FJL3Ql0Nb5N15f-ghc9.4.5.so()(64bit) libHSdlist-1.0-IFuzLQmoMUfAx3b8iqx3U0-ghc9.4.5.so()(64bit) libHSexceptions-0.10.5-ghc9.4.5.so()(64bit) libHSfilepath-1.4.2.2-ghc9.4.5.so()(64bit) libHSfingertree-0.1.5.0-FUFklhsmvEUIccokQwwqia-ghc9.4.5.so()(64bit) libHSfoldable1-classes-compat-0.1-JP9wXcYYGsT10VsvIV9rpl-ghc9.4.5.so()(64bit) libHSfree-5.1.10-6mT3HnazCdtv62m36wML4-ghc9.4.5.so()(64bit) libHSghc-bignum-1.3-ghc9.4.5.so()(64bit) libHSghc-boot-th-9.4.5-ghc9.4.5.so()(64bit) libHSghc-prim-0.9.0-ghc9.4.5.so()(64bit) libHSgitrev-1.3.1-9WU70hQk1XM9r7en55a626-ghc9.4.5.so()(64bit) libHShashable-1.4.2.0-FFBRhuY0w4YLmuLEs5uQAt-ghc9.4.5.so()(64bit) libHShashtables-1.3.1-In3nuaqumJk1jHTAUuAziv-ghc9.4.5.so()(64bit) libHSindexed-traversable-0.1.2.1-1XiSi5jKFt6BqKufaNXxBs-ghc9.4.5.so()(64bit) libHSindexed-traversable-instances-0.1.1.2-FygVB8lg04g7si54bMCK2n-ghc9.4.5.so()(64bit) libHSinteger-logarithms-1.0.3.1-Hm9v2fsfG1DA5soPSLssZu-ghc9.4.5.so()(64bit) libHSinvariant-0.6-9wez2HM4dviC1LUdEqwf0q-ghc9.4.5.so()(64bit) libHSio-streams-1.5.2.2-3LnN898pLO42raUGjhA8UZ-ghc9.4.5.so()(64bit) libHSkan-extensions-5.2.5-63mZijgMhpjHcWIqVUjH70-ghc9.4.5.so()(64bit) libHSlens-5.2.2-DYkGnrVvoRhEHkm30dtKFl-ghc9.4.5.so()(64bit) libHSlibBF-0.6.8-HzlO9XxcmhRBjej6mrF8AB-ghc9.4.5.so()(64bit) libHSmegaparsec-9.3.1-ERDjI2v4kmMC2kpf7sry0n-ghc9.4.5.so()(64bit) libHSmtl-2.2.2-ghc9.4.5.so()(64bit) libHSnetwork-3.1.4.0-FvtFepOtuCUH79FCWyNxIc-ghc9.4.5.so()(64bit) libHSold-locale-1.0.0.7-B5o2Qz0CVVSCB1XGw7OfzR-ghc9.4.5.so()(64bit) libHSordered-containers-0.2.3-2vvzHwtaKIjK7BBzxceSWT-ghc9.4.5.so()(64bit) libHSpanic-0.4.0.1-KE1kWsGbhWV3H8Kvc1TljL-ghc9.4.5.so()(64bit) libHSparallel-3.2.2.0-36KAHtmQlbB59K6tPbQ0Jr-ghc9.4.5.so()(64bit) libHSparameterized-utils-2.1.8.0-FTY8CINQLZc2e6rvWHCaAB-ghc9.4.5.so()(64bit) libHSparsec-3.1.16.1-ghc9.4.5.so()(64bit) libHSparser-combinators-1.3.0-69OkkuibEVDB76y6u8xJBt-ghc9.4.5.so()(64bit) libHSpretty-1.1.3.6-ghc9.4.5.so()(64bit) libHSprettyprinter-1.7.1-1jjh6iCiPNl8MgeqtPsio2-ghc9.4.5.so()(64bit) libHSprimitive-0.8.0.0-9akshChOwtr20iwuM0c3WJ-ghc9.4.5.so()(64bit) libHSprocess-1.6.16.0-ghc9.4.5.so()(64bit) libHSprofunctors-5.6.2-IRp7useQQauDMRZryLTjXB-ghc9.4.5.so()(64bit) libHSrandom-1.2.1.1-I0wUgAAbf0g3qHR3e8uT0o-ghc9.4.5.so()(64bit) libHSreflection-2.1.7-HIVUFuxZ3THH9N1VAJskyt-ghc9.4.5.so()(64bit) libHSs-cargot-0.1.6.0-7FXTmlijgPhEDh874hlNmV-ghc9.4.5.so()(64bit) libHSsafe-exceptions-0.1.7.4-8XVKrMBchTjCLhdcvBwBNb-ghc9.4.5.so()(64bit) libHSscientific-0.3.7.0-6Dx8mxA4OUsLpkNxWfBzuf-ghc9.4.5.so()(64bit) libHSsemigroupoids-5.3.7-EwVAefNzd7V4YfDIPx08VG-ghc9.4.5.so()(64bit) libHSsemigroups-0.20-KtsaS4jNcGkoC9puVZ6vB-ghc9.4.5.so()(64bit) libHSsplitmix-0.1.0.4-7e8CibdlMRLAGh7KO5VlFe-ghc9.4.5.so()(64bit) libHSstm-2.5.1.0-ghc9.4.5.so()(64bit) libHSstrict-0.5-BMGWBclA5sg312fCUlbuTw-ghc9.4.5.so()(64bit) libHStagged-0.8.7-CYOhX22Df3PFW5V1S0dOJa-ghc9.4.5.so()(64bit) libHStemplate-haskell-2.19.0.0-ghc9.4.5.so()(64bit) libHStemporary-1.3-KN2n9biIwqhKwQrFoVkYR8-ghc9.4.5.so()(64bit) libHStext-2.0.2-ghc9.4.5.so()(64bit) libHSth-abstraction-0.4.5.0-8bY5lBPMorfFW3yG6gFNZT-ghc9.4.5.so()(64bit) libHSth-lift-0.8.3-BVnK9vFPlpnBx7d6MzGvJN-ghc9.4.5.so()(64bit) libHSth-lift-instances-0.1.20-7PDFdFhhtKdIjQzz59JRnl-ghc9.4.5.so()(64bit) libHSthese-1.2-3gvRWs9hjHpLbWG1JfTveA-ghc9.4.5.so()(64bit) libHStime-1.12.2-ghc9.4.5.so()(64bit) libHStransformers-0.5.6.2-ghc9.4.5.so()(64bit) libHStransformers-base-0.4.6-IYemkF4CogK2gtyDXbEIHa-ghc9.4.5.so()(64bit) libHStransformers-compat-0.7.2-7jAnhjvxTABIymoNGHTOwd-ghc9.4.5.so()(64bit) libHStype-equality-1-FqVAbwBXnIKCXHvrA6xdY8-ghc9.4.5.so()(64bit) libHSunbounded-delays-0.1.1.1-59HKKrxcyoLL6CfTRUkGwa-ghc9.4.5.so()(64bit) libHSunix-2.7.3-ghc9.4.5.so()(64bit) libHSunliftio-0.2.25.0-Ha39z31RkA5NmQ3KqmuRg-ghc9.4.5.so()(64bit) libHSunliftio-core-0.2.1.0-AEtYfdyUWlJCLfz2d4hPbj-ghc9.4.5.so()(64bit) libHSunordered-containers-0.2.19.1-KblUXVJ0SvRCcK89PoBx7E-ghc9.4.5.so()(64bit) libHSutf8-string-1.0.2-H5J3QXynvqU96sNfi3QV7u-ghc9.4.5.so()(64bit) libHSvector-0.13.0.0-DgEUYCaCm1GEZ2KanedKXr-ghc9.4.5.so()(64bit) libHSvector-stream-0.1.0.0-C5Yyq3DPEhXAQSqkM8V92s-ghc9.4.5.so()(64bit) libHSversions-6.0.7-axhWQjhcbeEWzSlMaqKqE-ghc9.4.5.so()(64bit) libHSvoid-0.7.3-GHzyjd8VkpoJvEZLjo6Bsz-ghc9.4.5.so()(64bit) libHSwhat4-1.5.1-DmiX3QcuQyI5nVOdJueABW-ghc9.4.5.so()(64bit) libHSxml-1.3.14-BBPDUWQuUpt3QYOr4h6J5g-ghc9.4.5.so()(64bit) libHSzenc-0.1.2-Enl048lGqPpJE68SIincuI-ghc9.4.5.so()(64bit) libHSzlib-0.6.3.0-BAWUEienEPJI6tqKZ6w5vO-ghc9.4.5.so()(64bit) libHSzlib-bindings-0.1.1.5-852v758fxgoCwAE3cyfKMb-ghc9.4.5.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libz.so.1()(64bit) rtld(GNU_HASH)
Processing files: ghc-copilot-language-devel-3.19.1-2.fc40.ppc64le
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.J0iKOw
+ umask 022
+ cd /builddir/build/BUILD
+ cd copilot-language-3.19.1
+ DOCDIR=/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/doc/ghc-copilot-language-devel
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/doc/ghc-copilot-language-devel
+ cp -pr /builddir/build/BUILD/copilot-language-3.19.1/CHANGELOG /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/doc/ghc-copilot-language-devel
+ cp -pr /builddir/build/BUILD/copilot-language-3.19.1/README.md /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/doc/ghc-copilot-language-devel
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-copilot-language-devel = 3.19.1-2.fc40 ghc-copilot-language-devel(ppc-64) = 3.19.1-2.fc40 ghc-copilot-language-static = 3.19.1-2.fc40 ghc-copilot-language-static(ppc-64) = 3.19.1-2.fc40 ghc-devel(copilot-language-3.19.1-L0ODD3OeyPy2duQqW2wDC4)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-devel(array-0.5.4.0) ghc-devel(base-4.17.1.0) ghc-devel(containers-0.6.7) ghc-devel(copilot-core-3.19.1-35OhQWh5Cl1FTJo0MOIsXn) ghc-devel(copilot-interpreter-3.19.1-24JM6mexvti6NdtqRowT77) ghc-devel(copilot-theorem-3.19.1-Di73mZ0cmeMDafxdpMnO5m) ghc-devel(data-reify-0.6.3-7AtcLnq2fW09vWC4LZfUqb) ghc-devel(mtl-2.2.2)
Processing files: ghc-copilot-language-doc-3.19.1-2.fc40.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.T51CQa
+ umask 022
+ cd /builddir/build/BUILD
+ cd copilot-language-3.19.1
+ LICENSEDIR=/builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/licenses/ghc-copilot-language-doc
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/licenses/ghc-copilot-language-doc
+ cp -pr /builddir/build/BUILD/copilot-language-3.19.1/LICENSE /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le/usr/share/licenses/ghc-copilot-language-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-copilot-language-doc = 3.19.1-2.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ghc-copilot-language-prof-3.19.1-2.fc40.ppc64le
Provides: ghc-copilot-language-prof = 3.19.1-2.fc40 ghc-copilot-language-prof(ppc-64) = 3.19.1-2.fc40 ghc-prof(copilot-language-3.19.1-L0ODD3OeyPy2duQqW2wDC4)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-prof(array-0.5.4.0) ghc-prof(base-4.17.1.0) ghc-prof(containers-0.6.7) ghc-prof(copilot-core-3.19.1-35OhQWh5Cl1FTJo0MOIsXn) ghc-prof(copilot-interpreter-3.19.1-24JM6mexvti6NdtqRowT77) ghc-prof(copilot-theorem-3.19.1-Di73mZ0cmeMDafxdpMnO5m) ghc-prof(data-reify-0.6.3-7AtcLnq2fW09vWC4LZfUqb) ghc-prof(mtl-2.2.2)
Supplements: (ghc-copilot-language-devel and ghc-prof)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ghc-copilot-language-3.19.1-2.fc40.ppc64le
Wrote: /builddir/build/RPMS/ghc-copilot-language-3.19.1-2.fc40.ppc64le.rpm
Wrote: /builddir/build/RPMS/ghc-copilot-language-devel-3.19.1-2.fc40.ppc64le.rpm
Wrote: /builddir/build/RPMS/ghc-copilot-language-prof-3.19.1-2.fc40.ppc64le.rpm
Wrote: /builddir/build/RPMS/ghc-copilot-language-doc-3.19.1-2.fc40.noarch.rpm
Child return code was: 0