<dependency>
  <groupId>com.github.scalaprops</groupId>
  <artifactId>scalaprops_native0.4_2.13</artifactId>
  <version>0.9.1</version>
</dependency>

implementation 'com.github.scalaprops:scalaprops_native0.4_2.13:0.9.1'

implementation("com.github.scalaprops:scalaprops_native0.4_2.13:0.9.1")

libraryDependencies += "com.github.scalaprops" % "scalaprops_native0.4_2.13" % "0.9.1"

@Grapes(
  @Grab(group='com.github.scalaprops', module='scalaprops_native0.4_2.13', version='0.9.1')
)

<dependency org="com.github.scalaprops" name="scalaprops_native0.4_2.13" rev="0.9.1" />

[com.github.scalaprops/scalaprops_native0.4_2.13 "0.9.1"]

'com.github.scalaprops:scalaprops_native0.4_2.13:jar:0.9.1'