JarCasting
JarCasting JarCasting
Последняя версия

rv-monitor-rt 1.4.0

The runtime library for rv-monitor

Лицензия

Лицензия
Группа

Группа

com.runtimeverification.rvmonitor
Идентификатор

Идентификатор

rv-monitor-rt
Версия

Версия

1.4.0
Тип

Тип

jar
Описание

Описание

rv-monitor-rt
The runtime library for rv-monitor
Ссылка на сайт

Ссылка на сайт

https://github.com/runtimeverification/rv-monitor
Система контроля версий

Система контроля версий

https://github.com/runtimeverification/rv-monitor

Скачать rv-monitor-rt 1.4.0

Имя Файла Размер
rv-monitor-rt-1.4.0.pom
rv-monitor-rt-1.4.0.jar 223 KB
rv-monitor-rt-1.4.0-sources.jar 118 KB
rv-monitor-rt-1.4.0-javadoc.jar 868 KB
Обзор 

<!-- https://jarcasting.com/artifacts/com.runtimeverification.rvmonitor/rv-monitor-rt/ -->
<dependency>
    <groupId>com.runtimeverification.rvmonitor</groupId>
    <artifactId>rv-monitor-rt</artifactId>
    <version>1.4.0</version>
</dependency>
// https://jarcasting.com/artifacts/com.runtimeverification.rvmonitor/rv-monitor-rt/
implementation 'com.runtimeverification.rvmonitor:rv-monitor-rt:1.4.0'
// https://jarcasting.com/artifacts/com.runtimeverification.rvmonitor/rv-monitor-rt/
implementation ("com.runtimeverification.rvmonitor:rv-monitor-rt:1.4.0")
'com.runtimeverification.rvmonitor:rv-monitor-rt:jar:1.4.0'
<dependency org="com.runtimeverification.rvmonitor" name="rv-monitor-rt" rev="1.4.0">
  <artifact name="rv-monitor-rt" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.runtimeverification.rvmonitor', module='rv-monitor-rt', version='1.4.0')
)
libraryDependencies += "com.runtimeverification.rvmonitor" % "rv-monitor-rt" % "1.4.0"
[com.runtimeverification.rvmonitor/rv-monitor-rt "1.4.0"]

Зависимости

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

Модули Проекта

Данный проект не имеет модулей.