Maven Jars
Αναζήτηση
Το σπίτι
edu.washington.cs.types.checker
checker-quals
1.5.0
Checker framework's type qualifiers
Σημείωση:
Υπάρχει μια νέα έκδοση για αυτό το τεχνούργημα
:
1.7.5
×
Checker framework's type qualifiers
Annotations ("type qualifiers") from the checker framework
Maven
Gradle
SBT
Ivy
Grape
Leiningen
Buildr
edu.washington.cs.types.checker
checker-quals
1.5.0
compile group: 'edu.washington.cs.types.checker', name: 'checker-quals', version: '1.5.0'
compile 'edu.washington.cs.types.checker:checker-quals:1.5.0'
libraryDependencies += "edu.washington.cs.types.checker" % "checker-quals" % "1.5.0"
<dependency org="edu.washington.cs.types.checker" name="checker-quals" rev="1.5.0"/>
@Grapes( @Grab(group='edu.washington.cs.types.checker', module='checker-quals', version='1.5.0') )
[edu.washington.cs.types.checker/checker-quals "1.5.0"]
'edu.washington.cs.types.checker:checker-quals:jar:1.5.0'