map-key Webjar
A WebJar for the map-key project.
More info: http://webjars.org
Upstream: https://github.com/kevva/map-key
License |
License
MIT
|
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdorg.webjars |
ArtifactId | ArtifactIdmap-key |
Last Version | Last Version0.1.4-1 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionmap-key
WebJar for map-key
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
map-key-0.1.4-1.pom | |
map-key-0.1.4-1.jar | 3 KB |
map-key-0.1.4-1-javadoc.jar | 1 KB |
Browse |
<!-- https://jarcasting.com/artifacts/org.webjars/map-key/ -->
<dependency>
<groupId>org.webjars</groupId>
<artifactId>map-key</artifactId>
<version>0.1.4-1</version>
</dependency>
// https://jarcasting.com/artifacts/org.webjars/map-key/
implementation 'org.webjars:map-key:0.1.4-1'
// https://jarcasting.com/artifacts/org.webjars/map-key/
implementation ("org.webjars:map-key:0.1.4-1")
'org.webjars:map-key:jar:0.1.4-1'
<dependency org="org.webjars" name="map-key" rev="0.1.4-1">
<artifact name="map-key" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.webjars', module='map-key', version='0.1.4-1')
)
libraryDependencies += "org.webjars" % "map-key" % "0.1.4-1"
[org.webjars/map-key "0.1.4-1"]
Group / Artifact | Type | Version |
---|---|---|
org.webjars : mout-node-alpeb | jar | 0.9.1 |
A WebJar for the map-key project.
More info: http://webjars.org
Upstream: https://github.com/kevva/map-key