=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-bulktest/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: 12295: Killed
*** Signal 9

Stop.
bmake[1]: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-bulktest/lang/coq
*** Error code 1

Stop.
bmake: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-bulktest/lang/coq