io.github.mmhelloworld:idris-jvm-assembler 0.0.1.5

<!-- https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-assembler/ -->
<dependency>
    <groupId>io.github.mmhelloworld</groupId>
    <artifactId>idris-jvm-assembler</artifactId>
    <version>0.0.1.5</version>
</dependency>

// https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-assembler/
implementation 'io.github.mmhelloworld:idris-jvm-assembler:0.0.1.5'

// https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-assembler/
implementation ("io.github.mmhelloworld:idris-jvm-assembler:0.0.1.5")

'io.github.mmhelloworld:idris-jvm-assembler:jar:0.0.1.5'

<dependency org="io.github.mmhelloworld" name="idris-jvm-assembler" rev="0.0.1.5">
  <artifact name="idris-jvm-assembler" type="jar" />
</dependency>

@Grapes(
@Grab(group='io.github.mmhelloworld', module='idris-jvm-assembler', version='0.0.1.5')
)

libraryDependencies += "io.github.mmhelloworld" % "idris-jvm-assembler" % "0.0.1.5"

[io.github.mmhelloworld/idris-jvm-assembler "0.0.1.5"]