Description

<dependency>
    <groupId>dev.ikm.puli</groupId>
    <artifactId>puli</artifactId>
    <version>0.6.0</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<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 https://maven.apache.org/xsd/maven-4.0.0.xsd">
	<modelVersion>4.0.0</modelVersion>

	<parent>
		<groupId>dev.ikm.puli</groupId>
		<artifactId>puli-parent</artifactId>
		<version>0.6.0</version>
	</parent>

	<artifactId>puli</artifactId>

	<name>Proof Utility Library</name>
	<description>
		A library for manipulating with proofs based on inference rules.
	</description>
	<licenses>
		<license>
			<name>The Apache Software License, Version 2.0</name>
			<url>http://www.apache.org/licenses/LICENSE-2.0.txt</url>
			<distribution>repo</distribution>
		</license>
	</licenses>

	<dependencies>
		<!-- test dependencies -->
		<dependency>
			<groupId>junit</groupId>
			<artifactId>junit</artifactId>
		</dependency>
		<!-- dev.ikm.jpms dependencies -->
		<dependency>
			<groupId>dev.ikm.jpms</groupId>
			<artifactId>guava</artifactId>
		</dependency>
	</dependencies>
</project>