Categories |
CategoriesSBE Data Data Structures KeY Data Formats Formal Verification |
---|---|
GroupId | GroupIdcom.github.keyhan |
ArtifactId | ArtifactIdjbsbe |
Version | Version0.0.2 |
Type | Typejar |
Filename | Size |
---|---|
jbsbe-0.0.2.pom | |
jbsbe-0.0.2.jar | 26 KB |
jbsbe-0.0.2-sources.jar | 11 KB |
jbsbe-0.0.2-javadoc.jar | 106 KB |
Browse |
<!-- https://jarcasting.com/artifacts/com.github.keyhan/jbsbe/ -->
<dependency>
<groupId>com.github.keyhan</groupId>
<artifactId>jbsbe</artifactId>
<version>0.0.2</version>
</dependency>
// https://jarcasting.com/artifacts/com.github.keyhan/jbsbe/
implementation 'com.github.keyhan:jbsbe:0.0.2'
// https://jarcasting.com/artifacts/com.github.keyhan/jbsbe/
implementation ("com.github.keyhan:jbsbe:0.0.2")
'com.github.keyhan:jbsbe:jar:0.0.2'
<dependency org="com.github.keyhan" name="jbsbe" rev="0.0.2">
<artifact name="jbsbe" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.github.keyhan', module='jbsbe', version='0.0.2')
)
libraryDependencies += "com.github.keyhan" % "jbsbe" % "0.0.2"
[com.github.keyhan/jbsbe "0.0.2"]