Latest HopLib changes
7 months ago Earlier changes on GitHub