Artifact Latest version Version Count Packaging Update time
org.overturetool.core:parser
3.0.2 33 jar Nov 10, 2020
org.overturetool.core:testframework
3.0.2 33 jar Nov 10, 2020
org.overturetool.core:ast
3.0.2 33 jar Nov 10, 2020
org.overturetool:core
3.0.2 33 pom Nov 10, 2020
org.overturetool:externals
3.0.2 27 jar Nov 10, 2020
org.overturetool:root
3.0.2 33 pom Nov 10, 2020
org.camunda.bpm.archetype:camunda-archetype-demo
7.11.1 13 maven-archetype Jul 05, 2019
org.eclipse.xpect:org.eclipse.xpect.xtext.lib
0.2.0.v20190619 1 eclipse-plugin Jun 19, 2019
org.eclipse.xpect:org.eclipse.xpect.ui
0.2.0.v20190619 1 eclipse-plugin Jun 19, 2019
org.eclipse.xpect:org.eclipse.xpect
0.2.0.v20190619 1 eclipse-plugin Jun 19, 2019
org.eclipse.xpect:org.eclipse.xpect.parent
0.2.0.v20190619 1 pom Jun 19, 2019
net.sourceforge.jbizmo:jbizmo-commons-spring4
2.8.0 10 jar Nov 24, 2018
net.sourceforge.jbizmo:jbizmo-invoker-spring4
2.8.0 10 jar Nov 24, 2018
net.sourceforge.jbizmo:jbizmo-invoker-javaee7
2.8.0 10 jar Nov 24, 2018
org.eclipse.gemini.blueprint:gemini-blueprint
3.0.0.M01 6 pom Apr 03, 2018
org.camunda.bpm.archetype:camunda-archetype-servlet-spring-camel-war
7.7.2 3 maven-archetype Nov 01, 2017
edu.purdue.cs:jtb
1.4.12 1 jar Dec 31, 2016
org.overturetool.core.modelcheckers:probsolverintegration
2.3.0 12 jar Oct 08, 2015
org.overturetool.core.modelcheckers:probsolver
2.3.0 12 jar Oct 08, 2015
org.overturetool.core:modelcheckers
2.3.0 12 pom Oct 08, 2015
org.overturetool.core:guibuilder
2.3.0 12 jar Oct 08, 2015
org.overturetool:examples
2.2.6 4 jar Jun 20, 2015
org.overturetool.core:codegen-runtime
2.2.2 7 jar Feb 26, 2015
org.overturetool.core:vdmjc
2.2.2 3 jar Feb 26, 2015
org.overturetool.tools:overturetemplategen
2.1.0 4 jar Jun 12, 2014
org.overturetool.tools:tools
2.1.0 4 pom Jun 12, 2014
org.overturetool.core:pog-string-based
2.0.8 3 jar May 20, 2014
com.cenqua.clover:clover
3.3.0 55 jar Mar 31, 2014
org.storychat:org.storychat.bundle.osgi
1.0.2 1 bundle Feb 01, 2014
nz.co.gregs:dbvolution-eclipse
3.8.3.3 2 jar Oct 23, 2013
org.ops4j:peaberry
1.3 5 bundle Oct 31, 2012
org.ops4j:peaberry.eclipse
1.1.1 2 jar May 04, 2009
org.springframework.batch:spring-batch-archetypes
1.1.4.RELEASE 6 pom Jan 30, 2009
org.eclipse:parent
1 1 pom Jul 14, 2007
org.wso2.carbon:org.wso2.carbon.http.bridge
4.10.13 93 bundle Apr 21, 2024
org.glassfish.metro:wssx-impl
4.0.3 101 jar Oct 20, 2023
org.glassfish.metro:wsmc-api
4.0.3 101 jar Oct 20, 2023
org.glassfish.metro:wsrx-commons
4.0.3 101 jar Oct 20, 2023
org.glassfish.metro:metro-cm-api
4.0.3 99 jar Oct 20, 2023
org.glassfish.metro:wsit-tests
4.0.3 38 pom Oct 20, 2023
4235 Records