Read-only release history for Acme-HaltingProblem