=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq", "all", "BATCH=1", "DEPENDS_TARGET=/nonexistent", "PYTHON_VERSION_REQD=313"]
===> Building for coq-8.20.1nb8
dune build  --root . theories_dune ltac2_dune
touch .dune-stamp
cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune
cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune
/bin/sh: 441155: Killed