pom_template.xml

<!--
This file is part of JavaSMT,
an API wrapper for a collection of SMT solvers:
https://github.com/sosy-lab/java-smt

SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>

SPDX-License-Identifier: Apache-2.0
-->

<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">

    <modelVersion>4.0.0</modelVersion>
    <groupId>${ivy.pom.groupId}</groupId>
    <artifactId>${ivy.pom.artifactId}</artifactId>
    <packaging>${ivy.pom.packaging}</packaging>
    <version>${ivy.pom.version}</version>
    <name>${ivy.pom.name}</name>
    <description>${ivy.pom.description}</description>
    <url>${ivy.pom.url}</url>

    <licenses>
        <license>
            <name>Apache License, Version 2.0</name>
            <url>http://www.apache.org/licenses/LICENSE-2.0.txt</url>
        </license>
    </licenses>

    <organization>
        <name>Software Systems Lab</name>
        <url>https://www.sosy-lab.org/</url>
    </organization>

    <scm>
        <url>https://github.com/sosy-lab/java-smt/</url>
        <connection>scm:git:git://github.com/sosy-lab/java-smt.git</connection>
        <developerConnection>scm:git:git@github.com:sosy-lab/java-smt.git</developerConnection>
    </scm>

    <developers>
        <developer>
            <name>Karlheinz Friedberger</name>
            <email>kfriedberger@gmail.com</email>
            <organization>Software Systems Lab</organization>
            <url>https://www.sosy-lab.org/people/friedberger/</url>
            <roles>
                <role>project maintainer</role>
            </roles>
        </developer>
        <developer>
            <name>Philipp Wendler</name>
            <email>uni@philippwendler.de</email>
            <organization>Software Systems Lab</organization>
            <url>https://www.sosy-lab.org/people/wendler/</url>
            <roles>
                <role>project maintainer</role>
            </roles>
        </developer>
        <developer>
            <name>Dirk Beyer</name>
            <email>dirk.beyer@sosy-lab.org</email>
            <url>https://www.sosy-lab.org/people/beyer/</url>
            <organization>Software Systems Lab</organization>
            <organizationUrl>http://www.sosy-lab.org/</organizationUrl>
            <roles>
                <role>project manager</role>
            </roles>
        </developer>
    </developers>

    <!-- Dependencies are automatically inserted after this line. Do not change! -->

</project>