$NetBSD$

BLAKE2s (cadical-2.1.3.tar.gz) = 500c8512bbfcdbfc08ab2affeaf88f870cc18191b00441ba4c1de687fcd292d2
SHA512 (cadical-2.1.3.tar.gz) = 8bcd6a6a432ee219909e87613e026b8b6de309ad517e4fea1d8233716ed288ae127f3ac195f8f5504187e28c23295470a9d399ff62fbdc63532e5e9e4f9c864e
Size (cadical-2.1.3.tar.gz) = 731545 bytes
