This repository has been archived by the owner on Oct 1, 2023. It is now read-only.
2.5.1: slightly looser constraints on HSL-IO version
This release permits any 0.2.z release of HSL-IO, not just 0.2.0
This release permits any 0.2.z release of HSL-IO, not just 0.2.0