distinfo

SHA1 (sot-dynamic-pinocchio-v3-3.2.4.tar.gz) = a8f67a5775e08d25d8b5c35ec931114b763b7ec7
RMD160 (sot-dynamic-pinocchio-v3-3.2.4.tar.gz) = 8a30c57a7d9aa0bb4d49874206e29093e53f23b8
Size (sot-dynamic-pinocchio-v3-3.2.4.tar.gz) = 860812 bytes