org.sireum : library_sjs0.6_2.12

<!-- https://mavenlibs.com/maven/dependency/org.sireum/library_sjs0.6_2.12 --><dependency>
    <groupId>org.sireum</groupId>
    <artifactId>library_sjs0.6_2.12</artifactId>
    <version>3.3.1</version>
</dependency>

// https://mavenlibs.com/maven/dependency/org.sireum/library_sjs0.6_2.12implementation group: 'org.sireum', name: 'library_sjs0.6_2.12', version: '3.3.1'

// https://mavenlibs.com/maven/dependency/org.sireum/library_sjs0.6_2.12implementation 'org.sireum:library_sjs0.6_2.12:3.3.1'

// https://mavenlibs.com/maven/dependency/org.sireum/library_sjs0.6_2.12implementation("org.sireum:library_sjs0.6_2.12:3.3.1")

// https://mavenlibs.com/maven/dependency/org.sireum/library_sjs0.6_2.12libraryDependencies += "org.sireum" % "library_sjs0.6_2.12" % "3.3.1"

<!-- https://mavenlibs.com/maven/dependency/org.sireum/library_sjs0.6_2.12 --><dependency org="org.sireum" name="library_sjs0.6_2.12" rev="3.3.1"/>

// https://mavenlibs.com/maven/dependency/org.sireum/library_sjs0.6_2.12@Grapes(
    @Grab(group='org.sireum', module='library_sjs0.6_2.12', version='3.3.1')
)

;; https://mavenlibs.com/maven/dependency/org.sireum/library_sjs0.6_2.12[org.sireum/library_sjs0.6_2.12 "3.3.1"]

# https://mavenlibs.com/maven/dependency/org.sireum/library_sjs0.6_2.12'org.sireum:library_sjs0.6_2.12:jar:3.3.1'