Mock Version: 5.0
Mock Version: 5.0
Mock Version: 5.0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/coq.spec'], chrootPath='/var/lib/mock/f40-build-2397568-60542/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 0xffffff848cafd0>timeout=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/coq.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'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1706832000
Wrote: /builddir/build/SRPMS/coq-8.18.0-4.fc40.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/coq.spec'], chrootPath='/var/lib/mock/f40-build-2397568-60542/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 0xffffff848cafd0>timeout=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/coq.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'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1706832000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.D5A2l7
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf coq-8.18.0
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/coq-8.18.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd coq-8.18.0
+ rm -rf /builddir/build/BUILD/coq-8.18.0-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/coq-8.18.0-SPECPARTS
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -e 's|-Wall.*-O2|-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -Wno-unused|' -e 's| -march=native||' -i tools/configure/configure.ml
+ sed -i 's,-shared,& -g,g' tools/CoqMakefile.in
+ for f in doc/tools/coqrst/notations/fontsupport.py
+ sed -i.orig 's,/usr/bin/env python2,/usr/bin/python3,' doc/tools/coqrst/notations/fontsupport.py
+ fixtimestamp doc/tools/coqrst/notations/fontsupport.py
+ touch -r doc/tools/coqrst/notations/fontsupport.py.orig doc/tools/coqrst/notations/fontsupport.py
+ rm -f doc/tools/coqrst/notations/fontsupport.py.orig
++ grep -Frl /usr/bin/env
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' doc/stdlib/make-library-index
+ fixtimestamp doc/stdlib/make-library-index
+ touch -r doc/stdlib/make-library-index.orig doc/stdlib/make-library-index
+ rm -f doc/stdlib/make-library-index.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' doc/tools/coqrst/regen_readme.py
+ fixtimestamp doc/tools/coqrst/regen_readme.py
+ touch -r doc/tools/coqrst/regen_readme.py.orig doc/tools/coqrst/regen_readme.py
+ rm -f doc/tools/coqrst/regen_readme.py.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' doc/sphinx/conf.py
+ fixtimestamp doc/sphinx/conf.py
+ touch -r doc/sphinx/conf.py.orig doc/sphinx/conf.py
+ rm -f doc/sphinx/conf.py.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/primitive/float/gen_compare.sh
+ fixtimestamp test-suite/primitive/float/gen_compare.sh
+ touch -r test-suite/primitive/float/gen_compare.sh.orig test-suite/primitive/float/gen_compare.sh
+ rm -f test-suite/primitive/float/gen_compare.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/report.sh
+ fixtimestamp test-suite/report.sh
+ touch -r test-suite/report.sh.orig test-suite/report.sh
+ rm -f test-suite/report.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/tools/update-compat/run.sh
+ fixtimestamp test-suite/tools/update-compat/run.sh
+ touch -r test-suite/tools/update-compat/run.sh.orig test-suite/tools/update-compat/run.sh
+ rm -f test-suite/tools/update-compat/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/bug_14550.sh
+ fixtimestamp test-suite/misc/bug_14550.sh
+ touch -r test-suite/misc/bug_14550.sh.orig test-suite/misc/bug_14550.sh
+ rm -f test-suite/misc/bug_14550.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/qed-time.sh
+ fixtimestamp test-suite/misc/qed-time.sh
+ touch -r test-suite/misc/qed-time.sh.orig test-suite/misc/qed-time.sh
+ rm -f test-suite/misc/qed-time.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/coqdoc-options.sh
+ fixtimestamp test-suite/misc/coqdoc-options.sh
+ touch -r test-suite/misc/coqdoc-options.sh.orig test-suite/misc/coqdoc-options.sh
+ rm -f test-suite/misc/coqdoc-options.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/coq_makefile_destination_of.sh
+ fixtimestamp test-suite/misc/coq_makefile_destination_of.sh
+ touch -r test-suite/misc/coq_makefile_destination_of.sh.orig test-suite/misc/coq_makefile_destination_of.sh
+ rm -f test-suite/misc/coq_makefile_destination_of.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/changelog.sh
+ fixtimestamp test-suite/misc/changelog.sh
+ touch -r test-suite/misc/changelog.sh.orig test-suite/misc/changelog.sh
+ rm -f test-suite/misc/changelog.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/coqdep-require-filter-categories.sh
+ fixtimestamp test-suite/misc/coqdep-require-filter-categories.sh
+ touch -r test-suite/misc/coqdep-require-filter-categories.sh.orig test-suite/misc/coqdep-require-filter-categories.sh
+ rm -f test-suite/misc/coqdep-require-filter-categories.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/tc_declaration_observer.sh
+ fixtimestamp test-suite/misc/tc_declaration_observer.sh
+ touch -r test-suite/misc/tc_declaration_observer.sh.orig test-suite/misc/tc_declaration_observer.sh
+ rm -f test-suite/misc/tc_declaration_observer.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/7704.sh
+ fixtimestamp test-suite/misc/7704.sh
+ touch -r test-suite/misc/7704.sh.orig test-suite/misc/7704.sh
+ rm -f test-suite/misc/7704.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/vio_checking.sh
+ fixtimestamp test-suite/misc/vio_checking.sh
+ touch -r test-suite/misc/vio_checking.sh.orig test-suite/misc/vio_checking.sh
+ rm -f test-suite/misc/vio_checking.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/coqtop_print-mod-uid.sh
+ fixtimestamp test-suite/misc/coqtop_print-mod-uid.sh
+ touch -r test-suite/misc/coqtop_print-mod-uid.sh.orig test-suite/misc/coqtop_print-mod-uid.sh
+ rm -f test-suite/misc/coqtop_print-mod-uid.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/non-marshalable-state.sh
+ fixtimestamp test-suite/misc/non-marshalable-state.sh
+ touch -r test-suite/misc/non-marshalable-state.sh.orig test-suite/misc/non-marshalable-state.sh
+ rm -f test-suite/misc/non-marshalable-state.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/quotation_token.sh
+ fixtimestamp test-suite/misc/quotation_token.sh
+ touch -r test-suite/misc/quotation_token.sh.orig test-suite/misc/quotation_token.sh
+ rm -f test-suite/misc/quotation_token.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/11170.sh
+ fixtimestamp test-suite/misc/11170.sh
+ touch -r test-suite/misc/11170.sh.orig test-suite/misc/11170.sh
+ rm -f test-suite/misc/11170.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/coqc_dash_vok.sh
+ fixtimestamp test-suite/misc/coqc_dash_vok.sh
+ touch -r test-suite/misc/coqc_dash_vok.sh.orig test-suite/misc/coqc_dash_vok.sh
+ rm -f test-suite/misc/coqc_dash_vok.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/bench-render.sh
+ fixtimestamp test-suite/misc/bench-render.sh
+ touch -r test-suite/misc/bench-render.sh.orig test-suite/misc/bench-render.sh
+ rm -f test-suite/misc/bench-render.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/redirect_printing.sh
+ fixtimestamp test-suite/misc/redirect_printing.sh
+ touch -r test-suite/misc/redirect_printing.sh.orig test-suite/misc/redirect_printing.sh
+ rm -f test-suite/misc/redirect_printing.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/coq_environment.sh
+ fixtimestamp test-suite/misc/coq_environment.sh
+ touch -r test-suite/misc/coq_environment.sh.orig test-suite/misc/coq_environment.sh
+ rm -f test-suite/misc/coq_environment.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/coqc_dash_o.sh
+ fixtimestamp test-suite/misc/coqc_dash_o.sh
+ touch -r test-suite/misc/coqc_dash_o.sh.orig test-suite/misc/coqc_dash_o.sh
+ rm -f test-suite/misc/coqc_dash_o.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/universes/build_all_stdlib.sh
+ fixtimestamp test-suite/misc/universes/build_all_stdlib.sh
+ touch -r test-suite/misc/universes/build_all_stdlib.sh.orig test-suite/misc/universes/build_all_stdlib.sh
+ rm -f test-suite/misc/universes/build_all_stdlib.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/side-eff-leak-univs.sh
+ fixtimestamp test-suite/misc/side-eff-leak-univs.sh
+ touch -r test-suite/misc/side-eff-leak-univs.sh.orig test-suite/misc/side-eff-leak-univs.sh
+ rm -f test-suite/misc/side-eff-leak-univs.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/13330.sh
+ fixtimestamp test-suite/misc/13330.sh
+ touch -r test-suite/misc/13330.sh.orig test-suite/misc/13330.sh
+ rm -f test-suite/misc/13330.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/misc/poly-capture-global-univs.sh
+ fixtimestamp test-suite/misc/poly-capture-global-univs.sh
+ touch -r test-suite/misc/poly-capture-global-univs.sh.orig test-suite/misc/poly-capture-global-univs.sh
+ rm -f test-suite/misc/poly-capture-global-univs.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/missing-required/run.sh
+ fixtimestamp test-suite/coq-makefile/missing-required/run.sh
+ touch -r test-suite/coq-makefile/missing-required/run.sh.orig test-suite/coq-makefile/missing-required/run.sh
+ rm -f test-suite/coq-makefile/missing-required/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/arg/run.sh
+ fixtimestamp test-suite/coq-makefile/arg/run.sh
+ touch -r test-suite/coq-makefile/arg/run.sh.orig test-suite/coq-makefile/arg/run.sh
+ rm -f test-suite/coq-makefile/arg/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/coqdoc2/run.sh
+ fixtimestamp test-suite/coq-makefile/coqdoc2/run.sh
+ touch -r test-suite/coq-makefile/coqdoc2/run.sh.orig test-suite/coq-makefile/coqdoc2/run.sh
+ rm -f test-suite/coq-makefile/coqdoc2/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/multiroot/run.sh
+ fixtimestamp test-suite/coq-makefile/multiroot/run.sh
+ touch -r test-suite/coq-makefile/multiroot/run.sh.orig test-suite/coq-makefile/multiroot/run.sh
+ rm -f test-suite/coq-makefile/multiroot/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/extend-subdirs/run.sh
+ fixtimestamp test-suite/coq-makefile/extend-subdirs/run.sh
+ touch -r test-suite/coq-makefile/extend-subdirs/run.sh.orig test-suite/coq-makefile/extend-subdirs/run.sh
+ rm -f test-suite/coq-makefile/extend-subdirs/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/coqdoc1/run.sh
+ fixtimestamp test-suite/coq-makefile/coqdoc1/run.sh
+ touch -r test-suite/coq-makefile/coqdoc1/run.sh.orig test-suite/coq-makefile/coqdoc1/run.sh
+ rm -f test-suite/coq-makefile/coqdoc1/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/only/run.sh
+ fixtimestamp test-suite/coq-makefile/only/run.sh
+ touch -r test-suite/coq-makefile/only/run.sh.orig test-suite/coq-makefile/only/run.sh
+ rm -f test-suite/coq-makefile/only/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/native4/run.sh
+ fixtimestamp test-suite/coq-makefile/native4/run.sh
+ touch -r test-suite/coq-makefile/native4/run.sh.orig test-suite/coq-makefile/native4/run.sh
+ rm -f test-suite/coq-makefile/native4/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/native3/run.sh
+ fixtimestamp test-suite/coq-makefile/native3/run.sh
+ touch -r test-suite/coq-makefile/native3/run.sh.orig test-suite/coq-makefile/native3/run.sh
+ rm -f test-suite/coq-makefile/native3/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/mlpack2/run.sh
+ fixtimestamp test-suite/coq-makefile/mlpack2/run.sh
+ touch -r test-suite/coq-makefile/mlpack2/run.sh.orig test-suite/coq-makefile/mlpack2/run.sh
+ rm -f test-suite/coq-makefile/mlpack2/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/findlib-package-unpacked/run.sh
+ fixtimestamp test-suite/coq-makefile/findlib-package-unpacked/run.sh
+ touch -r test-suite/coq-makefile/findlib-package-unpacked/run.sh.orig test-suite/coq-makefile/findlib-package-unpacked/run.sh
+ rm -f test-suite/coq-makefile/findlib-package-unpacked/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/missing-install/run.sh
+ fixtimestamp test-suite/coq-makefile/missing-install/run.sh
+ touch -r test-suite/coq-makefile/missing-install/run.sh.orig test-suite/coq-makefile/missing-install/run.sh
+ rm -f test-suite/coq-makefile/missing-install/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/expand-directories/run.sh
+ fixtimestamp test-suite/coq-makefile/expand-directories/run.sh
+ touch -r test-suite/coq-makefile/expand-directories/run.sh.orig test-suite/coq-makefile/expand-directories/run.sh
+ rm -f test-suite/coq-makefile/expand-directories/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/expand-directories2/run.sh
+ fixtimestamp test-suite/coq-makefile/expand-directories2/run.sh
+ touch -r test-suite/coq-makefile/expand-directories2/run.sh.orig test-suite/coq-makefile/expand-directories2/run.sh
+ rm -f test-suite/coq-makefile/expand-directories2/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/findlib-package/run.sh
+ fixtimestamp test-suite/coq-makefile/findlib-package/run.sh
+ touch -r test-suite/coq-makefile/findlib-package/run.sh.orig test-suite/coq-makefile/findlib-package/run.sh
+ rm -f test-suite/coq-makefile/findlib-package/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/latex1/run.sh
+ fixtimestamp test-suite/coq-makefile/latex1/run.sh
+ touch -r test-suite/coq-makefile/latex1/run.sh.orig test-suite/coq-makefile/latex1/run.sh
+ rm -f test-suite/coq-makefile/latex1/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/merlin1/run.sh
+ fixtimestamp test-suite/coq-makefile/merlin1/run.sh
+ touch -r test-suite/coq-makefile/merlin1/run.sh.orig test-suite/coq-makefile/merlin1/run.sh
+ rm -f test-suite/coq-makefile/merlin1/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/native1/run.sh
+ fixtimestamp test-suite/coq-makefile/native1/run.sh
+ touch -r test-suite/coq-makefile/native1/run.sh.orig test-suite/coq-makefile/native1/run.sh
+ rm -f test-suite/coq-makefile/native1/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/native2/run.sh
+ fixtimestamp test-suite/coq-makefile/native2/run.sh
+ touch -r test-suite/coq-makefile/native2/run.sh.orig test-suite/coq-makefile/native2/run.sh
+ rm -f test-suite/coq-makefile/native2/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/run.sh
+ touch -r test-suite/coq-makefile/timing/run.sh.orig test-suite/coq-makefile/timing/run.sh
+ rm -f test-suite/coq-makefile/timing/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/precomputed-time-tests/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/precomputed-time-tests/run.sh
+ touch -r test-suite/coq-makefile/timing/precomputed-time-tests/run.sh.orig test-suite/coq-makefile/timing/precomputed-time-tests/run.sh
+ rm -f test-suite/coq-makefile/timing/precomputed-time-tests/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/run.sh
+ touch -r test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/run.sh.orig test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/run.sh
+ rm -f test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/run.sh
+ touch -r test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/run.sh.orig test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/run.sh
+ rm -f test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/run.sh
+ touch -r test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/run.sh.orig test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/run.sh
+ rm -f test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/run.sh
+ touch -r test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/run.sh.orig test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/run.sh
+ rm -f test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/run.sh
+ touch -r test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/run.sh.orig test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/run.sh
+ rm -f test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/run.sh
+ touch -r test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/run.sh.orig test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/run.sh
+ rm -f test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/precomputed-time-tests/008-strip-leading-pwd/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/precomputed-time-tests/008-strip-leading-pwd/run.sh
+ touch -r test-suite/coq-makefile/timing/precomputed-time-tests/008-strip-leading-pwd/run.sh.orig test-suite/coq-makefile/timing/precomputed-time-tests/008-strip-leading-pwd/run.sh
+ rm -f test-suite/coq-makefile/timing/precomputed-time-tests/008-strip-leading-pwd/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/timing/precomputed-time-tests/006-zero-before/run.sh
+ fixtimestamp test-suite/coq-makefile/timing/precomputed-time-tests/006-zero-before/run.sh
+ touch -r test-suite/coq-makefile/timing/precomputed-time-tests/006-zero-before/run.sh.orig test-suite/coq-makefile/timing/precomputed-time-tests/006-zero-before/run.sh
+ rm -f test-suite/coq-makefile/timing/precomputed-time-tests/006-zero-before/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/validate1/run.sh
+ fixtimestamp test-suite/coq-makefile/validate1/run.sh
+ touch -r test-suite/coq-makefile/validate1/run.sh.orig test-suite/coq-makefile/validate1/run.sh
+ rm -f test-suite/coq-makefile/validate1/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/vio2vo/run.sh
+ fixtimestamp test-suite/coq-makefile/vio2vo/run.sh
+ touch -r test-suite/coq-makefile/vio2vo/run.sh.orig test-suite/coq-makefile/vio2vo/run.sh
+ rm -f test-suite/coq-makefile/vio2vo/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/uninstall2/run.sh
+ fixtimestamp test-suite/coq-makefile/uninstall2/run.sh
+ touch -r test-suite/coq-makefile/uninstall2/run.sh.orig test-suite/coq-makefile/uninstall2/run.sh
+ rm -f test-suite/coq-makefile/uninstall2/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/uninstall1/run.sh
+ fixtimestamp test-suite/coq-makefile/uninstall1/run.sh
+ touch -r test-suite/coq-makefile/uninstall1/run.sh.orig test-suite/coq-makefile/uninstall1/run.sh
+ rm -f test-suite/coq-makefile/uninstall1/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/quick2vo/run.sh
+ fixtimestamp test-suite/coq-makefile/quick2vo/run.sh
+ touch -r test-suite/coq-makefile/quick2vo/run.sh.orig test-suite/coq-makefile/quick2vo/run.sh
+ rm -f test-suite/coq-makefile/quick2vo/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/mlpack1/run.sh
+ fixtimestamp test-suite/coq-makefile/mlpack1/run.sh
+ touch -r test-suite/coq-makefile/mlpack1/run.sh.orig test-suite/coq-makefile/mlpack1/run.sh
+ rm -f test-suite/coq-makefile/mlpack1/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/plugin3/run.sh
+ fixtimestamp test-suite/coq-makefile/plugin3/run.sh
+ touch -r test-suite/coq-makefile/plugin3/run.sh.orig test-suite/coq-makefile/plugin3/run.sh
+ rm -f test-suite/coq-makefile/plugin3/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/local-late-extension/run.sh
+ fixtimestamp test-suite/coq-makefile/local-late-extension/run.sh
+ touch -r test-suite/coq-makefile/local-late-extension/run.sh.orig test-suite/coq-makefile/local-late-extension/run.sh
+ rm -f test-suite/coq-makefile/local-late-extension/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/plugin2/run.sh
+ fixtimestamp test-suite/coq-makefile/plugin2/run.sh
+ touch -r test-suite/coq-makefile/plugin2/run.sh.orig test-suite/coq-makefile/plugin2/run.sh
+ rm -f test-suite/coq-makefile/plugin2/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/gen-v-during-make/run.sh
+ fixtimestamp test-suite/coq-makefile/gen-v-during-make/run.sh
+ touch -r test-suite/coq-makefile/gen-v-during-make/run.sh.orig test-suite/coq-makefile/gen-v-during-make/run.sh
+ rm -f test-suite/coq-makefile/gen-v-during-make/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/vos/run.sh
+ fixtimestamp test-suite/coq-makefile/vos/run.sh
+ touch -r test-suite/coq-makefile/vos/run.sh.orig test-suite/coq-makefile/vos/run.sh
+ rm -f test-suite/coq-makefile/vos/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/missing-included/run.sh
+ fixtimestamp test-suite/coq-makefile/missing-included/run.sh
+ touch -r test-suite/coq-makefile/missing-included/run.sh.orig test-suite/coq-makefile/missing-included/run.sh
+ rm -f test-suite/coq-makefile/missing-included/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/camldep/run.sh
+ fixtimestamp test-suite/coq-makefile/camldep/run.sh
+ touch -r test-suite/coq-makefile/camldep/run.sh.orig test-suite/coq-makefile/camldep/run.sh
+ rm -f test-suite/coq-makefile/camldep/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/emptyprefix/run.sh
+ fixtimestamp test-suite/coq-makefile/emptyprefix/run.sh
+ touch -r test-suite/coq-makefile/emptyprefix/run.sh.orig test-suite/coq-makefile/emptyprefix/run.sh
+ rm -f test-suite/coq-makefile/emptyprefix/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' test-suite/coq-makefile/plugin1/run.sh
+ fixtimestamp test-suite/coq-makefile/plugin1/run.sh
+ touch -r test-suite/coq-makefile/plugin1/run.sh.orig test-suite/coq-makefile/plugin1/run.sh
+ rm -f test-suite/coq-makefile/plugin1/run.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' tools/make-both-time-files.py
+ fixtimestamp tools/make-both-time-files.py
+ touch -r tools/make-both-time-files.py.orig tools/make-both-time-files.py
+ rm -f tools/make-both-time-files.py.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' tools/make-one-time-file.py
+ fixtimestamp tools/make-one-time-file.py
+ touch -r tools/make-one-time-file.py.orig tools/make-one-time-file.py
+ rm -f tools/make-one-time-file.py.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' tools/make-both-single-timing-files.py
+ fixtimestamp tools/make-both-single-timing-files.py
+ touch -r tools/make-both-single-timing-files.py.orig tools/make-both-single-timing-files.py
+ rm -f tools/make-both-single-timing-files.py.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/shim/dune
+ fixtimestamp dev/shim/dune
+ touch -r dev/shim/dune.orig dev/shim/dune
+ rm -f dev/shim/dune.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/doc/profiling.txt
+ fixtimestamp dev/doc/profiling.txt
+ touch -r dev/doc/profiling.txt.orig dev/doc/profiling.txt
+ rm -f dev/doc/profiling.txt.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/lint-repository.sh
+ fixtimestamp dev/lint-repository.sh
+ touch -r dev/lint-repository.sh.orig dev/lint-repository.sh
+ rm -f dev/lint-repository.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/lint-commits.sh
+ fixtimestamp dev/lint-commits.sh
+ touch -r dev/lint-commits.sh.orig dev/lint-commits.sh
+ rm -f dev/lint-commits.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/merge-pr.sh
+ fixtimestamp dev/tools/merge-pr.sh
+ touch -r dev/tools/merge-pr.sh.orig dev/tools/merge-pr.sh
+ rm -f dev/tools/merge-pr.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/update-compat.py
+ fixtimestamp dev/tools/update-compat.py
+ touch -r dev/tools/update-compat.py.orig dev/tools/update-compat.py
+ rm -f dev/tools/update-compat.py.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/pin-ci.sh
+ fixtimestamp dev/tools/pin-ci.sh
+ touch -r dev/tools/pin-ci.sh.orig dev/tools/pin-ci.sh
+ rm -f dev/tools/pin-ci.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/create_overlays.sh
+ fixtimestamp dev/tools/create_overlays.sh
+ touch -r dev/tools/create_overlays.sh.orig dev/tools/create_overlays.sh
+ rm -f dev/tools/create_overlays.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/notify-upstream-pins.sh
+ fixtimestamp dev/tools/notify-upstream-pins.sh
+ touch -r dev/tools/notify-upstream-pins.sh.orig dev/tools/notify-upstream-pins.sh
+ rm -f dev/tools/notify-upstream-pins.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/check-eof-newline.sh
+ fixtimestamp dev/tools/check-eof-newline.sh
+ touch -r dev/tools/check-eof-newline.sh.orig dev/tools/check-eof-newline.sh
+ rm -f dev/tools/check-eof-newline.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/generate-release-changelog.sh
+ fixtimestamp dev/tools/generate-release-changelog.sh
+ touch -r dev/tools/generate-release-changelog.sh.orig dev/tools/generate-release-changelog.sh
+ rm -f dev/tools/generate-release-changelog.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/backport-pr.sh
+ fixtimestamp dev/tools/backport-pr.sh
+ touch -r dev/tools/backport-pr.sh.orig dev/tools/backport-pr.sh
+ rm -f dev/tools/backport-pr.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/make_git_revision.sh
+ fixtimestamp dev/tools/make_git_revision.sh
+ touch -r dev/tools/make_git_revision.sh.orig dev/tools/make_git_revision.sh
+ rm -f dev/tools/make_git_revision.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/list-contributors.sh
+ fixtimestamp dev/tools/list-contributors.sh
+ touch -r dev/tools/list-contributors.sh.orig dev/tools/list-contributors.sh
+ rm -f dev/tools/list-contributors.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/tools/check-overlays.sh
+ fixtimestamp dev/tools/check-overlays.sh
+ touch -r dev/tools/check-overlays.sh.orig dev/tools/check-overlays.sh
+ rm -f dev/tools/check-overlays.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/bench/sort-by-deps.sh
+ fixtimestamp dev/bench/sort-by-deps.sh
+ touch -r dev/bench/sort-by-deps.sh.orig dev/bench/sort-by-deps.sh
+ rm -f dev/bench/sort-by-deps.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/bench/plotter
+ fixtimestamp dev/bench/plotter
+ touch -r dev/bench/plotter.orig dev/bench/plotter
+ rm -f dev/bench/plotter.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/bench/sort-by-deps
+ fixtimestamp dev/bench/sort-by-deps
+ touch -r dev/bench/sort-by-deps.orig dev/bench/sort-by-deps
+ rm -f dev/bench/sort-by-deps.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/bench/bench.sh
+ fixtimestamp dev/bench/bench.sh
+ touch -r dev/bench/bench.sh.orig dev/bench/bench.sh
+ rm -f dev/bench/bench.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/dune-dbg.in
+ fixtimestamp dev/dune-dbg.in
+ touch -r dev/dune-dbg.in.orig dev/dune-dbg.in
+ rm -f dev/dune-dbg.in.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-cross_crypto.sh
+ fixtimestamp dev/ci/ci-cross_crypto.sh
+ touch -r dev/ci/ci-cross_crypto.sh.orig dev/ci/ci-cross_crypto.sh
+ rm -f dev/ci/ci-cross_crypto.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-coquelicot.sh
+ fixtimestamp dev/ci/ci-coquelicot.sh
+ touch -r dev/ci/ci-coquelicot.sh.orig dev/ci/ci-coquelicot.sh
+ rm -f dev/ci/ci-coquelicot.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-simple_io.sh
+ fixtimestamp dev/ci/ci-simple_io.sh
+ touch -r dev/ci/ci-simple_io.sh.orig dev/ci/ci-simple_io.sh
+ rm -f dev/ci/ci-simple_io.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-engine_bench.sh
+ fixtimestamp dev/ci/ci-engine_bench.sh
+ touch -r dev/ci/ci-engine_bench.sh.orig dev/ci/ci-engine_bench.sh
+ rm -f dev/ci/ci-engine_bench.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-bigenough.sh
+ fixtimestamp dev/ci/ci-bigenough.sh
+ touch -r dev/ci/ci-bigenough.sh.orig dev/ci/ci-bigenough.sh
+ rm -f dev/ci/ci-bigenough.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-deriving.sh
+ fixtimestamp dev/ci/ci-deriving.sh
+ touch -r dev/ci/ci-deriving.sh.orig dev/ci/ci-deriving.sh
+ rm -f dev/ci/ci-deriving.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-quickchick.sh
+ fixtimestamp dev/ci/ci-quickchick.sh
+ touch -r dev/ci/ci-quickchick.sh.orig dev/ci/ci-quickchick.sh
+ rm -f dev/ci/ci-quickchick.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-corn.sh
+ fixtimestamp dev/ci/ci-corn.sh
+ touch -r dev/ci/ci-corn.sh.orig dev/ci/ci-corn.sh
+ rm -f dev/ci/ci-corn.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-reduction_effects.sh
+ fixtimestamp dev/ci/ci-reduction_effects.sh
+ touch -r dev/ci/ci-reduction_effects.sh.orig dev/ci/ci-reduction_effects.sh
+ rm -f dev/ci/ci-reduction_effects.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-tactician.sh
+ fixtimestamp dev/ci/ci-tactician.sh
+ touch -r dev/ci/ci-tactician.sh.orig dev/ci/ci-tactician.sh
+ rm -f dev/ci/ci-tactician.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-ltac2_compiler.sh
+ fixtimestamp dev/ci/ci-ltac2_compiler.sh
+ touch -r dev/ci/ci-ltac2_compiler.sh.orig dev/ci/ci-ltac2_compiler.sh
+ rm -f dev/ci/ci-ltac2_compiler.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-fourcolor.sh
+ fixtimestamp dev/ci/ci-fourcolor.sh
+ touch -r dev/ci/ci-fourcolor.sh.orig dev/ci/ci-fourcolor.sh
+ rm -f dev/ci/ci-fourcolor.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-autosubst.sh
+ fixtimestamp dev/ci/ci-autosubst.sh
+ touch -r dev/ci/ci-autosubst.sh.orig dev/ci/ci-autosubst.sh
+ rm -f dev/ci/ci-autosubst.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-vscoq.sh
+ fixtimestamp dev/ci/ci-vscoq.sh
+ touch -r dev/ci/ci-vscoq.sh.orig dev/ci/ci-vscoq.sh
+ rm -f dev/ci/ci-vscoq.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-perennial.sh
+ fixtimestamp dev/ci/ci-perennial.sh
+ touch -r dev/ci/ci-perennial.sh.orig dev/ci/ci-perennial.sh
+ rm -f dev/ci/ci-perennial.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-paramcoq.sh
+ fixtimestamp dev/ci/ci-paramcoq.sh
+ touch -r dev/ci/ci-paramcoq.sh.orig dev/ci/ci-paramcoq.sh
+ rm -f dev/ci/ci-paramcoq.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-hott.sh
+ fixtimestamp dev/ci/ci-hott.sh
+ touch -r dev/ci/ci-hott.sh.orig dev/ci/ci-hott.sh
+ rm -f dev/ci/ci-hott.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-coqtail.sh
+ fixtimestamp dev/ci/ci-coqtail.sh
+ touch -r dev/ci/ci-coqtail.sh.orig dev/ci/ci-coqtail.sh
+ rm -f dev/ci/ci-coqtail.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-bedrock2.sh
+ fixtimestamp dev/ci/ci-bedrock2.sh
+ touch -r dev/ci/ci-bedrock2.sh.orig dev/ci/ci-bedrock2.sh
+ rm -f dev/ci/ci-bedrock2.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-coqprime.sh
+ fixtimestamp dev/ci/ci-coqprime.sh
+ touch -r dev/ci/ci-coqprime.sh.orig dev/ci/ci-coqprime.sh
+ rm -f dev/ci/ci-coqprime.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-itree.sh
+ fixtimestamp dev/ci/ci-itree.sh
+ touch -r dev/ci/ci-itree.sh.orig dev/ci/ci-itree.sh
+ rm -f dev/ci/ci-itree.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-common.sh
+ fixtimestamp dev/ci/ci-common.sh
+ touch -r dev/ci/ci-common.sh.orig dev/ci/ci-common.sh
+ rm -f dev/ci/ci-common.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-serapi_test.sh
+ fixtimestamp dev/ci/ci-serapi_test.sh
+ touch -r dev/ci/ci-serapi_test.sh.orig dev/ci/ci-serapi_test.sh
+ rm -f dev/ci/ci-serapi_test.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-wrapper.sh
+ fixtimestamp dev/ci/ci-wrapper.sh
+ touch -r dev/ci/ci-wrapper.sh.orig dev/ci/ci-wrapper.sh
+ rm -f dev/ci/ci-wrapper.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-iris.sh
+ fixtimestamp dev/ci/ci-iris.sh
+ touch -r dev/ci/ci-iris.sh.orig dev/ci/ci-iris.sh
+ rm -f dev/ci/ci-iris.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-basic-overlay.sh
+ fixtimestamp dev/ci/ci-basic-overlay.sh
+ touch -r dev/ci/ci-basic-overlay.sh.orig dev/ci/ci-basic-overlay.sh
+ rm -f dev/ci/ci-basic-overlay.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-smtcoq.sh
+ fixtimestamp dev/ci/ci-smtcoq.sh
+ touch -r dev/ci/ci-smtcoq.sh.orig dev/ci/ci-smtcoq.sh
+ rm -f dev/ci/ci-smtcoq.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-hb_test.sh
+ fixtimestamp dev/ci/ci-hb_test.sh
+ touch -r dev/ci/ci-hb_test.sh.orig dev/ci/ci-hb_test.sh
+ rm -f dev/ci/ci-hb_test.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-jasmin.sh
+ fixtimestamp dev/ci/ci-jasmin.sh
+ touch -r dev/ci/ci-jasmin.sh.orig dev/ci/ci-jasmin.sh
+ rm -f dev/ci/ci-jasmin.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-compcert.sh
+ fixtimestamp dev/ci/ci-compcert.sh
+ touch -r dev/ci/ci-compcert.sh.orig dev/ci/ci-compcert.sh
+ rm -f dev/ci/ci-compcert.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-elpi_hb.sh
+ fixtimestamp dev/ci/ci-elpi_hb.sh
+ touch -r dev/ci/ci-elpi_hb.sh.orig dev/ci/ci-elpi_hb.sh
+ rm -f dev/ci/ci-elpi_hb.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-flocq.sh
+ fixtimestamp dev/ci/ci-flocq.sh
+ touch -r dev/ci/ci-flocq.sh.orig dev/ci/ci-flocq.sh
+ rm -f dev/ci/ci-flocq.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-fiat_crypto_legacy.sh
+ fixtimestamp dev/ci/ci-fiat_crypto_legacy.sh
+ touch -r dev/ci/ci-fiat_crypto_legacy.sh.orig dev/ci/ci-fiat_crypto_legacy.sh
+ rm -f dev/ci/ci-fiat_crypto_legacy.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-geocoq.sh
+ fixtimestamp dev/ci/ci-geocoq.sh
+ touch -r dev/ci/ci-geocoq.sh.orig dev/ci/ci-geocoq.sh
+ rm -f dev/ci/ci-geocoq.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-fcsl_pcm.sh
+ fixtimestamp dev/ci/ci-fcsl_pcm.sh
+ touch -r dev/ci/ci-fcsl_pcm.sh.orig dev/ci/ci-fcsl_pcm.sh
+ rm -f dev/ci/ci-fcsl_pcm.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-unicoq.sh
+ fixtimestamp dev/ci/ci-unicoq.sh
+ touch -r dev/ci/ci-unicoq.sh.orig dev/ci/ci-unicoq.sh
+ rm -f dev/ci/ci-unicoq.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-color.sh
+ fixtimestamp dev/ci/ci-color.sh
+ touch -r dev/ci/ci-color.sh.orig dev/ci/ci-color.sh
+ rm -f dev/ci/ci-color.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-coq_library_undecidability.sh
+ fixtimestamp dev/ci/ci-coq_library_undecidability.sh
+ touch -r dev/ci/ci-coq_library_undecidability.sh.orig dev/ci/ci-coq_library_undecidability.sh
+ rm -f dev/ci/ci-coq_library_undecidability.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-coq_lsp.sh
+ fixtimestamp dev/ci/ci-coq_lsp.sh
+ touch -r dev/ci/ci-coq_lsp.sh.orig dev/ci/ci-coq_lsp.sh
+ rm -f dev/ci/ci-coq_lsp.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-equations.sh
+ fixtimestamp dev/ci/ci-equations.sh
+ touch -r dev/ci/ci-equations.sh.orig dev/ci/ci-equations.sh
+ rm -f dev/ci/ci-equations.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-bignums.sh
+ fixtimestamp dev/ci/ci-bignums.sh
+ touch -r dev/ci/ci-bignums.sh.orig dev/ci/ci-bignums.sh
+ rm -f dev/ci/ci-bignums.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-mathcomp.sh
+ fixtimestamp dev/ci/ci-mathcomp.sh
+ touch -r dev/ci/ci-mathcomp.sh.orig dev/ci/ci-mathcomp.sh
+ rm -f dev/ci/ci-mathcomp.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-equations_test.sh
+ fixtimestamp dev/ci/ci-equations_test.sh
+ touch -r dev/ci/ci-equations_test.sh.orig dev/ci/ci-equations_test.sh
+ rm -f dev/ci/ci-equations_test.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-elpi_test.sh
+ fixtimestamp dev/ci/ci-elpi_test.sh
+ touch -r dev/ci/ci-elpi_test.sh.orig dev/ci/ci-elpi_test.sh
+ rm -f dev/ci/ci-elpi_test.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-math_classes.sh
+ fixtimestamp dev/ci/ci-math_classes.sh
+ touch -r dev/ci/ci-math_classes.sh.orig dev/ci/ci-math_classes.sh
+ rm -f dev/ci/ci-math_classes.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-aac_tactics.sh
+ fixtimestamp dev/ci/ci-aac_tactics.sh
+ touch -r dev/ci/ci-aac_tactics.sh.orig dev/ci/ci-aac_tactics.sh
+ rm -f dev/ci/ci-aac_tactics.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-coq_performance_tests.sh
+ fixtimestamp dev/ci/ci-coq_performance_tests.sh
+ touch -r dev/ci/ci-coq_performance_tests.sh.orig dev/ci/ci-coq_performance_tests.sh
+ rm -f dev/ci/ci-coq_performance_tests.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-category_theory.sh
+ fixtimestamp dev/ci/ci-category_theory.sh
+ touch -r dev/ci/ci-category_theory.sh.orig dev/ci/ci-category_theory.sh
+ rm -f dev/ci/ci-category_theory.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-relation_algebra.sh
+ fixtimestamp dev/ci/ci-relation_algebra.sh
+ touch -r dev/ci/ci-relation_algebra.sh.orig dev/ci/ci-relation_algebra.sh
+ rm -f dev/ci/ci-relation_algebra.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-analysis.sh
+ fixtimestamp dev/ci/ci-analysis.sh
+ touch -r dev/ci/ci-analysis.sh.orig dev/ci/ci-analysis.sh
+ rm -f dev/ci/ci-analysis.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-mathcomp_word.sh
+ fixtimestamp dev/ci/ci-mathcomp_word.sh
+ touch -r dev/ci/ci-mathcomp_word.sh.orig dev/ci/ci-mathcomp_word.sh
+ rm -f dev/ci/ci-mathcomp_word.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-itauto.sh
+ fixtimestamp dev/ci/ci-itauto.sh
+ touch -r dev/ci/ci-itauto.sh.orig dev/ci/ci-itauto.sh
+ rm -f dev/ci/ci-itauto.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-bbv.sh
+ fixtimestamp dev/ci/ci-bbv.sh
+ touch -r dev/ci/ci-bbv.sh.orig dev/ci/ci-bbv.sh
+ rm -f dev/ci/ci-bbv.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-argosy.sh
+ fixtimestamp dev/ci/ci-argosy.sh
+ touch -r dev/ci/ci-argosy.sh.orig dev/ci/ci-argosy.sh
+ rm -f dev/ci/ci-argosy.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/nix/shell
+ fixtimestamp dev/ci/nix/shell
+ touch -r dev/ci/nix/shell.orig dev/ci/nix/shell
+ rm -f dev/ci/nix/shell.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-tlc.sh
+ fixtimestamp dev/ci/ci-tlc.sh
+ touch -r dev/ci/ci-tlc.sh.orig dev/ci/ci-tlc.sh
+ rm -f dev/ci/ci-tlc.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-stdlib2.sh
+ fixtimestamp dev/ci/ci-stdlib2.sh
+ touch -r dev/ci/ci-stdlib2.sh.orig dev/ci/ci-stdlib2.sh
+ rm -f dev/ci/ci-stdlib2.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-stalmarck.sh
+ fixtimestamp dev/ci/ci-stalmarck.sh
+ touch -r dev/ci/ci-stalmarck.sh.orig dev/ci/ci-stalmarck.sh
+ rm -f dev/ci/ci-stalmarck.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-sf.sh
+ fixtimestamp dev/ci/ci-sf.sh
+ touch -r dev/ci/ci-sf.sh.orig dev/ci/ci-sf.sh
+ rm -f dev/ci/ci-sf.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-menhir.sh
+ fixtimestamp dev/ci/ci-menhir.sh
+ touch -r dev/ci/ci-menhir.sh.orig dev/ci/ci-menhir.sh
+ rm -f dev/ci/ci-menhir.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-fiat_crypto.sh
+ fixtimestamp dev/ci/ci-fiat_crypto.sh
+ touch -r dev/ci/ci-fiat_crypto.sh.orig dev/ci/ci-fiat_crypto.sh
+ rm -f dev/ci/ci-fiat_crypto.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-fiat_crypto_ocaml.sh
+ fixtimestamp dev/ci/ci-fiat_crypto_ocaml.sh
+ touch -r dev/ci/ci-fiat_crypto_ocaml.sh.orig dev/ci/ci-fiat_crypto_ocaml.sh
+ rm -f dev/ci/ci-fiat_crypto_ocaml.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-mathcomp_test.sh
+ fixtimestamp dev/ci/ci-mathcomp_test.sh
+ touch -r dev/ci/ci-mathcomp_test.sh.orig dev/ci/ci-mathcomp_test.sh
+ rm -f dev/ci/ci-mathcomp_test.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-coq_tools.sh
+ fixtimestamp dev/ci/ci-coq_tools.sh
+ touch -r dev/ci/ci-coq_tools.sh.orig dev/ci/ci-coq_tools.sh
+ rm -f dev/ci/ci-coq_tools.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-lean_importer.sh
+ fixtimestamp dev/ci/ci-lean_importer.sh
+ touch -r dev/ci/ci-lean_importer.sh.orig dev/ci/ci-lean_importer.sh
+ rm -f dev/ci/ci-lean_importer.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-oddorder.sh
+ fixtimestamp dev/ci/ci-oddorder.sh
+ touch -r dev/ci/ci-oddorder.sh.orig dev/ci/ci-oddorder.sh
+ rm -f dev/ci/ci-oddorder.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-mtac2.sh
+ fixtimestamp dev/ci/ci-mtac2.sh
+ touch -r dev/ci/ci-mtac2.sh.orig dev/ci/ci-mtac2.sh
+ rm -f dev/ci/ci-mtac2.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-unimath.sh
+ fixtimestamp dev/ci/ci-unimath.sh
+ touch -r dev/ci/ci-unimath.sh.orig dev/ci/ci-unimath.sh
+ rm -f dev/ci/ci-unimath.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-serapi.sh
+ fixtimestamp dev/ci/ci-serapi.sh
+ touch -r dev/ci/ci-serapi.sh.orig dev/ci/ci-serapi.sh
+ rm -f dev/ci/ci-serapi.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-finmap.sh
+ fixtimestamp dev/ci/ci-finmap.sh
+ touch -r dev/ci/ci-finmap.sh.orig dev/ci/ci-finmap.sh
+ rm -f dev/ci/ci-finmap.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-verdi_raft.sh
+ fixtimestamp dev/ci/ci-verdi_raft.sh
+ touch -r dev/ci/ci-verdi_raft.sh.orig dev/ci/ci-verdi_raft.sh
+ rm -f dev/ci/ci-verdi_raft.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-rewriter.sh
+ fixtimestamp dev/ci/ci-rewriter.sh
+ touch -r dev/ci/ci-rewriter.sh.orig dev/ci/ci-rewriter.sh
+ rm -f dev/ci/ci-rewriter.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-ext_lib.sh
+ fixtimestamp dev/ci/ci-ext_lib.sh
+ touch -r dev/ci/ci-ext_lib.sh.orig dev/ci/ci-ext_lib.sh
+ rm -f dev/ci/ci-ext_lib.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-mczify.sh
+ fixtimestamp dev/ci/ci-mczify.sh
+ touch -r dev/ci/ci-mczify.sh.orig dev/ci/ci-mczify.sh
+ rm -f dev/ci/ci-mczify.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-fiat_parsers.sh
+ fixtimestamp dev/ci/ci-fiat_parsers.sh
+ touch -r dev/ci/ci-fiat_parsers.sh.orig dev/ci/ci-fiat_parsers.sh
+ rm -f dev/ci/ci-fiat_parsers.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-vst.sh
+ fixtimestamp dev/ci/ci-vst.sh
+ touch -r dev/ci/ci-vst.sh.orig dev/ci/ci-vst.sh
+ rm -f dev/ci/ci-vst.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-metacoq.sh
+ fixtimestamp dev/ci/ci-metacoq.sh
+ touch -r dev/ci/ci-metacoq.sh.orig dev/ci/ci-metacoq.sh
+ rm -f dev/ci/ci-metacoq.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-coqhammer.sh
+ fixtimestamp dev/ci/ci-coqhammer.sh
+ touch -r dev/ci/ci-coqhammer.sh.orig dev/ci/ci-coqhammer.sh
+ rm -f dev/ci/ci-coqhammer.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-coq_dpdgraph.sh
+ fixtimestamp dev/ci/ci-coq_dpdgraph.sh
+ touch -r dev/ci/ci-coq_dpdgraph.sh.orig dev/ci/ci-coq_dpdgraph.sh
+ rm -f dev/ci/ci-coq_dpdgraph.sh.orig
+ for f in $(grep -Frl '/usr/bin/env')
+ sed -r -i.orig 's,(/usr/bin/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' dev/ci/ci-paco.sh
+ fixtimestamp dev/ci/ci-paco.sh
+ touch -r dev/ci/ci-paco.sh.orig dev/ci/ci-paco.sh
+ rm -f dev/ci/ci-paco.sh.orig
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.U8LIyr
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-8.18.0
+ cd doc/tools/coqrst/notations
+ antlr4 -Dlanguage=Python3 -visitor -no-listener TacticNotations.g
Error occurred during initialization of VM
Unsupported satp mode: sv57. Only satp modes up to sv48 are supported for now.
RPM build errors:
error: Bad exit status from /var/tmp/rpm-tmp.U8LIyr (%build)
    Bad exit status from /var/tmp/rpm-tmp.U8LIyr (%build)
Child return code was: 1
EXCEPTION: [Error('Command failed: \n # bash --login -c /usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/coq.spec\n', 1)]
Traceback (most recent call last):
  File "/usr/lib/python3.11/site-packages/mockbuild/trace_decorator.py", line 93, in trace
    result = func(*args, **kw)
             ^^^^^^^^^^^^^^^^^
  File "/usr/lib/python3.11/site-packages/mockbuild/util.py", line 597, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # bash --login -c /usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/coq.spec