(lang dune 2.9)
(name dune)
(version v3.15.0_alpha20210804-5499-g08c05e591f-dirty)
(deprecated_library_name
 (old_public_name dune.configurator)
 (new_public_name dune-configurator))
