Index of universe/org/overturetool/ide

Name                       Last modified      Size

../
3.0.0/                      17-Dec-2025 21:33    -
builders/                   29-Sep-2026 04:18    -
features/                   14-Dec-2025 23:20    -
org.overture.ide.builders/  18-Dec-2025 01:45    -
org.overture.ide.core/      16-Dec-2025 00:58    -
org.overture.ide.debug/     18-Dec-2025 00:22    -
org.overture.ide.help/      17-Dec-2025 02:03    -
org.overture.ide.parsers/   08-Oct-2026 19:17    -
org.overture.ide.platform/  16-Dec-2025 02:48    -
org.overture.ide.plugins/   18-Dec-2025 00:35    -
org.overture.ide.ui/        10-Oct-2026 23:58    -
org.overture.ide.vdmrt/     30-Sep-2026 14:26    -
org.overture.ide.vdmsl/     22-Aug-2026 05:21    -
parsers/                    25-Sep-2025 06:50    -
vdmrt/                      17-Dec-2025 08:32    -
vdmsl/                      30-Sep-2026 12:16    -
maven-metadata.xml          10-Nov-2020 15:16  853 bytes