+ local run_cmd + run_cmd=run_direct + shift + run_direct /opt/pkg/bin/bmake checksum BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/coq-8.15.2nb4/work.log + /opt/pkg/bin/bmake checksum BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/coq-8.15.2nb4/work.log => Bootstrap dependency digest>=20211023: found digest-20220214 => Fetching coq-8.15.2.tar.gz => Total size: 7222794 bytes % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 3569k 0 3569k 0 0 3279k 0 --:--:-- 0:00:01 --:--:-- 3279k 100 7053k 0 7053k 0 0 4101k 0 --:--:-- 0:00:01 --:--:-- 5521k => Checksum BLAKE2s OK for coq-8.15.2.tar.gz => Checksum SHA512 OK for coq-8.15.2.tar.gz => Checksum BLAKE2s OK for coq-8.15.2.tar.gz => Checksum SHA512 OK for coq-8.15.2.tar.gz