Source: coq Version: 8.17.0+dfsg-1 Severity: serious Hello,
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/coq.html As said here, there is a build failure due to probably new dune or something similar. I can reproduce locally, but not always, looks some concurrency issue but also running dune with -j1 doesn't fix the issue. $ (cd _build/default && /usr/bin/bash -e -u -o pipefail -c 'doc/stdlib/make-library-index doc/stdlib/index-list.html doc/stdlib/hidden-files') Building file index-list.prehtml... Error: none of doc/stdlib/index-list.html and doc/stdlib/hidden-files mention theories/Arith/Between.v grep: tmp: No such file or directory grep: tmp: No such file or directory This is probably the culprit of the issue, but I don't really understand why this is not found and also why running it manually works bash -e -u -o pipefail -c 'doc/stdlib/make-library-index doc/stdlib/index-list.html doc/stdlib/hidden-files' Building file index-list.prehtml... Done Sorry for not providing a patch, but I really don't have much knowledge about this build system, and despite my efforts I'm still failing G.
OpenPGP_signature.asc
Description: OpenPGP digital signature
