Latest HopLib changes
5 months ago Earlier changes on GitHub