MD5 (Bit-Vector-Minimal-1.3.tar.gz) = e9ee7c2fde31d55f36ecaa75ace81f02
SHA256 (Bit-Vector-Minimal-1.3.tar.gz) = 0394f09bd0049fbfff6353965f203dc8603cfc60cebea92ba0f67af37160eaf6
SIZE (Bit-Vector-Minimal-1.3.tar.gz) = 3002