WARNING: (guile-user): imported module (guix build utils) overrides core binding `delete'
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/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/bin:/gnu/store/am3imbjafa1wdvw9j6qabrxc09w169lz-tar-1.32/bin:/gnu/store/chqjscapsg928dy8pg6yrdhw3ypk8c9x-gzip-1.10/bin:/gnu/store/k3n5jh5579g2b17qmd2w89z2fy45pmr3-bzip2-1.0.8/bin:/gnu/store/k8ksi57ghm301zr0v7aq2vl2fa8hxfqi-xz-5.2.4/bin:/gnu/store/5ckix15mw8r509g68fbm7rla51lmd2zq-file-5.38/bin:/gnu/store/m8fnsfqs18c3srjiaw4frqadb9rqsq16-diffutils-3.7/bin:/gnu/store/2cfnrxy8icrz3sxfn86k0klmvsnj1n82-patch-2.7.6/bin:/gnu/store/0bmzacdzdhi41kkjbsq7iakwjzxkv6fm-findutils-4.7.0/bin:/gnu/store/x9qzb42hmzszg9y16m1gbz3vv54yyi00-gawk-5.0.1/bin:/gnu/store/qy7gpiba7s7ylpfxaay6i76rk892j52n-sed-4.8/bin:/gnu/store/74d5jq5sj2fhy5j0j07jqdclf8nyxgqn-grep-3.4/bin:/gnu/store/wy177cwa387g9kaf3ss716d4fhzb21wx-coreutils-8.32/bin:/gnu/store/wsxnp4k7mp7b705kxp94j7hs8as5fmsl-make-4.3/bin:/gnu/store/7zp9ifpgm3zj481nk6jg1im13g4mza2g-bash-minimal-5.0.16/bin:/gnu/store/y4iy1jvfq07gxynkb9jl1f69jmy349vi-ld-wrapper-0/bin:/gnu/store/1iwrsjwmhcdifc8i3v7qdr59k6gq4z24-binutils-2.34/bin:/gnu/store/z8954h4nvgxwcyy2in8c1l11g199m2yb-gcc-7.5.0/bin:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/bin:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/sbin'
environment variable `COQPATH' unset
environment variable `COQLIB' set to `/gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/lib/ocaml/site-lib/coq'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/k3n5jh5579g2b17qmd2w89z2fy45pmr3-bzip2-1.0.8/include:/gnu/store/k8ksi57ghm301zr0v7aq2vl2fa8hxfqi-xz-5.2.4/include:/gnu/store/5ckix15mw8r509g68fbm7rla51lmd2zq-file-5.38/include:/gnu/store/x9qzb42hmzszg9y16m1gbz3vv54yyi00-gawk-5.0.1/include:/gnu/store/wsxnp4k7mp7b705kxp94j7hs8as5fmsl-make-4.3/include:/gnu/store/1iwrsjwmhcdifc8i3v7qdr59k6gq4z24-binutils-2.34/include:/gnu/store/z8954h4nvgxwcyy2in8c1l11g199m2yb-gcc-7.5.0/include:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/include:/gnu/store/72z9rxrrmfw1xx9gf27jm2s8h5h0fkh0-linux-libre-headers-5.4.20/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/k3n5jh5579g2b17qmd2w89z2fy45pmr3-bzip2-1.0.8/include:/gnu/store/k8ksi57ghm301zr0v7aq2vl2fa8hxfqi-xz-5.2.4/include:/gnu/store/5ckix15mw8r509g68fbm7rla51lmd2zq-file-5.38/include:/gnu/store/x9qzb42hmzszg9y16m1gbz3vv54yyi00-gawk-5.0.1/include:/gnu/store/wsxnp4k7mp7b705kxp94j7hs8as5fmsl-make-4.3/include:/gnu/store/1iwrsjwmhcdifc8i3v7qdr59k6gq4z24-binutils-2.34/include:/gnu/store/z8954h4nvgxwcyy2in8c1l11g199m2yb-gcc-7.5.0/include/c++:/gnu/store/z8954h4nvgxwcyy2in8c1l11g199m2yb-gcc-7.5.0/include:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/include:/gnu/store/72z9rxrrmfw1xx9gf27jm2s8h5h0fkh0-linux-libre-headers-5.4.20/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/lib:/gnu/store/k3n5jh5579g2b17qmd2w89z2fy45pmr3-bzip2-1.0.8/lib:/gnu/store/k8ksi57ghm301zr0v7aq2vl2fa8hxfqi-xz-5.2.4/lib:/gnu/store/5ckix15mw8r509g68fbm7rla51lmd2zq-file-5.38/lib:/gnu/store/x9qzb42hmzszg9y16m1gbz3vv54yyi00-gawk-5.0.1/lib:/gnu/store/1iwrsjwmhcdifc8i3v7qdr59k6gq4z24-binutils-2.34/lib:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/lib:/gnu/store/m4l52mw8m0amgy4j129z5j0syryb7pkg-glibc-2.31-static/lib:/gnu/store/vispxhcwmvasm225pm373jhfn21q1sa1-glibc-utf8-locales-2.31/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/vispxhcwmvasm225pm373jhfn21q1sa1-glibc-utf8-locales-2.31/lib/locale'
phase `set-paths' succeeded after 0.1 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/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/.gitmodules' -> `./.gitmodules'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/README.md' -> `./README.md'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/Makefile' -> `./Makefile'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/CHANGELOG.md' -> `./CHANGELOG.md'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/.gitlab-ci.yml' -> `./.gitlab-ci.yml'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/test-normalizer.sed' -> `./test-normalizer.sed'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/.gitattributes' -> `./.gitattributes'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/_CoqProject' -> `./_CoqProject'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/coq-stdpp.opam' -> `./coq-stdpp.opam'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/LICENSE' -> `./LICENSE'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/Makefile.coq.local' -> `./Makefile.coq.local'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/zmap.v' -> `./theories/zmap.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/hlist.v' -> `./theories/hlist.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/tactics.v' -> `./theories/tactics.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/coPset.v' -> `./theories/coPset.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/nat_cancel.v' -> `./theories/nat_cancel.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/decidable.v' -> `./theories/decidable.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/fin_sets.v' -> `./theories/fin_sets.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/sets.v' -> `./theories/sets.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/gmultiset.v' -> `./theories/gmultiset.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/proof_irrel.v' -> `./theories/proof_irrel.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/countable.v' -> `./theories/countable.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/stringmap.v' -> `./theories/stringmap.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/pretty.v' -> `./theories/pretty.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/list.v' -> `./theories/list.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/list_numbers.v' -> `./theories/list_numbers.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/namespaces.v' -> `./theories/namespaces.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/streams.v' -> `./theories/streams.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/coGset.v' -> `./theories/coGset.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/boolset.v' -> `./theories/boolset.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/mapset.v' -> `./theories/mapset.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/fin_maps.v' -> `./theories/fin_maps.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/finite.v' -> `./theories/finite.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/hashset.v' -> `./theories/hashset.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/listset.v' -> `./theories/listset.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/options.v' -> `./theories/options.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/prelude.v' -> `./theories/prelude.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/option.v' -> `./theories/option.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/listset_nodup.v' -> `./theories/listset_nodup.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/sorting.v' -> `./theories/sorting.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/pmap.v' -> `./theories/pmap.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/relations.v' -> `./theories/relations.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/functions.v' -> `./theories/functions.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/telescopes.v' -> `./theories/telescopes.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/natmap.v' -> `./theories/natmap.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/lexico.v' -> `./theories/lexico.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/fin.v' -> `./theories/fin.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/gmap.v' -> `./theories/gmap.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/base.v' -> `./theories/base.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/binders.v' -> `./theories/binders.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/vector.v' -> `./theories/vector.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/fin_map_dom.v' -> `./theories/fin_map_dom.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/nmap.v' -> `./theories/nmap.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/numbers.v' -> `./theories/numbers.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/infinite.v' -> `./theories/infinite.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/propset.v' -> `./theories/propset.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/orders.v' -> `./theories/orders.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/theories/strings.v' -> `./theories/strings.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/multiset_solver.v' -> `./tests/multiset_solver.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/tactics.v' -> `./tests/tactics.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/solve_ndisj.v' -> `./tests/solve_ndisj.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/fin_maps.ref' -> `./tests/fin_maps.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/notation.v' -> `./tests/notation.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/sets.v' -> `./tests/sets.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/typeclasses.v' -> `./tests/typeclasses.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/pretty.ref' -> `./tests/pretty.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/eunify.v' -> `./tests/eunify.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/pretty.v' -> `./tests/pretty.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/solve_proper.v' -> `./tests/solve_proper.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/solve_ndisj.ref' -> `./tests/solve_ndisj.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/fin_maps.v' -> `./tests/fin_maps.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/notation.ref' -> `./tests/notation.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/tactics.ref' -> `./tests/tactics.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/length.v' -> `./tests/length.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/telescopes.v' -> `./tests/telescopes.v'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/sets.ref' -> `./tests/sets.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/eunify.ref' -> `./tests/eunify.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/telescopes.ref' -> `./tests/telescopes.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/length.ref' -> `./tests/length.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/solve_proper.ref' -> `./tests/solve_proper.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/typeclasses.ref' -> `./tests/typeclasses.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/numbers.ref' -> `./tests/numbers.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/multiset_solver.ref' -> `./tests/multiset_solver.ref'
`/gnu/store/2yjxhls4ivc3q4vh9rvvdg8njh2298m8-coq-stdpp-1.5.0-checkout/tests/numbers.v' -> `./tests/numbers.v'
phase `unpack' succeeded after 0.0 seconds
starting phase `bootstrap'
no 'configure.ac' or anything like that, doing nothing
phase `bootstrap' succeeded after 0.0 seconds
starting phase `patch-usr-bin-file'
phase `patch-usr-bin-file' succeeded after 0.0 seconds
starting phase `patch-source-shebangs'
phase `patch-source-shebangs' succeeded after 0.0 seconds
starting phase `patch-generated-file-shebangs'
phase `patch-generated-file-shebangs' succeeded after 0.0 seconds
starting phase `build'
"coq_makefile" -f _CoqProject -o Makefile.coq 
make[1]: Entering directory '/tmp/guix-build-coq-stdpp-1.5.0.drv-0/source'
COQDEP VFILES
COQDEP TESTFILES
COQC theories/options.v
COQC theories/base.v
COQC theories/proof_irrel.v
COQC theories/decidable.v
COQC theories/tactics.v
COQC theories/option.v
COQC theories/fin.v
COQC theories/orders.v
COQTEST tests/tactics.v (ref: tests/tactics.ref)
COQTEST tests/notation.v (ref: tests/notation.ref)
COQC theories/telescopes.v
COQC theories/streams.v
COQC theories/functions.v
COQC theories/hlist.v
COQTEST tests/telescopes.v (ref: tests/telescopes.ref)
COQC theories/numbers.v
COQC theories/list.v
COQC theories/lexico.v
COQC theories/nat_cancel.v
COQC theories/list_numbers.v
COQC theories/sorting.v
COQC theories/countable.v
COQC theories/vector.v
COQC theories/strings.v
COQC theories/finite.v
COQTEST tests/eunify.v (ref: tests/eunify.ref)
COQC theories/sets.v
COQC theories/relations.v
COQC theories/propset.v
COQTEST tests/sets.v (ref: tests/sets.ref)
COQC theories/listset.v
COQC theories/listset_nodup.v
COQC theories/pretty.v
COQC theories/fin_sets.v
COQC theories/infinite.v
COQTEST tests/pretty.v (ref: tests/pretty.ref)
COQC theories/fin_maps.v
COQC theories/prelude.v
COQTEST tests/typeclasses.v (ref: tests/typeclasses.ref)
COQTEST tests/solve_proper.v (ref: tests/solve_proper.ref)
COQTEST tests/length.v (ref: tests/length.ref)
COQC theories/boolset.v
COQTEST tests/numbers.v (ref: tests/numbers.ref)
COQC theories/fin_map_dom.v
COQC theories/binders.v
COQC theories/mapset.v
COQTEST tests/fin_maps.v (ref: tests/fin_maps.ref)
COQC theories/pmap.v
COQC theories/natmap.v
COQC theories/gmap.v
COQC theories/zmap.v
COQC theories/nmap.v
COQC theories/hashset.v
COQC theories/gmultiset.v
COQC theories/coPset.v
COQC theories/stringmap.v
COQC theories/coGset.v
COQC theories/namespaces.v
COQTEST tests/multiset_solver.v (ref: tests/multiset_solver.ref)
COQTEST tests/solve_ndisj.v (ref: tests/solve_ndisj.ref)
make[1]: Leaving directory '/tmp/guix-build-coq-stdpp-1.5.0.drv-0/source'
phase `build' succeeded after 113.6 seconds
starting phase `check'
test suite not run
phase `check' succeeded after 0.0 seconds
starting phase `install'
make[1]: Entering directory '/tmp/guix-build-coq-stdpp-1.5.0.drv-0/source'
INSTALL theories/options.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/base.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/tactics.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/option.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin_map_dom.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/boolset.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin_maps.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/vector.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/pmap.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/stringmap.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin_sets.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/mapset.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/proof_irrel.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/hashset.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/pretty.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/countable.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/orders.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/natmap.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/strings.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/relations.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/sets.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/listset.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/streams.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/gmap.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/gmultiset.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/prelude.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/listset_nodup.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/finite.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/numbers.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/nmap.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/zmap.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/coPset.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/coGset.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/lexico.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/propset.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/decidable.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/list.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/list_numbers.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/functions.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/hlist.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/sorting.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/infinite.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/nat_cancel.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/namespaces.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/telescopes.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/binders.vo /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/options.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/base.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/tactics.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/option.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin_map_dom.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/boolset.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin_maps.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/vector.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/pmap.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/stringmap.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin_sets.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/mapset.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/proof_irrel.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/hashset.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/pretty.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/countable.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/orders.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/natmap.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/strings.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/relations.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/sets.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/listset.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/streams.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/gmap.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/gmultiset.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/prelude.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/listset_nodup.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/finite.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/numbers.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/nmap.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/zmap.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/coPset.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/coGset.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/lexico.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/propset.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/decidable.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/list.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/list_numbers.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/functions.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/hlist.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/sorting.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/infinite.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/nat_cancel.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/namespaces.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/telescopes.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/binders.v /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/options.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/base.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/tactics.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/option.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin_map_dom.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/boolset.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin_maps.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/vector.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/pmap.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/stringmap.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/fin_sets.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/mapset.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/proof_irrel.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/hashset.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/pretty.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/countable.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/orders.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/natmap.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/strings.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/relations.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/sets.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/listset.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/streams.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/gmap.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/gmultiset.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/prelude.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/listset_nodup.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/finite.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/numbers.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/nmap.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/zmap.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/coPset.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/coGset.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/lexico.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/propset.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/decidable.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/list.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/list_numbers.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/functions.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/hlist.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/sorting.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/infinite.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/nat_cancel.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/namespaces.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/telescopes.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
INSTALL theories/binders.glob /gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib/coq//user-contrib/stdpp/
make[2]: Entering directory '/tmp/guix-build-coq-stdpp-1.5.0.drv-0/source'
make[2]: Leaving directory '/tmp/guix-build-coq-stdpp-1.5.0.drv-0/source'
make[1]: Leaving directory '/tmp/guix-build-coq-stdpp-1.5.0.drv-0/source'
phase `install' succeeded after 2.9 seconds
starting phase `patch-shebangs'
phase `patch-shebangs' succeeded after 0.0 seconds
starting phase `strip'
stripping binaries in "/gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib" with "strip" and flags ("--strip-debug" "--enable-deterministic-archives")
phase `strip' succeeded after 0.0 seconds
starting phase `validate-runpath'
validating RUNPATH of 0 binaries in "/gnu/store/dggd9b9ja61gv2alg0lpr0cijlpingwb-coq-stdpp-1.5.0/lib"...
phase `validate-runpath' succeeded after 0.0 seconds
starting phase `validate-documentation-location'
phase `validate-documentation-location' succeeded after 0.0 seconds
starting phase `delete-info-dir-file'
phase `delete-info-dir-file' succeeded after 0.0 seconds
starting phase `patch-dot-desktop-files'
phase `patch-dot-desktop-files' succeeded after 0.0 seconds
starting phase `install-license-files'
installing 1 license files from '.'
phase `install-license-files' succeeded after 0.0 seconds
starting phase `reset-gzip-timestamps'
phase `reset-gzip-timestamps' succeeded after 0.0 seconds
starting phase `compress-documentation'
phase `compress-documentation' succeeded after 0.0 seconds