| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| 3.0.2 | |||
| org.overture.ide.plugins | |||
| 2.3.8 | Thu Jan 08 02:57:26 Z 2026 | 946 | |
| 2.4.0 | Thu Jan 08 02:57:27 Z 2026 | 946 | |
| 2.4.2 | Thu Jan 08 02:57:27 Z 2026 | 946 | |
| 2.4.4 | Thu Jan 08 02:57:25 Z 2026 | 946 | |
| 2.4.6 | Thu Jan 08 02:57:27 Z 2026 | 946 | |
| 2.4.8 | Thu Jan 08 02:57:27 Z 2026 | 946 | |
| 2.5.0 | Thu Jan 08 02:57:25 Z 2026 | 946 | |
| 2.5.2 | Thu Jan 08 02:57:25 Z 2026 | 946 | |
| 2.5.4 | Thu Jan 08 02:57:27 Z 2026 | 946 | |
| 2.5.6 | Thu Jan 08 02:57:26 Z 2026 | 946 | |
| 2.6.0 | Thu Jan 08 02:57:26 Z 2026 | 946 | |
| 2.6.2 | Thu Jan 08 02:57:25 Z 2026 | 946 | |
| 2.6.4 | Thu Jan 08 02:57:24 Z 2026 | 946 | |
| 2.7.0 | Thu Jan 08 02:57:26 Z 2026 | 946 | |
| 2.7.2 | Thu Jan 08 02:49:17 Z 2026 | 946 | |
| 2.7.4 | Thu Jan 08 02:49:17 Z 2026 | 946 | |
| 3.0.0 | Thu Jan 08 02:49:17 Z 2026 | 946 | |
| builders | |||
| features | |||
| org.overture.ide.builders | |||
| org.overture.ide.core | |||
| org.overture.ide.debug | |||
| org.overture.ide.help | |||
| org.overture.ide.parsers | |||
| org.overture.ide.platform | |||
| org.overture.ide.product | |||
| org.overture.ide.ui | |||
| org.overture.ide.vdmpp | |||
| org.overture.ide.vdmrt | |||
| org.overture.ide.vdmsl | |||
| parsers | |||
| plugins | |||
| vdmpp | |||
| vdmrt | |||
| vdmsl |