JarCasting
JarCasting JarCasting
is not current version
Last Version 2017-06-28 →

de.mpg.mpi-inf:javatools 1.0

The Javatools are a collection of Java classes for a variety of small tasks, such as parsing, database interaction or file handling.

GroupId

GroupId

de.mpg.mpi-inf
ArtifactId

ArtifactId

javatools
Version

Version

1.0
Type

Type

jar

Download javatools 1.0

Filename Size
javatools-1.0.pom
javatools-1.0.jar 425 KB
javatools-1.0-sources.jar 255 KB
javatools-1.0-javadoc.jar 1 MB
Browse 

<!-- https://jarcasting.com/artifacts/de.mpg.mpi-inf/javatools/ -->
<dependency>
    <groupId>de.mpg.mpi-inf</groupId>
    <artifactId>javatools</artifactId>
    <version>1.0</version>
</dependency>
// https://jarcasting.com/artifacts/de.mpg.mpi-inf/javatools/
implementation 'de.mpg.mpi-inf:javatools:1.0'
// https://jarcasting.com/artifacts/de.mpg.mpi-inf/javatools/
implementation ("de.mpg.mpi-inf:javatools:1.0")
'de.mpg.mpi-inf:javatools:jar:1.0'
<dependency org="de.mpg.mpi-inf" name="javatools" rev="1.0">
  <artifact name="javatools" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.mpg.mpi-inf', module='javatools', version='1.0')
)
libraryDependencies += "de.mpg.mpi-inf" % "javatools" % "1.0"
[de.mpg.mpi-inf/javatools "1.0"]