=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-trunk/devel/why3", "checksum", "BATCH=1", "DEPENDS_TARGET=/nonexistent"]
Fetching why3-1.8.2.tar.gz
Downloaded 7.02 MiB in 3 seconds (2.06 MiB/s)
=> Checksum BLAKE2s OK for why3-1.8.2.tar.gz
=> Checksum SHA512 OK for why3-1.8.2.tar.gz