(lang dune 2.7)
(name dune)
(version v20200917-5228-g41e4fa8d6e)
(deprecated_library_name
 (old_public_name dune.configurator)
 (new_public_name dune-configurator))
