Description

<dependency>
    <groupId>io.hotmoka</groupId>
    <artifactId>io-hotmoka-verification</artifactId>
    <version>1.6.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>io.hotmoka</groupId>
  <artifactId>io-hotmoka-verification</artifactId>
  <version>1.6.0</version>
  <name>io-hotmoka-verification</name>
  <description>This module implements the verification algorithms for Takamaka programs.</description>
  <url>https://github.com/Hotmoka/hotmoka/io-hotmoka-verification</url>
  <inceptionYear>2019</inceptionYear>
  <organization>
    <name>Hotmoka</name>
    <url>https://www.hotmoka.io</url>
  </organization>
  <licenses>
    <license>
      <name>The Apache License, Version 2.0</name>
      <url>http://www.apache.org/licenses/LICENSE-2.0.txt</url>
    </license>
  </licenses>
  <developers>
    <developer>
      <name>Fausto Spoto</name>
      <email>fausto.spoto@hotmoka.io</email>
      <organization>Hotmoka</organization>
      <organizationUrl>https://www.hotmoka.io</organizationUrl>
      <timezone>UTC+01:00</timezone>
    </developer>
  </developers>
  <scm>
    <connection>scm:git:git://github.com/Hotmoka/hotmoka.git/io-hotmoka-verification</connection>
    <developerConnection>scm:git:git@github.com:Hotmoka/hotmoka.git/io-hotmoka-verification</developerConnection>
    <url>https://github.com/Hotmoka/hotmoka/io-hotmoka-verification</url>
  </scm>
  <distributionManagement>
    <repository>
      <id>ossrh</id>
      <url>https://s01.oss.sonatype.org/service/local/staging/deploy/maven2/</url>
    </repository>
    <snapshotRepository>
      <id>ossrh</id>
      <url>https://s01.oss.sonatype.org/content/repositories/snapshots</url>
    </snapshotRepository>
  </distributionManagement>
  <dependencies>
    <dependency>
      <groupId>io.hotmoka</groupId>
      <artifactId>io-hotmoka-verification-api</artifactId>
      <version>1.6.0</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>io.hotmoka</groupId>
      <artifactId>io-takamaka-code-constants</artifactId>
      <version>1.3.0</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>io.hotmoka</groupId>
      <artifactId>io-hotmoka-whitelisting</artifactId>
      <version>1.6.0</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>io.hotmoka.exceptions</groupId>
      <artifactId>io-hotmoka-exceptions</artifactId>
      <version>1.4.1</version>
      <scope>compile</scope>
    </dependency>
  </dependencies>
</project>