Description

<dependency>
    <groupId>org.aya-prover</groupId>
    <artifactId>tools-repl</artifactId>
    <version>0.40.0</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">
  <modelVersion>4.0.0</modelVersion>
  <groupId>org.aya-prover</groupId>
  <artifactId>tools-repl</artifactId>
  <version>0.40.0</version>
  <name>tools-repl</name>
  <description>The Aya proof assistant</description>
  <url>https://www.aya-prover.org</url>
  <licenses>
    <license>
      <name>MIT</name>
      <url>https://github.com/aya-prover/aya-dev/blob/master/LICENSE</url>
    </license>
  </licenses>
  <developers>
    <developer>
      <id>ice1000</id>
      <name>Tesla (Yinsen) Zhang</name>
      <email>ice1000kotlin@foxmail.com</email>
    </developer>
    <developer>
      <id>imkiva</id>
      <name>Kiva Oyama</name>
      <email>imkiva@islovely.icu</email>
    </developer>
    <developer>
      <id>re-xyr</id>
      <name>Xy Ren</name>
      <email>xy.r@outlook.com</email>
    </developer>
    <developer>
      <id>dark-flames</id>
      <name>Darkflames</name>
      <email>dark_flames@outlook.com</email>
    </developer>
    <developer>
      <id>tsao-chi</id>
      <name>tsao-chi</name>
      <email>tsao-chi@the-lingo.org</email>
    </developer>
    <developer>
      <id>lunalunaa</id>
      <name>Luna Xin</name>
      <email>luna.xin@outlook.com</email>
    </developer>
    <developer>
      <id>wsx</id>
      <name>Shuxian Wang</name>
      <email>wsx@berkeley.edu</email>
    </developer>
    <developer>
      <id>HoshinoTented</id>
      <name>Hoshino Tented</name>
      <email>limbolrain@gmail.com</email>
    </developer>
  </developers>
  <scm>
    <connection>scm:git:https://github.com/aya-prover/aya-dev</connection>
    <url>https://github.com/aya-prover/aya-dev</url>
  </scm>
  <dependencies>
    <dependency>
      <groupId>org.aya-prover</groupId>
      <artifactId>pretty</artifactId>
      <version>0.40.0</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.jline</groupId>
      <artifactId>jline-reader</artifactId>
      <version>3.30.6</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.jline</groupId>
      <artifactId>jline-terminal</artifactId>
      <version>3.30.6</version>
      <scope>compile</scope>
    </dependency>
  </dependencies>
</project>