rodin-eventb-ast
Used in
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>rodin-eventb-ast</artifactId>
<version>3.8.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">
<!-- 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>rodin-eventb-ast</artifactId>
<version>3.8.0</version>
<name>Rodin EventB AST</name>
<description>The AST library extracted from the Rodin Platform.</description>
<url>https://github.com/hhu-stups/rodin-ast</url>
<licenses>
<license>
<name>Eclipse Public License, V 1.0</name>
<url>https://www.eclipse.org/legal/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:git://github.com/hhu-stups/rodin-ast.git</connection>
<developerConnection>scm:git:git@github.com:hhu-stups/rodin-ast.git</developerConnection>
<url>https://github.com/hhu-stups/rodin-ast</url>
</scm>
</project>
Sonatype Developer Team makes coding faster and safer, and provides real-time guidance to developers to make your job easier.
Try Developer Team Edition For Free