Description

<dependency>
    <groupId>io.github.tudo-aqua</groupId>
    <artifactId>cvc4-turnkey-gpl</artifactId>
    <version>1.8</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<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"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <modelVersion>4.0.0</modelVersion>
  <groupId>io.github.tudo-aqua</groupId>
  <artifactId>cvc4-turnkey-gpl</artifactId>
  <version>1.8</version>
  <name>CVC4-TurnKey (GPL)</name>
  <description>A self-unpacking, standalone CVC4 distribution that ships all required native support code and automatically unpacks it at runtime. GPL-licensed version.</description>
  <url>https://github.com/tudo-aqua/cvc4-turnkey</url>
  <licenses>
    <license>
      <name>The 3-Clause BSD License</name>
      <url>https://opensource.org/licenses/BSD-3-Clause</url>
    </license>
    <license>
      <name>GNU Lesser General Public License, Version 3</name>
      <url>https://www.gnu.org/licenses/lgpl-3.0.html</url>
    </license>
    <license>
      <name>GNU General Public License, Version 3</name>
      <url>https://www.gnu.org/licenses/gpl-3.0.html</url>
    </license>
    <license>
      <name>The PostgreSQL Licence</name>
      <url>https://opensource.org/licenses/PostgreSQL</url>
    </license>
    <license>
      <name>The MIT License</name>
      <url>https://opensource.org/licenses/MIT</url>
    </license>
    <license>
      <name>ISC License</name>
      <url>https://opensource.org/licenses/ISC</url>
    </license>
  </licenses>
  <developers>
    <developer>
      <name>Simon Dierl</name>
      <email>simon.dierl@cs.tu-dortmund.de</email>
    </developer>
  </developers>
  <scm>
    <connection>scm:git:git://github.com:tudo-aqua/cvc4-turnkey.git</connection>
    <developerConnection>scm:git:ssh://git@github.com:tudo-aqua/cvc4-turnkey.git</developerConnection>
    <url>https://github.com/tudo-aqua/cvc4-turnkey/tree/master</url>
  </scm>
</project>