$NetBSD: distinfo,v 1.2 2025/03/03 03:27:04 dholland Exp $

BLAKE2s (why3-1.8.0.tar.gz) = 34704a96ace3b7d6b795259ef6e06c03d6944d740af1c3b1f5567c108788863a
SHA512 (why3-1.8.0.tar.gz) = 8d30ac4a1280a7d7741ef862365e06aa3218a78fd01ca7f969f0d6515245c7259fcc81897bfe08c581c6b37639d1465ab4a96657f3baf4c747988df8201d4549
Size (why3-1.8.0.tar.gz) = 7373730 bytes
