+ local run_cmd + run_cmd=run_direct + shift + run_direct /opt/pkg/bin/bmake checksum BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=39 WRKLOG=/tmp/bulklog/coq-8.15.2/work.log + /opt/pkg/bin/bmake checksum BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=39 WRKLOG=/tmp/bulklog/coq-8.15.2/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:00:01 --:--:-- 0 100 4881k 0 4881k 0 0 2294k 0 --:--:-- 0:00:02 --:--:-- 5138k 100 7053k 0 7053k 0 0 2771k 0 --:--:-- 0:00:02 --:--:-- 5159k => 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