| GroupId | GroupIdorg.into-cps.maestro |
|---|---|
| ArtifactId | ArtifactIdtypechecker |
| Version | Version2.0.0 |
| Type | Typejar |
| Filename | Size |
|---|---|
| typechecker-2.0.0.pom | |
| typechecker-2.0.0.jar | 16 KB |
| typechecker-2.0.0-sources.jar | 7 KB |
| typechecker-2.0.0-javadoc.jar | 440 KB |
| Browse |
<!-- https://jarcasting.com/artifacts/org.into-cps.maestro/typechecker/ -->
<dependency>
<groupId>org.into-cps.maestro</groupId>
<artifactId>typechecker</artifactId>
<version>2.0.0</version>
</dependency>
// https://jarcasting.com/artifacts/org.into-cps.maestro/typechecker/
implementation 'org.into-cps.maestro:typechecker:2.0.0'
// https://jarcasting.com/artifacts/org.into-cps.maestro/typechecker/
implementation ("org.into-cps.maestro:typechecker:2.0.0")
'org.into-cps.maestro:typechecker:jar:2.0.0'
<dependency org="org.into-cps.maestro" name="typechecker" rev="2.0.0">
<artifact name="typechecker" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.into-cps.maestro', module='typechecker', version='2.0.0')
)
libraryDependencies += "org.into-cps.maestro" % "typechecker" % "2.0.0"
[org.into-cps.maestro/typechecker "2.0.0"]