pom.xml 2.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
  3. xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  4. <!-- This module was also published with a richer model, Gradle metadata, -->
  5. <!-- which should be used instead. Do not delete the following line which -->
  6. <!-- is to indicate to Gradle or any Gradle module metadata file consumer -->
  7. <!-- that they should prefer consuming it instead. -->
  8. <!-- do_not_remove: published-with-gradle-metadata -->
  9. <modelVersion>4.0.0</modelVersion>
  10. <groupId>org.checkerframework</groupId>
  11. <artifactId>checker-qual</artifactId>
  12. <version>3.12.0</version>
  13. <name>Checker Qual</name>
  14. <description>checker-qual contains annotations (type qualifiers) that a programmer
  15. writes to specify Java code for type-checking by the Checker Framework.
  16. </description>
  17. <url>https://checkerframework.org</url>
  18. <licenses>
  19. <license>
  20. <name>The MIT License</name>
  21. <url>http://opensource.org/licenses/MIT</url>
  22. <distribution>repo</distribution>
  23. </license>
  24. </licenses>
  25. <developers>
  26. <developer>
  27. <id>mernst</id>
  28. <name>Michael Ernst</name>
  29. <email>mernst@cs.washington.edu</email>
  30. <url>https://homes.cs.washington.edu/~mernst/</url>
  31. <organization>University of Washington</organization>
  32. <organizationUrl>https://www.cs.washington.edu/</organizationUrl>
  33. </developer>
  34. <developer>
  35. <id>smillst</id>
  36. <name>Suzanne Millstein</name>
  37. <email>smillst@cs.washington.edu</email>
  38. <organization>University of Washington</organization>
  39. <organizationUrl>https://www.cs.washington.edu/</organizationUrl>
  40. </developer>
  41. </developers>
  42. <scm>
  43. <connection>scm:git:git://github.com/typetools/checker-framework.git</connection>
  44. <developerConnection>scm:git:ssh://git@github.com/typetools/checker-framework.git</developerConnection>
  45. <url>https://github.com/typetools/checker-framework.git</url>
  46. </scm>
  47. </project>