Loading pom.xml +41 −1 Original line number Diff line number Diff line Loading @@ -11,7 +11,42 @@ <packaging>jar</packaging> <name>jTET</name> <url>http://maven.apache.org</url> <description> Library to handle Tabular Expressions, including a generic in memory representation, proof checkers, and code generators. </description> <url>https://groke.cas.mcmaster.ca/gitlab/tables/jtet</url> <licenses> <license> <name>BSD</name> <comments>Free for open or commercial use, with credit line</comments> <url>http://www.linfo.org/bsdlicense.html</url> <distribution>repo</distribution> </license> </licenses> <scm> <url>https://groke.cas.mcmaster.ca/gitlab/tables/jtet</url> <connection>scm:git:https://groke.cas.mcmaster.ca/gitlab/tables/jtet.git</connection> <developerConnection>scm:git:git@groke.cas.mcmaster.ca:tables/jtet.git</developerConnection> <tag>HEAD</tag> </scm> <developers> <developer> <id>mjdsys</id> <name>Matthew Dawson</name> <email>matthew@mjdsystems.ca</email> <roles> <role>developer</role> </roles> </developer> <developer> <id>jiangy76</id> <name>Yanjun Jiang</name> <email>jiangy76@mcmaster.ca</email> <roles> <role>developer</role> </roles> </developer> </developers> <properties> <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> Loading Loading @@ -118,4 +153,9 @@ </plugin> </plugins> </build> <parent> <groupId>org.sonatype.oss</groupId> <artifactId>oss-parent</artifactId> <version>9</version> </parent> </project> Loading
pom.xml +41 −1 Original line number Diff line number Diff line Loading @@ -11,7 +11,42 @@ <packaging>jar</packaging> <name>jTET</name> <url>http://maven.apache.org</url> <description> Library to handle Tabular Expressions, including a generic in memory representation, proof checkers, and code generators. </description> <url>https://groke.cas.mcmaster.ca/gitlab/tables/jtet</url> <licenses> <license> <name>BSD</name> <comments>Free for open or commercial use, with credit line</comments> <url>http://www.linfo.org/bsdlicense.html</url> <distribution>repo</distribution> </license> </licenses> <scm> <url>https://groke.cas.mcmaster.ca/gitlab/tables/jtet</url> <connection>scm:git:https://groke.cas.mcmaster.ca/gitlab/tables/jtet.git</connection> <developerConnection>scm:git:git@groke.cas.mcmaster.ca:tables/jtet.git</developerConnection> <tag>HEAD</tag> </scm> <developers> <developer> <id>mjdsys</id> <name>Matthew Dawson</name> <email>matthew@mjdsystems.ca</email> <roles> <role>developer</role> </roles> </developer> <developer> <id>jiangy76</id> <name>Yanjun Jiang</name> <email>jiangy76@mcmaster.ca</email> <roles> <role>developer</role> </roles> </developer> </developers> <properties> <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> Loading Loading @@ -118,4 +153,9 @@ </plugin> </plugins> </build> <parent> <groupId>org.sonatype.oss</groupId> <artifactId>oss-parent</artifactId> <version>9</version> </parent> </project>