Recorded Fingerprints

FileOriginal ownerAge
com.google.code.gson:gson-2.6.2.jaroutside Jenkins3 yr 5 mo old more details
commons-io:commons-io-2.4.jaroutside Jenkins4 yr 5 mo old more details
javax.annotation:javax.annotation-api-1.2.jaroutside Jenkins3 yr 5 mo old more details
javax.servlet:javax.servlet-api-3.1.0.jaroutside Jenkins3 yr 5 mo old more details
javax.websocket:javax.websocket-api-1.0.jaroutside Jenkins3 yr 5 mo old more details
junit:junit-4.11.jaroutside Jenkins4 yr 5 mo old more details
org.apache.commons:commons-collections4-4.0.jaroutside Jenkins4 yr 5 mo old more details
org.eclipse.jetty.websocket:javax-websocket-client-impl-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty.websocket:javax-websocket-server-impl-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty.websocket:websocket-api-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty.websocket:websocket-client-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty.websocket:websocket-common-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty.websocket:websocket-server-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty.websocket:websocket-servlet-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-annotations-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-http-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-io-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-jndi-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-plus-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-security-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-server-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-servlet-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-util-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-webapp-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.eclipse.jetty:jetty-xml-9.2.11.v20150529.jaroutside Jenkins3 yr 5 mo old more details
org.hamcrest:hamcrest-core-1.3.jaroutside Jenkins4 yr 5 mo old more details
org.overturetool.core.graphics:interpreter-json-server-1.1.2-jar-with-dependencies.jarSuccessoverture-graphics-master/org.overturetool.core.graphics:interpreter-json-server #53 yr 0 mo old more details
org.overturetool.core.graphics:interpreter-json-server-1.1.2-javadoc.jarSuccessoverture-graphics-master/org.overturetool.core.graphics:interpreter-json-server #53 yr 0 mo old more details
org.overturetool.core.graphics:interpreter-json-server-1.1.2.jarSuccessoverture-graphics-master/org.overturetool.core.graphics:interpreter-json-server #53 yr 0 mo old more details
org.overturetool.core.graphics:interpreter-json-server:pom.xmloverture-graphics-master/org.overturetool.core.graphics:interpreter-json-server #1 3 yr 5 mo old more details
org.overturetool.core.prettyprinting:prettyprinter-2.4.0.jaroutside Jenkins3 yr 5 mo old more details
org.overturetool.core:ast-2.4.0.jaroutside Jenkins3 yr 5 mo old more details
org.overturetool.core:interpreter-2.4.0.jaroutside Jenkins3 yr 5 mo old more details
org.overturetool.core:parser-2.4.0.jaroutside Jenkins3 yr 5 mo old more details
org.overturetool.core:pog-2.4.0.jaroutside Jenkins3 yr 5 mo old more details
org.overturetool.core:testframework-2.4.0.jaroutside Jenkins3 yr 5 mo old more details
org.overturetool.core:typechecker-2.4.0.jaroutside Jenkins3 yr 5 mo old more details
org.overturetool.graphics.ide:org.overturetool.graphics.ide.features.overturegraphics-1.1.2.jarSuccessoverture-graphics-master/org.overturetool.graphics.ide:org.overturetool.graphics.ide.features.overturegraphics #53 yr 0 mo old more details
org.overturetool.graphics.ide:org.overturetool.graphics.ide.features.overturegraphics:pom.xmloverture-graphics-master/org.overturetool.graphics.ide:org.overturetool.graphics.ide.features.overturegraphics #1 3 yr 5 mo old more details
org.overturetool.graphics.ide:org.overturetool.graphics.ide.features:org.overturetool.graphics.ide.features-1.1.2.pomoverture-graphics-master/org.overturetool.graphics.ide:org.overturetool.graphics.ide.features #1 3 yr 5 mo old more details
org.overturetool.graphics.ide:org.overturetool.graphics.ide.features:pom.xmloverture-graphics-master/org.overturetool.graphics.ide:org.overturetool.graphics.ide.features #1 3 yr 5 mo old more details
org.overturetool.graphics.ide:org.overturetool.graphics.ide.repository-1.1.2.zipSuccessoverture-graphics-master/org.overturetool.graphics.ide:org.overturetool.graphics.ide.repository #53 yr 0 mo old more details
org.overturetool.graphics.ide:org.overturetool.graphics.ide.repository:pom.xmloverture-graphics-master/org.overturetool.graphics.ide:org.overturetool.graphics.ide.repository #1 3 yr 5 mo old more details
org.overturetool.graphics.ide:p2artifacts.xmlvdm2c/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository #79 3 yr 9 mo old more details
org.overturetool.graphics.ide:p2content.xmloverture-graphics-master/org.overturetool.graphics.ide:org.overturetool.graphics.ide.repository #1 3 yr 5 mo old more details
org.overturetool.graphics:core:core-1.1.2.pomoverture-graphics-master/org.overturetool.graphics:core #1 3 yr 5 mo old more details
org.overturetool.graphics:core:pom.xmloverture-graphics-master/org.overturetool.graphics:core #1 3 yr 5 mo old more details
org.overturetool.graphics:ide:ide-1.1.2.pomoverture-graphics-master/org.overturetool.graphics:ide #1 3 yr 5 mo old more details
org.overturetool.graphics:ide:pom.xmloverture-graphics-master/org.overturetool.graphics:ide #1 3 yr 5 mo old more details
org.overturetool.graphics:root:pom.xmloverture-graphics-master/org.overturetool.graphics:root #1 3 yr 5 mo old more details
org.overturetool.graphics:root:root-1.1.2.pomoverture-graphics-master/org.overturetool.graphics:root #1 3 yr 5 mo old more details
org.overturetool.ide.graphics.core:interpreter-json-server-jar-with-dependencies.jaroutside Jenkins3 yr 0 mo old more details
org.overturetool.ide.graphics.core:org.overturetool.ide.overturegraphics.core-1.1.2.jarSuccessoverture-graphics-master/org.overturetool.ide.graphics.core:org.overturetool.ide.overturegraphics.core #53 yr 0 mo old more details
org.overturetool.ide.graphics.core:org.overturetool.ide.overturegraphics.core:pom.xmloverture-graphics-master/org.overturetool.ide.graphics.core:org.overturetool.ide.overturegraphics.core #1 3 yr 5 mo old more details
org.overturetool.ide.graphics.core:p2artifacts.xmlSuccessoverture-graphics-master/org.overturetool.ide.graphics.core:org.overturetool.ide.overturegraphics.core #53 yr 0 mo old more details
org.overturetool.ide.graphics.core:p2content.xmloverture-graphics-master/org.overturetool.ide.graphics.core:org.overturetool.ide.overturegraphics.core #1 3 yr 5 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.linux.x86_64-1.1.2.jarSuccessoverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.linux.x86_64 #53 yr 0 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.linux.x86_64:pom.xmloverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.linux.x86_64 #1 3 yr 5 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.macosx.x86_64-1.1.2.jarSuccessoverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.macosx.x86_64 #53 yr 0 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.macosx.x86_64:pom.xmloverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.macosx.x86_64 #1 3 yr 5 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win32-1.1.2.jarSuccessoverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win32 #53 yr 0 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win32:pom.xmloverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win32 #1 3 yr 5 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win64-1.1.2.jarSuccessoverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win64 #53 yr 0 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win64:pom.xmloverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win64 #1 3 yr 5 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics:org.overturetool.ide.overturegraphics-1.1.2.pomoverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics #1 3 yr 5 mo old more details
org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics:pom.xmloverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics #1 3 yr 5 mo old more details
org.overturetool.ide.graphics:p2artifacts.xmlSuccessoverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win64 #53 yr 0 mo old more details
org.overturetool.ide.graphics:p2content.xmloverture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win64 #1 3 yr 5 mo old more details
org.ow2.asm:asm-5.0.1.jaroutside Jenkins3 yr 5 mo old more details
org.ow2.asm:asm-commons-5.0.1.jaroutside Jenkins3 yr 5 mo old more details
org.ow2.asm:asm-tree-5.0.1.jaroutside Jenkins3 yr 5 mo old more details
org.sonatype.oss:oss-parent:oss-parent-7.pomoutside Jenkins4 yr 5 mo old more details
p2.eclipse-plugin:ast.jaroverture-master/org.overturetool.core:ast #13 3 yr 2 mo old more details
p2.eclipse-plugin:com.ibm.icu-56.1.0.v201601250100.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:interpreter.jaroverture-master/org.overturetool.core:interpreter #13 3 yr 2 mo old more details
p2.eclipse-plugin:javax.inject-1.0.0.v20091030.jaroutside Jenkins3 yr 9 mo old more details
p2.eclipse-plugin:javax.xml-1.3.4.v201005080400.jaroutside Jenkins3 yr 9 mo old more details
p2.eclipse-plugin:org.apache.batik.css-1.7.0.v201011041433.jaroutside Jenkins3 yr 9 mo old more details
p2.eclipse-plugin:org.apache.batik.util-1.7.0.v201011041433.jaroutside Jenkins3 yr 9 mo old more details
p2.eclipse-plugin:org.apache.batik.util.gui-1.7.0.v200903091627.jaroutside Jenkins3 yr 9 mo old more details
p2.eclipse-plugin:org.apache.commons.jxpath-1.3.0.v200911051830.jaroutside Jenkins3 yr 11 mo old more details
p2.eclipse-plugin:org.eclipse.compare-3.6.0.v20160418-1534.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.compare.core-3.6.0.v20160418-1534.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.commands-3.8.0.v20160316-1921.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.contenttype-3.5.100.v20160418-1621.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.databinding-1.6.0.v20160412-0910.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.databinding.observable-1.6.0.v20160511-1747.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.databinding.property-1.6.0.v20160427-0852.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.expressions-3.5.100.v20160418-1621.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.filebuffers-3.6.0.v20160503-1849.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.filesystem-1.6.0.v20160503-1608.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.jobs-3.8.0.v20160509-0411.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.resources-3.11.0.v20160503-1608.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.runtime-3.12.0.v20160606-1342.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.core.variables-3.3.0.v20160419-1720.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.debug.core-3.10.100.v20160419-1720.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.debug.ui-3.11.201.v20160825-1412.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.e4.core.commands-0.11.100.v20160506-0804.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.core.contexts-1.5.0.v20160504-0909.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.core.di-1.6.1.v20160712-0927.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.e4.core.di.annotations-1.5.0.v20151127-1241.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.core.di.extensions-0.14.0.v20160211-1614.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.core.services-2.0.100.v20160509-1032.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.emf.xpath-0.1.200.v20160506-0804.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.bindings-0.11.100.v20160509-1025.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.css.core-0.12.0.v20160505-1310.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.css.swt-0.12.100.v20160517-1505.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.css.swt.theme-0.10.100.v20160523-0836.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.di-1.1.100.v20160506-0759.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.model.workbench-1.2.0.v20160229-1459.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.services-1.2.100.v20160506-0759.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.widgets-1.1.100.v20160506-0759.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.workbench-1.4.0.v20160517-1624.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.workbench.addons.swt-1.2.100.v20160831-1151.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.workbench.renderers.swt-0.14.0.v20160525-0940.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.workbench.swt-0.14.1.v20160829-0832.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.e4.ui.workbench3-0.13.100.v20160506-0759.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.emf.common-2.12.0.v20160420-0247.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.emf.ecore-2.12.0.v20160420-0247.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.emf.ecore.change-2.11.0.v20160420-0247.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.emf.ecore.xmi-2.12.0.v20160420-0247.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.app-1.3.400.v20150715-1528.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.bidi-1.0.0.v20160307-1318.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.common-3.8.0.v20160509-1230.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.ds-1.4.400.v20160226-2036.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.p2.core-2.4.100.v20160419-0834.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.p2.engine-2.4.100.v20160419-0834.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.p2.metadata-2.3.100.v20160427-2220.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.p2.metadata.repository-1.2.300.v20160419-0834.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.p2.repository-2.3.200.v20160421-0324.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.preferences-3.6.1.v20160815-1406.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.registry-3.6.100.v20160223-2218.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.security-1.2.200.v20150715-1528.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.equinox.util-1.0.500.v20130404-1337.jaroutside Jenkins4 yr 5 mo old more details
p2.eclipse-plugin:org.eclipse.help-3.7.0.v20160602-1307.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.jface-3.12.0.v20160518-1929.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.jface.databinding-1.8.0.v20160420-2231.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.jface.text-3.11.1.v20160819-1517.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.ltk.core.refactoring-3.7.0.v20160419-0705.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.ltk.ui.refactoring-3.8.0.v20160518-1817.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.osgi-3.11.1.v20160708-1632.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.osgi.services-3.5.100.v20160504-1419.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.swt-3.105.1.v20160907-0248.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.swt.cocoa.macosx.x86_64-3.105.1.v20160907-0248.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.swt.gtk.linux.x86-3.105.1.v20160907-0248.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.swt.gtk.linux.x86_64-3.105.1.v20160907-0248.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.swt.win32.win32.x86-3.105.1.v20160907-0248.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.swt.win32.win32.x86_64-3.105.1.v20160907-0248.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.team.core-3.8.0.v20160418-1534.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.team.ui-3.8.0.v20160518-1906.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.text-3.6.0.v20160503-1849.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.ui-3.108.0.v20160518-1929.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.ui.console-3.6.200.v20160518-1858.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.ui.editors-3.10.0.v20160505-0931.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.ui.forms-3.7.0.v20160518-1929.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.ui.ide-3.12.1.v20160823-0925.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.ui.navigator-3.6.100.v20160518-1929.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.ui.navigator.resources-3.5.100.v20160518-1929.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.ui.views-3.8.101.v20160816-1954.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.ui.views.properties.tabbed-3.7.0.v20160310-0903.jaroutside Jenkins3 yr 7 mo old more details
p2.eclipse-plugin:org.eclipse.ui.workbench-3.108.1.v20160819-2118.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.eclipse.ui.workbench.texteditor-3.10.1.v20160818-1626.jaroutside Jenkins3 yr 4 mo old more details
p2.eclipse-plugin:org.overture.ide.builders.vdmj-2.4.4.jaroutside Jenkins3 yr 2 mo old more details
p2.eclipse-plugin:org.overture.ide.core-2.4.4.jaroutside Jenkins3 yr 2 mo old more details
p2.eclipse-plugin:org.overture.ide.debug-2.4.4.jaroutside Jenkins3 yr 2 mo old more details
p2.eclipse-plugin:org.overture.ide.ui-2.4.4.jaroutside Jenkins3 yr 2 mo old more details
p2.eclipse-plugin:org.overture.ide.vdmpp.core-2.4.4.jaroutside Jenkins3 yr 2 mo old more details
p2.eclipse-plugin:org.overture.ide.vdmpp.debug-2.4.4.jaroutside Jenkins3 yr 2 mo old more details
p2.eclipse-plugin:org.overture.ide.vdmrt.core-2.4.4.jaroutside Jenkins3 yr 2 mo old more details
p2.eclipse-plugin:org.overture.ide.vdmrt.debug-2.4.4.jaroutside Jenkins3 yr 2 mo old more details
p2.eclipse-plugin:org.tukaani.xz-1.3.0.v201308270617.jaroutside Jenkins3 yr 11 mo old more details
p2.eclipse-plugin:org.w3c.css.sac-1.3.1.v200903091627.jaroutside Jenkins3 yr 9 mo old more details
p2.eclipse-plugin:org.w3c.dom.events-3.0.0.draft20060413_v201105210656.jaroutside Jenkins3 yr 9 mo old more details
p2.eclipse-plugin:org.w3c.dom.smil-1.0.1.v200903091627.jaroutside Jenkins3 yr 9 mo old more details
p2.eclipse-plugin:org.w3c.dom.svg-1.1.0.v201011041433.jaroutside Jenkins3 yr 9 mo old more details
p2.eclipse-plugin:parser.jaroverture-master/org.overturetool.core:parser #13 3 yr 2 mo old more details
p2.eclipse-plugin:pog.jaroverture-master/org.overturetool.core:pog #13 3 yr 2 mo old more details
p2.eclipse-plugin:typechecker.jaroverture-master/org.overturetool.core:typechecker #13 3 yr 2 mo old more details