Latest HopLib changes Earlier changes on GitHub