SHA256 (Bit-Vector-7.2.tar.gz) = 1gYw8OsDPtq/6QRBbG5zJP7/8TaZ6XMCNh0brYD2Lg8= SIZE (Bit-Vector-7.2.tar.gz) = 135586