| POM: |
Show
hide
<?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>org.aya-prover</groupId>
<artifactId>guest0x0-cli</artifactId>
<version>0.13</version>
<name>guest0x0-cli</name>
<description>Guest0x0 programming language</description>
<url>https://www.aya-prover.org</url>
<licenses>
<license>
<name>GPL-3.0</name>
<url>https://github.com/ice1000/guest0x0/blob/master/LICENSE</url>
</license>
</licenses>
<developers>
<developer>
<id>ice1000</id>
<name>Tesla Zhang</name>
<email>ice1000kotlin@foxmail.com</email>
</developer>
</developers>
<scm>
<connection>scm:git:https://github.com/ice1000/guest0x0</connection>
<url>https://github.com/ice1000/guest0x0</url>
</scm>
<dependencies>
<dependency>
<groupId>org.antlr</groupId>
<artifactId>antlr4-runtime</artifactId>
<version>4.9.3</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>info.picocli</groupId>
<artifactId>picocli</artifactId>
<version>4.6.3</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>org.aya-prover</groupId>
<artifactId>guest0x0-base</artifactId>
<version>0.13</version>
<scope>runtime</scope>
</dependency>
<dependency>
<groupId>org.aya-prover</groupId>
<artifactId>tools-repl</artifactId>
<version>0.18</version>
<scope>runtime</scope>
</dependency>
</dependencies>
</project>
|
