info.kwarc.sally4:sally4 0.0.8

<!-- https://jarcasting.com/artifacts/info.kwarc.sally4/sally4/ -->
<dependency>
    <groupId>info.kwarc.sally4</groupId>
    <artifactId>sally4</artifactId>
    <version>0.0.8</version>
    <type>pom</type>
</dependency>

// https://jarcasting.com/artifacts/info.kwarc.sally4/sally4/
implementation 'info.kwarc.sally4:sally4:0.0.8'

// https://jarcasting.com/artifacts/info.kwarc.sally4/sally4/
implementation ("info.kwarc.sally4:sally4:0.0.8")

'info.kwarc.sally4:sally4:pom:0.0.8'

<dependency org="info.kwarc.sally4" name="sally4" rev="0.0.8">
  <artifact name="sally4" type="pom" />
</dependency>

@Grapes(
@Grab(group='info.kwarc.sally4', module='sally4', version='0.0.8')
)

libraryDependencies += "info.kwarc.sally4" % "sally4" % "0.0.8"

[info.kwarc.sally4/sally4 "0.0.8"]