Name Last modified Size
Parent Directory - dune-configurator-2.8.4.ebuild 2022-07-06 15:40 4.0K dune-configurator-2.9.1.ebuild 2022-11-19 03:10 4.0K dune-configurator-3.6.1.ebuild 2023-03-17 23:40 867 dune-configurator-3.7.1.ebuild 2023-05-21 02:10 871 dune-configurator-3.10.0.ebuild 2023-08-03 05:10 872 dune-configurator-2.9.3.ebuild 2023-08-16 22:40 639 metadata.xml 2024-02-14 19:42 308 Manifest 2024-06-04 15:41 3.9K