| Категории |
КатегорииЯзыки программирования KeY Данные Data Formats Formal Verification |
|---|---|
| Группа | Группаcom.github.keyboardDrummer |
| Идентификатор | Идентификаторmodularlanguages_sjs0.6_2.13 |
| Версия | Версия0.1.2 |
| Тип | Типjar |
<!-- https://jarcasting.com/artifacts/com.github.keyboardDrummer/modularlanguages_sjs0.6_2.13/ -->
<dependency>
<groupId>com.github.keyboardDrummer</groupId>
<artifactId>modularlanguages_sjs0.6_2.13</artifactId>
<version>0.1.2</version>
</dependency>
// https://jarcasting.com/artifacts/com.github.keyboardDrummer/modularlanguages_sjs0.6_2.13/
implementation 'com.github.keyboardDrummer:modularlanguages_sjs0.6_2.13:0.1.2'
// https://jarcasting.com/artifacts/com.github.keyboardDrummer/modularlanguages_sjs0.6_2.13/
implementation ("com.github.keyboardDrummer:modularlanguages_sjs0.6_2.13:0.1.2")
'com.github.keyboardDrummer:modularlanguages_sjs0.6_2.13:jar:0.1.2'
<dependency org="com.github.keyboardDrummer" name="modularlanguages_sjs0.6_2.13" rev="0.1.2">
<artifact name="modularlanguages_sjs0.6_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.github.keyboardDrummer', module='modularlanguages_sjs0.6_2.13', version='0.1.2')
)
libraryDependencies += "com.github.keyboardDrummer" % "modularlanguages_sjs0.6_2.13" % "0.1.2"
[com.github.keyboardDrummer/modularlanguages_sjs0.6_2.13 "0.1.2"]