../ 2.3.8/ 2016-07-04 07:47 - 2.4.0/ 2016-08-29 14:00 - 2.4.2/ 2016-10-06 08:48 - 2.4.4/ 2016-12-02 12:03 - 2.4.6/ 2017-03-03 10:35 - 2.4.8/ 2017-06-05 18:20 - 2.5.0/ 2017-08-10 11:28 - 2.5.2/ 2017-09-11 08:17 - 2.5.4/ 2017-11-10 08:08 - 2.5.6/ 2017-12-11 08:46 - 2.6.0/ 2018-02-16 09:54 - 2.6.2/ 2018-05-18 08:47 - 2.6.4/ 2018-10-29 07:46 - 2.7.0/ 2019-06-03 12:36 - 2.7.2/ 2019-09-30 07:53 - 2.7.4/ 2020-03-16 20:17 - 3.0.0/ 2020-08-28 09:04 - 3.0.2/ 2020-11-10 14:44 - 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.plugins/ - - 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/ - - maven-metadata.xml 2020-11-10 15:16 853 maven-metadata.xml.md5 2020-11-10 15:16 32 maven-metadata.xml.sha1 2020-11-10 15:16 40 maven-metadata.xml.sha256 2020-11-10 15:16 64 maven-metadata.xml.sha512 2020-11-10 15:16 128