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/km9l89sd4wm9jp358481v2z6qacwl2h9-autoconf-2.69/bin:/gnu/store/d8l3aaq7vs2kzkwg0afj1lv1hb2s5fxm-automake-1.16.3/bin:/gnu/store/58mlrkh642g1jks0c5n2sky69f8nq6vf-ocaml-4.14.0/bin:/gnu/store/af9svhgvcy0xzphpv4fq17g8zm40x675-which-2.21/bin:/gnu/store/qw74m7lgrhlgw6h8zhnixfy0bx610ak1-coq-8.16.1/bin:/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/bin:/gnu/store/59z4jxkizc4fhpldrd8cn6k9jj8vzxkz-binutils-cross-x86_64-w64-mingw32-2.37/bin:/gnu/store/g2ajyl8xk9aarxrgjbng2hkj3qm2v0z2-tar-1.34/bin:/gnu/store/iixwcv3k49ks1rf34pjgfzmzyhhgwng3-gzip-1.10/bin:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/bin:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/bin:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin:/gnu/store/ahmmvw21p11ik80lg1f953y7fd8bqkjm-diffutils-3.8/bin:/gnu/store/z39hnrwds1dgcbpfgj8dnv2cngjb2xbl-patch-2.7.6/bin:/gnu/store/39rsx3nl4c31952jybbjb8d6idr5hx7r-findutils-4.8.0/bin:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/bin:/gnu/store/wxgv6i8g0p24q5gcyzd0yr07s8kn9680-sed-4.8/bin:/gnu/store/xjwp2hsd9256icjjybfrmznppjicywf6-grep-3.6/bin:/gnu/store/d251rfgc9nm2clzffzhgiipdvfvzkvwi-coreutils-8.32/bin:/gnu/store/55cbpsi18mahg131nmiya6km5b4mscfa-make-4.3/bin:/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin:/gnu/store/s2pg5k98fl2g2szg9dykxyd9zl3xihv9-ld-wrapper-0/bin:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/bin:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/bin:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/bin:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/sbin:/gnu/store/jr9ii0vgd1bj8xz6girnakphj2gn9g9n-coq-stdlib-8.16.1/bin:/gnu/store/gbh840hxl9x3czjnn8zkg4wvfj6zi7m1-coq-core-8.16.1/bin'
environment variable `CROSS_LIBRARY_PATH' set to `/gnu/store/i4r8m7k4r5rm0zg89lzaypbdvvyhdq9k-coq-mathcomp-1.15.0/lib:/gnu/store/7b119byi86gb3ab5x87ld9fz5xg5bwyd-mingw-w64-x86_64-10.0.0/lib'
environment variable `CROSS_C_INCLUDE_PATH' set to `/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/include:/gnu/store/7b119byi86gb3ab5x87ld9fz5xg5bwyd-mingw-w64-x86_64-10.0.0/include'
environment variable `CROSS_CPLUS_INCLUDE_PATH' set to `/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/include/c++:/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/include:/gnu/store/7b119byi86gb3ab5x87ld9fz5xg5bwyd-mingw-w64-x86_64-10.0.0/include'
environment variable `CROSS_OBJC_INCLUDE_PATH' set to `/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/include:/gnu/store/7b119byi86gb3ab5x87ld9fz5xg5bwyd-mingw-w64-x86_64-10.0.0/include'
environment variable `CROSS_OBJCPLUS_INCLUDE_PATH' set to `/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/include:/gnu/store/7b119byi86gb3ab5x87ld9fz5xg5bwyd-mingw-w64-x86_64-10.0.0/include'
environment variable `CROSS_C_INCLUDE_PATH' set to `/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/include:/gnu/store/7b119byi86gb3ab5x87ld9fz5xg5bwyd-mingw-w64-x86_64-10.0.0/include'
environment variable `CROSS_LIBRARY_PATH' set to `/gnu/store/i4r8m7k4r5rm0zg89lzaypbdvvyhdq9k-coq-mathcomp-1.15.0/lib:/gnu/store/7b119byi86gb3ab5x87ld9fz5xg5bwyd-mingw-w64-x86_64-10.0.0/lib'
environment variable `ACLOCAL_PATH' set to `/gnu/store/d8l3aaq7vs2kzkwg0afj1lv1hb2s5fxm-automake-1.16.3/share/aclocal'
environment variable `OCAMLPATH' set to `/gnu/store/58mlrkh642g1jks0c5n2sky69f8nq6vf-ocaml-4.14.0/lib/ocaml:/gnu/store/qw74m7lgrhlgw6h8zhnixfy0bx610ak1-coq-8.16.1/lib/ocaml:/gnu/store/qw74m7lgrhlgw6h8zhnixfy0bx610ak1-coq-8.16.1/lib/ocaml/site-lib:/gnu/store/jr9ii0vgd1bj8xz6girnakphj2gn9g9n-coq-stdlib-8.16.1/lib/ocaml:/gnu/store/jr9ii0vgd1bj8xz6girnakphj2gn9g9n-coq-stdlib-8.16.1/lib/ocaml/site-lib:/gnu/store/gbh840hxl9x3czjnn8zkg4wvfj6zi7m1-coq-core-8.16.1/lib/ocaml:/gnu/store/gbh840hxl9x3czjnn8zkg4wvfj6zi7m1-coq-core-8.16.1/lib/ocaml/site-lib'
environment variable `CAML_LD_LIBRARY_PATH' set to `/gnu/store/gbh840hxl9x3czjnn8zkg4wvfj6zi7m1-coq-core-8.16.1/lib/ocaml/site-lib/stublibs'
environment variable `COQPATH' set to `/gnu/store/jr9ii0vgd1bj8xz6girnakphj2gn9g9n-coq-stdlib-8.16.1/lib/ocaml/site-lib/coq/user-contrib'
environment variable `COQLIBPATH' set to `/gnu/store/qw74m7lgrhlgw6h8zhnixfy0bx610ak1-coq-8.16.1/lib/ocaml/site-lib/coq:/gnu/store/jr9ii0vgd1bj8xz6girnakphj2gn9g9n-coq-stdlib-8.16.1/lib/ocaml/site-lib/coq'
environment variable `COQCORELIB' set to `/gnu/store/gbh840hxl9x3czjnn8zkg4wvfj6zi7m1-coq-core-8.16.1/lib/ocaml/site-lib/coq-core'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/include:/gnu/store/59z4jxkizc4fhpldrd8cn6k9jj8vzxkz-binutils-cross-x86_64-w64-mingw32-2.37/include:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/include:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/include:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/include:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/include:/gnu/store/55cbpsi18mahg131nmiya6km5b4mscfa-make-4.3/include:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/include:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/include:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/include:/gnu/store/6mjww4iz4xdan74d5bbjfh7il8rngfkk-linux-libre-headers-5.10.35/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/include/c++:/gnu/store/39ln31ik9yzd1lj4zrdxjf9r4h5bn51n-gcc-cross-x86_64-w64-mingw32-10.3.0/include:/gnu/store/59z4jxkizc4fhpldrd8cn6k9jj8vzxkz-binutils-cross-x86_64-w64-mingw32-2.37/include:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/include:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/include:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/include:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/include:/gnu/store/55cbpsi18mahg131nmiya6km5b4mscfa-make-4.3/include:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/include:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/include/c++:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/include:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/include:/gnu/store/6mjww4iz4xdan74d5bbjfh7il8rngfkk-linux-libre-headers-5.10.35/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/58mlrkh642g1jks0c5n2sky69f8nq6vf-ocaml-4.14.0/lib:/gnu/store/qw74m7lgrhlgw6h8zhnixfy0bx610ak1-coq-8.16.1/lib:/gnu/store/59z4jxkizc4fhpldrd8cn6k9jj8vzxkz-binutils-cross-x86_64-w64-mingw32-2.37/lib:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/lib:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/lib:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/lib:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/lib:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/lib:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/lib:/gnu/store/4jdghmc65q7i7ib89zmvq66l0ghf7jc4-glibc-2.33-static/lib:/gnu/store/fnr1z6xsan0437r0yg48d0y8k32kqxby-glibc-utf8-locales-2.33/lib:/gnu/store/jr9ii0vgd1bj8xz6girnakphj2gn9g9n-coq-stdlib-8.16.1/lib:/gnu/store/gbh840hxl9x3czjnn8zkg4wvfj6zi7m1-coq-core-8.16.1/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/fnr1z6xsan0437r0yg48d0y8k32kqxby-glibc-utf8-locales-2.33/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/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/.gitattributes' -> `./.gitattributes'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/.gitlab-ci.yml' -> `./.gitlab-ci.yml'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/.mailmap' -> `./.mailmap'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/COPYING' -> `./COPYING'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/INSTALL.md' -> `./INSTALL.md'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/NEWS.md' -> `./NEWS.md'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/README.md' -> `./README.md'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/Remakefile.in' -> `./Remakefile.in'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/_CoqProject' -> `./_CoqProject'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/configure.in' -> `./configure.in'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/opam' -> `./opam'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/remake.cpp' -> `./remake.cpp'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/AutoDerive.v' -> `./theories/AutoDerive.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Compactness.v' -> `./theories/Compactness.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Complex.v' -> `./theories/Complex.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Continuity.v' -> `./theories/Continuity.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Coquelicot.v' -> `./theories/Coquelicot.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Derive.v' -> `./theories/Derive.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Derive_2d.v' -> `./theories/Derive_2d.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/ElemFct.v' -> `./theories/ElemFct.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Equiv.v' -> `./theories/Equiv.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Hierarchy.v' -> `./theories/Hierarchy.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Iter.v' -> `./theories/Iter.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/KHInt.v' -> `./theories/KHInt.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Lim_seq.v' -> `./theories/Lim_seq.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Lub.v' -> `./theories/Lub.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Markov.v' -> `./theories/Markov.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/PSeries.v' -> `./theories/PSeries.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/RInt.v' -> `./theories/RInt.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/RInt_analysis.v' -> `./theories/RInt_analysis.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/RInt_gen.v' -> `./theories/RInt_gen.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Rbar.v' -> `./theories/Rbar.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Rcomplements.v' -> `./theories/Rcomplements.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/SF_seq.v' -> `./theories/SF_seq.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Seq_fct.v' -> `./theories/Seq_fct.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/theories/Series.v' -> `./theories/Series.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/misc/Dockerfile' -> `./misc/Dockerfile'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/misc/ci.md' -> `./misc/ci.md'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/examples/BacS2013.v' -> `./examples/BacS2013.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/examples/BacS2013_bonus.v' -> `./examples/BacS2013_bonus.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/examples/Bessel.v' -> `./examples/Bessel.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-checkout/examples/DAlembert.v' -> `./examples/DAlembert.v'
`/gnu/store/v0ggcdz701bpy4ibyqhyl2kkyi8zqpgc-coq-coquelicot-3.2.0-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/km9l89sd4wm9jp358481v2z6qacwl2h9-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 5.8 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/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/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.2.0.drv-0/source" (relative from build: ".")
build directory: "/tmp/guix-build-coq-coquelicot-3.2.0.drv-0/source"
configure flags: ("CC_FOR_BUILD=gcc" "CONFIG_SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "--prefix=/gnu/store/r6sdlbxxich8sj79cj7j42kbvnxr30vp-coq-coquelicot-3.2.0" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=x86_64-w64-mingw32" "COQUSERCONTRIB=/gnu/store/r6sdlbxxich8sj79cj7j42kbvnxr30vp-coq-coquelicot-3.2.0/lib/coq/user-contrib")
configure: WARNING: unrecognized options: --enable-fast-install
checking for coqc... /gnu/store/gbh840hxl9x3czjnn8zkg4wvfj6zi7m1-coq-core-8.16.1/bin/coqc
checking for coqdep... /gnu/store/gbh840hxl9x3czjnn8zkg4wvfj6zi7m1-coq-core-8.16.1/bin/coqdep
checking for coqdoc... /gnu/store/gbh840hxl9x3czjnn8zkg4wvfj6zi7m1-coq-core-8.16.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/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" arguments: ("./configure" "CC_FOR_BUILD=gcc" "CONFIG_SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "--prefix=/gnu/store/r6sdlbxxich8sj79cj7j42kbvnxr30vp-coq-coquelicot-3.2.0" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=x86_64-w64-mingw32" "COQUSERCONTRIB=/gnu/store/r6sdlbxxich8sj79cj7j42kbvnxr30vp-coq-coquelicot-3.2.0/lib/coq/user-contrib") exit-status: 1 term-signal: #f stop-signal: #f> 
phase `configure' failed after 0.2 seconds
command "/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "./configure" "CC_FOR_BUILD=gcc" "CONFIG_SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "--prefix=/gnu/store/r6sdlbxxich8sj79cj7j42kbvnxr30vp-coq-coquelicot-3.2.0" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=x86_64-w64-mingw32" "COQUSERCONTRIB=/gnu/store/r6sdlbxxich8sj79cj7j42kbvnxr30vp-coq-coquelicot-3.2.0/lib/coq/user-contrib" failed with status 1