com.codemonkeylab.idex:java-api-idex 0.0.2

JAVA wrapper of the IDEX market interface

Categories	IDE Development Tools Java Languages KeY Data Data Formats Formal Verification Dex General Purpose Libraries Utility
GroupId	com.codemonkeylab.idex
ArtifactId	java-api-idex
Version	0.0.2
Type	jar

Download java-api-idex 0.0.2

Filename	Size
java-api-idex-0.0.2.pom
java-api-idex-0.0.2.jar	67 KB
java-api-idex-0.0.2-sources.jar	40 KB
java-api-idex-0.0.2-javadoc.jar	276 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/com.codemonkeylab.idex/java-api-idex/ -->
<dependency>
    <groupId>com.codemonkeylab.idex</groupId>
    <artifactId>java-api-idex</artifactId>
    <version>0.0.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.codemonkeylab.idex/java-api-idex/
implementation 'com.codemonkeylab.idex:java-api-idex:0.0.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.codemonkeylab.idex/java-api-idex/
implementation ("com.codemonkeylab.idex:java-api-idex:0.0.2")

Apache Buildr

'com.codemonkeylab.idex:java-api-idex:jar:0.0.2'

Apache Ivy

<dependency org="com.codemonkeylab.idex" name="java-api-idex" rev="0.0.2">
  <artifact name="java-api-idex" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.codemonkeylab.idex', module='java-api-idex', version='0.0.2')
)

Scala SBT

libraryDependencies += "com.codemonkeylab.idex" % "java-api-idex" % "0.0.2"

Leiningen

[com.codemonkeylab.idex/java-api-idex "0.0.2"]