| Лицензия |
Лицензия
Mozilla Public License Version 1.1
|
|---|---|
| Категории |
КатегорииAnt Компиляция и сборка KeY Данные Data Formats Formal Verification |
| Группа | Группаit.uniroma2.art.semanticturkey |
| Идентификатор | Идентификаторst-firefox-ext |
| Последняя версия | Последняя версия0.12 |
| Дата | Дата |
| Тип | Типpom |
| Описание |
ОписаниеSemantic Turkey Firefox Extension
The javascript and XUL resources used to build the true firefox extension bunlded in the Semantic Turkey XPI
|
| Организация-разработчик |
Организация-разработчик |
| Имя Файла | Размер |
|---|---|
| st-firefox-ext-0.12.pom | |
| st-firefox-ext-0.12.xpi | 2 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-firefox-ext/ -->
<dependency>
<groupId>it.uniroma2.art.semanticturkey</groupId>
<artifactId>st-firefox-ext</artifactId>
<version>0.12</version>
<type>pom</type>
</dependency>// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-firefox-ext/
implementation 'it.uniroma2.art.semanticturkey:st-firefox-ext:0.12'// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-firefox-ext/
implementation ("it.uniroma2.art.semanticturkey:st-firefox-ext:0.12")'it.uniroma2.art.semanticturkey:st-firefox-ext:pom:0.12'<dependency org="it.uniroma2.art.semanticturkey" name="st-firefox-ext" rev="0.12">
<artifact name="st-firefox-ext" type="pom" />
</dependency>@Grapes(
@Grab(group='it.uniroma2.art.semanticturkey', module='st-firefox-ext', version='0.12')
)libraryDependencies += "it.uniroma2.art.semanticturkey" % "st-firefox-ext" % "0.12"[it.uniroma2.art.semanticturkey/st-firefox-ext "0.12"]