This repository was archived by the owner on Feb 20, 2025. It is now read-only.

0.0.3

mbarbin released this 14 Feb 17:03

· 48 commits to main since this release

88ab070

CHANGES:

Changed

Upgrade dune to 3.14.
Build the doc with sherlodoc available to enable the doc search bar.

Assets 3