Index of /dev-ml/dune-configurator

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 Manifest                          2023-08-02 21:02  3.6K  
 dune-configurator-2.8.4.ebuild    2022-07-06 07:34  4.0K  
 dune-configurator-2.9.1.ebuild    2022-11-18 18:08  4.0K  
 dune-configurator-2.9.3.ebuild    2023-08-16 14:42  639   
 dune-configurator-3.0.3-r1.ebuild 2022-11-21 13:44  939   
 dune-configurator-3.2.0.ebuild    2022-11-22 19:50  870   
 dune-configurator-3.6.1.ebuild    2023-03-17 14:46  867   
 dune-configurator-3.7.0.ebuild    2023-03-01 19:01  872   
 dune-configurator-3.7.1.ebuild    2023-05-20 18:10  871   
 dune-configurator-3.8.0.ebuild    2023-05-23 20:53  872   
 dune-configurator-3.9.0.ebuild    2023-07-03 20:19  872   
 dune-configurator-3.9.1.ebuild    2023-07-11 18:36  872   
 dune-configurator-3.10.0.ebuild   2023-08-02 21:02  872   
 metadata.xml                      2024-02-14 10:21  308