Categories |
CategoriesMaven Build Tools |
---|---|
GroupId | GroupIdorg.checkerframework |
ArtifactId | ArtifactIdcheckerframework-maven-plugin |
Version | Version1.8.0 |
Type | Typemaven-plugin |
<plugin>
<groupId>org.checkerframework</groupId>
<artifactId>checkerframework-maven-plugin</artifactId>
<version>1.8.0</version>
</plugin>