This repository was archived by the owner on Mar 16, 2026. It is now read-only.

Repository navigation

0.0.4

mbarbin released this 14 Feb 17:02

· 99 commits to main since this release

7fb126b

CHANGES:

Changed

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

Assets 3