de.prob2.kernel
Used in
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
|
Maven Central Repository
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>de.prob2.kernel</artifactId>
<version>4.12.1</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>de.prob2.kernel</artifactId>
<version>4.12.1</version>
<name>de.prob2.kernel</name>
<description>The ProB 2.0 Kernel library</description>
<url>http://www.prob2.de</url>
<licenses>
<license>
<name>Eclipse Public License, Version 1.0</name>
<url>http://www.eclipse.org/org/documents/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/prob2_kernel.git</connection>
<developerConnection>scm:git:git@gitlab.cs.uni-duesseldorf.de:stups/prob/prob2_kernel.git</developerConnection>
<url>https://github.com/hhu-stups/prob2_kernel</url>
</scm>
<dependencyManagement>
<dependencies>
<dependency>
<groupId>org.codehaus.groovy</groupId>
<artifactId>groovy-bom</artifactId>
<version>3.0.17</version>
<type>pom</type>
<scope>import</scope>
</dependency>
<dependency>
<groupId>com.fasterxml.jackson</groupId>
<artifactId>jackson-bom</artifactId>
<version>2.14.2</version>
<type>pom</type>
<scope>import</scope>
</dependency>
</dependencies>
</dependencyManagement>
<dependencies>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>answerparser</artifactId>
<version>2.12.4</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>bparser</artifactId>
<version>2.12.4</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>ltlparser</artifactId>
<version>2.12.4</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>parserbase</artifactId>
<version>2.12.4</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>prologlib</artifactId>
<version>2.12.4</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>unicode</artifactId>
<version>2.12.4</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>theorymapping</artifactId>
<version>2.12.4</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>value-translator</artifactId>
<version>0.1.2</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>org.codehaus.groovy</groupId>
<artifactId>groovy</artifactId>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>org.codehaus.groovy</groupId>
<artifactId>groovy-jsr223</artifactId>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>org.codehaus.groovy</groupId>
<artifactId>groovy-nio</artifactId>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>org.codehaus.groovy</groupId>
<artifactId>groovy-xml</artifactId>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>org.slf4j</groupId>
<artifactId>slf4j-api</artifactId>
<version>2.0.7</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>com.google.inject</groupId>
<artifactId>guice</artifactId>
<version>5.1.0</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>ltl-dsl</artifactId>
<version>0.2.0</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>rodin-eventb-ast</artifactId>
<version>3.2.0</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>com.fasterxml.jackson.core</groupId>
<artifactId>jackson-databind</artifactId>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>com.fasterxml.jackson.datatype</groupId>
<artifactId>jackson-datatype-jsr310</artifactId>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>com.fatboyindustrial.gson-javatime-serialisers</groupId>
<artifactId>gson-javatime-serialisers</artifactId>
<version>1.1.2</version>
<scope>runtime</scope>
</dependency>
<dependency>
<groupId>com.github.krukow</groupId>
<artifactId>clj-ds</artifactId>
<version>0.0.4</version>
<scope>runtime</scope>
</dependency>
<dependency>
<groupId>com.google.guava</groupId>
<artifactId>guava</artifactId>
<version>31.1-jre</version>
<scope>runtime</scope>
</dependency>
<dependency>
<groupId>com.google.code.gson</groupId>
<artifactId>gson</artifactId>
<version>2.10.1</version>
<scope>runtime</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>alloy2b</artifactId>
<version>1.3</version>
<scope>runtime</scope>
</dependency>
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>tla2bAST</artifactId>
<version>1.1.5</version>
<scope>runtime</scope>
</dependency>
</dependencies>
</project>
Cache, publish, and distribute components with your teams
Share and manage components, binaries, and build artifacts with your own private and public hosted repositories using the world’s #1 repository manager.
Try Nexus Repository Pro Free