This package provides the following libraries (via dune):
Documentation: Colibrics
Colibrics
Dependencies: zarith