=> Checksum BLAKE2s OK for PySMT-0.9.6.tar.gz
=> Checksum SHA512 OK for PySMT-0.9.6.tar.gz