starting phase `set-SOURCE-DATE-EPOCH'
phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds
starting phase `set-paths'
environment variable `PATH' set to `/gnu/store/kngd1h8b65kdnawd9mfxarwhkaxwq0lz-autoconf-2.69/bin:/gnu/store/i4c6yd0n7yhw2qi5217z62zb9n023dk7-automake-1.16.5/bin:/gnu/store/m6bsc973r7dmn0rwzglrdnjy91ifkp0g-ocaml-4.14.1/bin:/gnu/store/6vxk0i5j9w8mik4l6gx3cbw33f9x4l24-which-2.21/bin:/gnu/store/jrxp7hb0g90qsdr7nbhncl9640dvxrh8-coq-8.17.1/bin:/gnu/store/v4zqakkax5v21mqwbqbypsn409avn80f-gcc-cross-powerpc64le-linux-gnu-11.3.0/bin:/gnu/store/6kn4l2r8lfams14aml6vijzzwpiacmmw-binutils-cross-powerpc64le-linux-gnu-2.38/bin:/gnu/store/sxx22f98vfbavcqmdksm6as8fvskpxiw-tar-1.34/bin:/gnu/store/x24bm49ag5dvki72mjdz195bfb89nrnb-gzip-1.12/bin:/gnu/store/j8wlfmlmfvpbza6is9wv9xsd8psrxn00-bzip2-1.0.8/bin:/gnu/store/gr0sy0m1mv36qv54idm6cn10l3mngshq-file-5.44/bin:/gnu/store/zmcf5kpqiighkbh7wslf91qdjwj06yr1-diffutils-3.8/bin:/gnu/store/210yfax18r2g2inxrml9435ikhfcca6m-patch-2.7.6/bin:/gnu/store/c8jyph2lxw0m9na34fg8h70n4nnnz7is-findutils-4.9.0/bin:/gnu/store/hc05d76f1j3iz3v2bs5jz4fpljl1r4dj-gawk-5.2.1/bin:/gnu/store/xxcfsimvxz7z4dj593gnqbkzc6picwzq-sed-4.8/bin:/gnu/store/yrv5f70mn83a876b78i5s79dd2hsh0zf-grep-3.8/bin:/gnu/store/6k1yys9wqrfn4y41ic1win8gpnimncwj-xz-5.2.8/bin:/gnu/store/a5i8avx826brw5grn3n4qv40g514505c-coreutils-9.1/bin:/gnu/store/wj7casda7rb55rvqjnpm0bm7a2zm6618-make-4.3/bin:/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin:/gnu/store/na1dpbbcxjaa3n8wkwrfpch476f90hlf-ld-wrapper-0/bin:/gnu/store/zh4x65snfis7svs6906gj1z8i7dx2j3m-binutils-2.38/bin:/gnu/store/5lqhcv91ijy82p92ac6g5xw48l0lwwz4-gcc-11.3.0/bin:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/bin:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/sbin'
environment variable `CROSS_LIBRARY_PATH' set to `/gnu/store/sd1xvb3pdxhifxfip8bznvkynpg8l9qf-coq-mathcomp-1.19.0/lib:/gnu/store/ikndr68diibnknd03jqk85wl0ajvcznl-glibc-cross-powerpc64le-linux-gnu-2.35/lib:/gnu/store/a9pc26fj658d62irlsyq28h115zp807p-glibc-cross-powerpc64le-linux-gnu-2.35-static/lib'
environment variable `CROSS_C_INCLUDE_PATH' set to `/gnu/store/v4zqakkax5v21mqwbqbypsn409avn80f-gcc-cross-powerpc64le-linux-gnu-11.3.0/include:/gnu/store/ikndr68diibnknd03jqk85wl0ajvcznl-glibc-cross-powerpc64le-linux-gnu-2.35/include:/gnu/store/8d2kf1h0ihx5fpvylm14063zyj8sb5qf-linux-libre-headers-cross-powerpc64le-linux-gnu-5.15.49/include'
environment variable `CROSS_CPLUS_INCLUDE_PATH' set to `/gnu/store/v4zqakkax5v21mqwbqbypsn409avn80f-gcc-cross-powerpc64le-linux-gnu-11.3.0/include/c++:/gnu/store/v4zqakkax5v21mqwbqbypsn409avn80f-gcc-cross-powerpc64le-linux-gnu-11.3.0/include:/gnu/store/ikndr68diibnknd03jqk85wl0ajvcznl-glibc-cross-powerpc64le-linux-gnu-2.35/include:/gnu/store/8d2kf1h0ihx5fpvylm14063zyj8sb5qf-linux-libre-headers-cross-powerpc64le-linux-gnu-5.15.49/include'
environment variable `CROSS_OBJC_INCLUDE_PATH' set to `/gnu/store/v4zqakkax5v21mqwbqbypsn409avn80f-gcc-cross-powerpc64le-linux-gnu-11.3.0/include:/gnu/store/ikndr68diibnknd03jqk85wl0ajvcznl-glibc-cross-powerpc64le-linux-gnu-2.35/include:/gnu/store/8d2kf1h0ihx5fpvylm14063zyj8sb5qf-linux-libre-headers-cross-powerpc64le-linux-gnu-5.15.49/include'
environment variable `CROSS_OBJCPLUS_INCLUDE_PATH' set to `/gnu/store/v4zqakkax5v21mqwbqbypsn409avn80f-gcc-cross-powerpc64le-linux-gnu-11.3.0/include:/gnu/store/ikndr68diibnknd03jqk85wl0ajvcznl-glibc-cross-powerpc64le-linux-gnu-2.35/include:/gnu/store/8d2kf1h0ihx5fpvylm14063zyj8sb5qf-linux-libre-headers-cross-powerpc64le-linux-gnu-5.15.49/include'
environment variable `ACLOCAL_PATH' set to `/gnu/store/i4c6yd0n7yhw2qi5217z62zb9n023dk7-automake-1.16.5/share/aclocal'
environment variable `OCAMLPATH' set to `/gnu/store/m6bsc973r7dmn0rwzglrdnjy91ifkp0g-ocaml-4.14.1/lib/ocaml:/gnu/store/jrxp7hb0g90qsdr7nbhncl9640dvxrh8-coq-8.17.1/lib/ocaml:/gnu/store/jrxp7hb0g90qsdr7nbhncl9640dvxrh8-coq-8.17.1/lib/ocaml/site-lib'
environment variable `CAML_LD_LIBRARY_PATH' set to `/gnu/store/jrxp7hb0g90qsdr7nbhncl9640dvxrh8-coq-8.17.1/lib/ocaml/site-lib/stublibs'
environment variable `COQPATH' unset
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/v4zqakkax5v21mqwbqbypsn409avn80f-gcc-cross-powerpc64le-linux-gnu-11.3.0/include:/gnu/store/6kn4l2r8lfams14aml6vijzzwpiacmmw-binutils-cross-powerpc64le-linux-gnu-2.38/include:/gnu/store/j8wlfmlmfvpbza6is9wv9xsd8psrxn00-bzip2-1.0.8/include:/gnu/store/gr0sy0m1mv36qv54idm6cn10l3mngshq-file-5.44/include:/gnu/store/hc05d76f1j3iz3v2bs5jz4fpljl1r4dj-gawk-5.2.1/include:/gnu/store/6k1yys9wqrfn4y41ic1win8gpnimncwj-xz-5.2.8/include:/gnu/store/wj7casda7rb55rvqjnpm0bm7a2zm6618-make-4.3/include:/gnu/store/zh4x65snfis7svs6906gj1z8i7dx2j3m-binutils-2.38/include:/gnu/store/5lqhcv91ijy82p92ac6g5xw48l0lwwz4-gcc-11.3.0/include:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/include:/gnu/store/5iklcps70c0sfkxvlrhg8jhf3q4h18bj-linux-libre-headers-5.15.49/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/v4zqakkax5v21mqwbqbypsn409avn80f-gcc-cross-powerpc64le-linux-gnu-11.3.0/include/c++:/gnu/store/v4zqakkax5v21mqwbqbypsn409avn80f-gcc-cross-powerpc64le-linux-gnu-11.3.0/include:/gnu/store/6kn4l2r8lfams14aml6vijzzwpiacmmw-binutils-cross-powerpc64le-linux-gnu-2.38/include:/gnu/store/j8wlfmlmfvpbza6is9wv9xsd8psrxn00-bzip2-1.0.8/include:/gnu/store/gr0sy0m1mv36qv54idm6cn10l3mngshq-file-5.44/include:/gnu/store/hc05d76f1j3iz3v2bs5jz4fpljl1r4dj-gawk-5.2.1/include:/gnu/store/6k1yys9wqrfn4y41ic1win8gpnimncwj-xz-5.2.8/include:/gnu/store/wj7casda7rb55rvqjnpm0bm7a2zm6618-make-4.3/include:/gnu/store/zh4x65snfis7svs6906gj1z8i7dx2j3m-binutils-2.38/include:/gnu/store/5lqhcv91ijy82p92ac6g5xw48l0lwwz4-gcc-11.3.0/include/c++:/gnu/store/5lqhcv91ijy82p92ac6g5xw48l0lwwz4-gcc-11.3.0/include:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/include:/gnu/store/5iklcps70c0sfkxvlrhg8jhf3q4h18bj-linux-libre-headers-5.15.49/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/m6bsc973r7dmn0rwzglrdnjy91ifkp0g-ocaml-4.14.1/lib:/gnu/store/jrxp7hb0g90qsdr7nbhncl9640dvxrh8-coq-8.17.1/lib:/gnu/store/6kn4l2r8lfams14aml6vijzzwpiacmmw-binutils-cross-powerpc64le-linux-gnu-2.38/lib:/gnu/store/j8wlfmlmfvpbza6is9wv9xsd8psrxn00-bzip2-1.0.8/lib:/gnu/store/gr0sy0m1mv36qv54idm6cn10l3mngshq-file-5.44/lib:/gnu/store/hc05d76f1j3iz3v2bs5jz4fpljl1r4dj-gawk-5.2.1/lib:/gnu/store/6k1yys9wqrfn4y41ic1win8gpnimncwj-xz-5.2.8/lib:/gnu/store/zh4x65snfis7svs6906gj1z8i7dx2j3m-binutils-2.38/lib:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/lib:/gnu/store/l0yryi5jsa1grnvw01c9nkz9c81cv224-glibc-2.35-static/lib:/gnu/store/visfdda934gvivwihwhlm63fdqhhcc8a-glibc-utf8-locales-2.35/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/visfdda934gvivwihwhlm63fdqhhcc8a-glibc-utf8-locales-2.35/lib/locale'
phase `set-paths' succeeded after 0.0 seconds
starting phase `install-locale'
using 'en_US.utf8' locale for category "LC_ALL"
phase `install-locale' succeeded after 0.0 seconds
starting phase `unpack'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/.gitattributes' -> `./.gitattributes'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/.gitlab-ci.yml' -> `./.gitlab-ci.yml'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/.mailmap' -> `./.mailmap'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/COPYING' -> `./COPYING'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/INSTALL.md' -> `./INSTALL.md'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/NEWS.md' -> `./NEWS.md'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/README.md' -> `./README.md'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/Remakefile.in' -> `./Remakefile.in'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/_CoqProject' -> `./_CoqProject'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/configure.in' -> `./configure.in'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/opam' -> `./opam'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/remake.cpp' -> `./remake.cpp'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/AutoDerive.v' -> `./theories/AutoDerive.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Compactness.v' -> `./theories/Compactness.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Complex.v' -> `./theories/Complex.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Continuity.v' -> `./theories/Continuity.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Coquelicot.v' -> `./theories/Coquelicot.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Derive.v' -> `./theories/Derive.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Derive_2d.v' -> `./theories/Derive_2d.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/ElemFct.v' -> `./theories/ElemFct.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Equiv.v' -> `./theories/Equiv.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Hierarchy.v' -> `./theories/Hierarchy.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Iter.v' -> `./theories/Iter.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/KHInt.v' -> `./theories/KHInt.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Lim_seq.v' -> `./theories/Lim_seq.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Lub.v' -> `./theories/Lub.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Markov.v' -> `./theories/Markov.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/PSeries.v' -> `./theories/PSeries.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/RInt.v' -> `./theories/RInt.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/RInt_analysis.v' -> `./theories/RInt_analysis.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/RInt_gen.v' -> `./theories/RInt_gen.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Rbar.v' -> `./theories/Rbar.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Rcomplements.v' -> `./theories/Rcomplements.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/SF_seq.v' -> `./theories/SF_seq.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Seq_fct.v' -> `./theories/Seq_fct.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/theories/Series.v' -> `./theories/Series.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/misc/Dockerfile' -> `./misc/Dockerfile'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/misc/ci.md' -> `./misc/ci.md'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/examples/BacS2013.v' -> `./examples/BacS2013.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/examples/BacS2013_bonus.v' -> `./examples/BacS2013_bonus.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/examples/Bessel.v' -> `./examples/Bessel.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/examples/DAlembert.v' -> `./examples/DAlembert.v'
`/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout/examples/Wasow.v' -> `./examples/Wasow.v'
phase `unpack' succeeded after 0.0 seconds
starting phase `bootstrap'
autoreconf: Entering directory `.'
autoreconf: configure.in: not using Gettext
autoreconf: running: aclocal --force 
aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
configure.in:5: warning: prefer named diversions
autoreconf: configure.in: tracing
configure.in:5: warning: prefer named diversions
autoreconf: configure.in: not using Libtool
autoreconf: running: /gnu/store/kngd1h8b65kdnawd9mfxarwhkaxwq0lz-autoconf-2.69/bin/autoconf --force
configure.in:5: warning: prefer named diversions
autoreconf: configure.in: not using Autoheader
autoreconf: configure.in: not using Automake
autoreconf: Leaving directory `.'
phase `bootstrap' succeeded after 2.7 seconds
starting phase `patch-usr-bin-file'
phase `patch-usr-bin-file' succeeded after 0.0 seconds
starting phase `patch-source-shebangs'
patch-shebang: ./configure: changing `/bin/sh' to `/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/sh'
phase `patch-source-shebangs' succeeded after 0.0 seconds
starting phase `fix-remake'
phase `fix-remake' succeeded after 0.0 seconds
starting phase `configure'
source directory: "/tmp/guix-build-coq-coquelicot-3.4.1.drv-0/source" (relative from build: ".")
build directory: "/tmp/guix-build-coq-coquelicot-3.4.1.drv-0/source"
configure flags: ("CC_FOR_BUILD=gcc" "CONFIG_SHELL=/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/bash" "SHELL=/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/bash" "--prefix=/gnu/store/d8mv95123nhgaw1rqch12h5xd41sakjw-coq-coquelicot-3.4.1" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=powerpc64le-linux-gnu" "COQUSERCONTRIB=/gnu/store/d8mv95123nhgaw1rqch12h5xd41sakjw-coq-coquelicot-3.4.1/lib/coq/user-contrib")
configure: WARNING: unrecognized options: --enable-fast-install
checking for coqc... /gnu/store/jrxp7hb0g90qsdr7nbhncl9640dvxrh8-coq-8.17.1/bin/coqc
checking for coqdep... /gnu/store/jrxp7hb0g90qsdr7nbhncl9640dvxrh8-coq-8.17.1/bin/coqdep
checking for coqdoc... /gnu/store/jrxp7hb0g90qsdr7nbhncl9640dvxrh8-coq-8.17.1/bin/coqdoc
checking for SSReflect... File "./conftest.v", line 1, characters 0-44:
Error: Cannot find a physical path bound to logical path
mathcomp.ssreflect.ssreflect.

no
configure: error:  *** Unable to find library mathcomp.ssreflect (http://math-comp.github.io/math-comp/)
error: in phase 'configure': uncaught exception:
%exception #<&invoke-error program: "/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/bash" arguments: ("./configure" "CC_FOR_BUILD=gcc" "CONFIG_SHELL=/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/bash" "SHELL=/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/bash" "--prefix=/gnu/store/d8mv95123nhgaw1rqch12h5xd41sakjw-coq-coquelicot-3.4.1" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=powerpc64le-linux-gnu" "COQUSERCONTRIB=/gnu/store/d8mv95123nhgaw1rqch12h5xd41sakjw-coq-coquelicot-3.4.1/lib/coq/user-contrib") exit-status: 1 term-signal: #f stop-signal: #f> 
phase `configure' failed after 0.4 seconds
command "/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/bash" "./configure" "CC_FOR_BUILD=gcc" "CONFIG_SHELL=/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/bash" "SHELL=/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/bash" "--prefix=/gnu/store/d8mv95123nhgaw1rqch12h5xd41sakjw-coq-coquelicot-3.4.1" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=powerpc64le-linux-gnu" "COQUSERCONTRIB=/gnu/store/d8mv95123nhgaw1rqch12h5xd41sakjw-coq-coquelicot-3.4.1/lib/coq/user-contrib" failed with status 1