Read-only release history for Crypt-SEAL2