Latest HopLib changes
3 months ago Earlier changes on GitHub