is not current version

edu.washington.cs.types.checker:checker-quals 1.7.1

Annotations ("type qualifiers") from the checker framework

GroupId	GroupId edu.washington.cs.types.checker
ArtifactId	ArtifactId checker-quals
Version	Version 1.7.1
Type	Type jar

Download checker-quals 1.7.1

Filename	Size
checker-quals-1.7.1.pom
checker-quals-1.7.1.jar	93 KB
checker-quals-1.7.1-sources.jar	465 bytes
checker-quals-1.7.1-javadoc.jar	463 bytes
Browse

Apache Maven

<!-- https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-quals/ -->
<dependency>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-quals</artifactId>
    <version>1.7.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-quals/
implementation 'edu.washington.cs.types.checker:checker-quals:1.7.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-quals/
implementation ("edu.washington.cs.types.checker:checker-quals:1.7.1")

Apache Buildr

'edu.washington.cs.types.checker:checker-quals:jar:1.7.1'

Apache Ivy

<dependency org="edu.washington.cs.types.checker" name="checker-quals" rev="1.7.1">
  <artifact name="checker-quals" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='edu.washington.cs.types.checker', module='checker-quals', version='1.7.1')
)

Scala SBT

libraryDependencies += "edu.washington.cs.types.checker" % "checker-quals" % "1.7.1"

Leiningen

[edu.washington.cs.types.checker/checker-quals "1.7.1"]

edu.washington.cs.types.checker:checker-quals 1.7.1

GroupId

ArtifactId

Version

Type

Download checker-quals 1.7.1