Categories |
CategoriesData KeY Data Formats Formal Verification |
---|---|
GroupId | GroupIdcom.scireum |
ArtifactId | ArtifactIddatadonkey |
Version | Version1.0 |
Type | Typejar |
Filename | Size |
---|---|
datadonkey-1.0.pom | |
datadonkey-1.0.jar | 16 KB |
datadonkey-1.0-zip.zip | 9 MB |
datadonkey-1.0-tests.jar | 1 KB |
datadonkey-1.0-sources.jar | 7 KB |
datadonkey-1.0-javadoc.jar | 54 KB |
Browse |
<!-- https://jarcasting.com/artifacts/com.scireum/datadonkey/ -->
<dependency>
<groupId>com.scireum</groupId>
<artifactId>datadonkey</artifactId>
<version>1.0</version>
</dependency>
// https://jarcasting.com/artifacts/com.scireum/datadonkey/
implementation 'com.scireum:datadonkey:1.0'
// https://jarcasting.com/artifacts/com.scireum/datadonkey/
implementation ("com.scireum:datadonkey:1.0")
'com.scireum:datadonkey:jar:1.0'
<dependency org="com.scireum" name="datadonkey" rev="1.0">
<artifact name="datadonkey" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.scireum', module='datadonkey', version='1.0')
)
libraryDependencies += "com.scireum" % "datadonkey" % "1.0"
[com.scireum/datadonkey "1.0"]