Artifact Latest version Version Count Packaging Update time
org.overturetool.core:guibuilder
2.3.0 12 jar Oct 08, 2015
org.overturetool:examples
2.2.6 4 jar Jun 20, 2015
org.opengis.cite.xerces:xercesImpl-xsd11
2.12-beta-r1667115 1 jar Apr 18, 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
edu.ucla.sspace:sspace
2.0.4 6 jar Aug 11, 2013
org.opencms.modules:org.opencms.locale.de
8.5.2 7 jar Jul 22, 2013
net.sourceforge.scenarlang:UT_DSL
1.1.9 12 pom Mar 03, 2013
org.opencms.modules:org.opencms.workplace.help.de
8.5.0 2 jar Nov 19, 2012
org.opencms.modules:org.opencms.locale.it
8.5.0 2 jar Nov 19, 2012
org.opencms.modules:org.opencms.locale.es
8.5.0 2 jar Nov 19, 2012
org.knallgrau.utils:textcat
1.0.1 1 jar Oct 01, 2012
org.apache:jackrabbit-ocm
2.0.0 1 jar Jul 06, 2012
org.ow2.weblab.webservices:tika-normaliser
1.8.2 5 war Jun 27, 2012
com.google.visualization:visualization-datasource
1.1.1 3 jar Apr 24, 2012
com.unboundid.components:json
1.0.0 1 jar Nov 23, 2011
net.sf.jmatchparser:jMatchParser-juniversalchardet
0.1 1 jar Oct 01, 2011
net.sf.jmatchparser:jMatchParser-jchardet
0.1 1 jar Oct 01, 2011
org.codehaus.gant:gant_groovy1.5
1.8.1 7 jar Oct 13, 2009
org.apache.jackrabbit:jackrabbit-ocm
1.5.3 3 jar Feb 26, 2009
net.sf.webtestfixtures:webtestfixtures
2.0.1.3 1 jar Jan 01, 2009
org.vafer:drift
0.1 1 jar Oct 29, 2008
org.codehaus.gant:gant
1.4.0 9 jar Jul 13, 2008
org.apache.fury:fury-format
0.5.1 2 jar May 21, 2024
org.apache.fury:fury-core
0.5.1 2 jar May 21, 2024
org.apache.fury:fury-parent
0.5.1 2 pom May 21, 2024
org.mariuszgromada.math:MathParser.org-mXparser
6.0.0 23 jar May 20, 2024
com.ibm.websphere.appserver.features:zosConnect-1.2
24.0.0.5 69 esa May 15, 2024
edu.stanford.nlp:stanford-corenlp
4.5.7 36 jar Apr 19, 2024
net.minidev:json-smart-action
2.5.1 9 bundle Mar 21, 2024
net.minidev:json-smart
2.5.1 33 bundle Mar 21, 2024
io.github.thalescpl-io.cadp:CADP_for_JAVA
8.16.0.000 10 jar Feb 27, 2024
org.jaxsb:generator
3.0.0 5 jar Feb 27, 2024
org.apache.rat:apache-rat-project
0.16.1 12 pom Jan 25, 2024
io.github.leoprover:scala-tptp-parser_2.13
1.7.1 11 jar Mar 26, 2023
com.infomaximum:json-smart
2.4.8 1 bundle Oct 26, 2022
org.draegerlab:sbscl
2.1 1 jar Apr 21, 2021
4133 Records