Description

<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>tla2bAST</artifactId>
    <version>1.4.2</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://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">
  <!-- This module was also published with a richer model, Gradle metadata,  -->
  <!-- which should be used instead. Do not delete the following line which  -->
  <!-- is to indicate to Gradle or any Gradle module metadata file consumer  -->
  <!-- that they should prefer consuming it instead. -->
  <!-- do_not_remove: published-with-gradle-metadata -->
  <modelVersion>4.0.0</modelVersion>
  <groupId>de.hhu.stups</groupId>
  <artifactId>tla2bAST</artifactId>
  <version>1.4.2</version>
  <name>TLA+ to B-AST</name>
  <description>Translator from TLA+ to ProB's AST representation.</description>
  <url>https://github.com/hhu-stups/tla2bAST</url>
  <licenses>
    <license>
      <name>Eclipse Public License, Version 1.0</name>
      <url>https://www.eclipse.org/legal/epl-v10.html</url>
    </license>
  </licenses>
  <developers>
    <developer>
      <id>bendisposto</id>
      <name>Jens Bendisposto</name>
      <email>jens@bendisposto.de</email>
    </developer>
  </developers>
  <scm>
    <connection>scm:git:https://github.com/hhu-stups/tla2bAST.git</connection>
    <developerConnection>scm:git:git@github.com:hhu-stups/tla2bAST.git</developerConnection>
    <url>https://github.com/hhu-stups/tla2bAST</url>
  </scm>
  <dependencies>
    <dependency>
      <groupId>de.hhu.stups</groupId>
      <artifactId>tlatools</artifactId>
      <version>1.1.0</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>de.hhu.stups</groupId>
      <artifactId>prologlib</artifactId>
      <version>2.15.2</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>de.hhu.stups</groupId>
      <artifactId>bparser</artifactId>
      <version>2.15.2</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>commons-cli</groupId>
      <artifactId>commons-cli</artifactId>
      <version>1.9.0</version>
      <scope>runtime</scope>
    </dependency>
  </dependencies>
</project>