+ local run_cmd
+ run_cmd=run_direct
+ shift
+ run_direct /usr/pkg/bin/bmake checksum BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=312 WRKLOG=/tmp/bulklog/coq-8.20.1nb2/work.log
+ /usr/pkg/bin/bmake checksum BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=312 WRKLOG=/tmp/bulklog/coq-8.20.1nb2/work.log
Fetching coq-8.20.1.tar.gz
Verification failed for https://github.com/coq/coq/archive/V8.20.1.tar.gz: Checksum BLAKE2s mismatch for coq-8.20.1.tar.gz: expected 0a4ce018fa53c7ab28036d4d3e092292b02d473ea150617262a46f18b61842c0, actual ceff5175c8e1c0bac04d5924f201f0659c5b0814e64066cfc72f10c5516c70ba
Downloaded 7.48 MiB in 7 seconds (1.14 MiB/s)
=> Checksum BLAKE2s OK for coq-8.20.1.tar.gz
=> Checksum SHA512 OK for coq-8.20.1.tar.gz