Index of /dev-ml/dune-configurator/

 Name                               Last modified      Size  
 Parent Directory                                        -   
 Manifest                           2026-02-19 00:41  4.5K  
 dune-configurator-3.16.0-r1.ebuild 2025-03-20 12:38  795   
 dune-configurator-3.16.1.ebuild    2025-03-20 12:38  800   
 dune-configurator-3.17.1.ebuild    2025-03-20 12:38  800   
 dune-configurator-3.18.1.ebuild    2025-04-20 20:03  800   
 dune-configurator-3.19.1-r1.ebuild 2026-02-17 16:11  800   
 dune-configurator-3.20.2.ebuild    2026-02-19 00:41  796   
 dune-configurator-3.21.1.ebuild    2026-02-16 23:10  621   
 metadata.xml                       2025-03-20 12:38  308