Code & tooling update

Latest

Latest

palainp released this 17 Oct 11:15

· 9 commits to main since this release

0.9.2 (2024-10-16)

Code refactoring and improvements (#197, @dinosaure)
Build tooling updates: opam 2.2.1, solo5 0.9, mirage 4.8.1 (#199, #201, #202, #203, @hannesm)

Contributors

hannesm and dinosaure

Assets 4