Index of /gentoo-portage/dev-ml/dune-configurator
Name Last modified Size Description
Parent Directory -
dune-configurator-2.8.4.ebuild 2022-07-06 08:40 4.0K
dune-configurator-2.9.1.ebuild 2022-11-18 19:10 4.0K
dune-configurator-3.6.1.ebuild 2023-03-17 15:40 867
dune-configurator-3.7.1.ebuild 2023-05-20 19:10 871
dune-configurator-3.10.0.ebuild 2023-08-02 22:10 872
dune-configurator-2.9.3.ebuild 2023-08-16 15:40 639
metadata.xml 2024-02-14 11:42 308
Manifest 2024-06-04 08:41 3.9K
Apache/2.4.41 (Ubuntu) Server at www.gnu.ftp.uni-erlangen.de Port 80