Read-only release history for Bit-Vector-Minimal