Index of /dev-ml/dune-configurator

 Name                               Last modified      Size  Description
 Parent Directory                                        -   
 metadata.xml                       2024-02-14 10:21  308   
 dune-configurator-3.21.1.ebuild    2026-02-16 22:47  621   
 dune-configurator-3.16.0-r1.ebuild 2024-09-30 20:44  795   
 dune-configurator-3.20.2.ebuild    2026-02-19 00:39  796   
 dune-configurator-3.16.1.ebuild    2024-11-16 17:26  800   
 dune-configurator-3.17.1.ebuild    2024-12-21 12:01  800   
 dune-configurator-3.18.1.ebuild    2025-04-20 19:22  800   
 dune-configurator-3.19.1-r1.ebuild 2026-02-17 15:51  800   
 Manifest                           2026-02-16 22:47  2.1K