Bit-Vector-Minimal-1.300.0-r2
