$NetBSD: distinfo,v 1.4 2023/01/09 06:39:38 khorben Exp $ BLAKE2s (PySMT-0.9.5.tar.gz) = 126a5cfcaaed9f885da8d28225d71ca1075db924086b904146a8d00e2dc03830 SHA512 (PySMT-0.9.5.tar.gz) = d1e3b4f9f7bc90c15ddcfbcf87e4d487acff9613ae48d56a91bd83ab1c929af8c15ced29f6b097a599f91b41bbfadcf89e4601edba2bdff36c80c41b7c5165bb Size (PySMT-0.9.5.tar.gz) = 1138859 bytes