<dependency>
  <groupId>org.aya-prover</groupId>
  <artifactId>pretty</artifactId>
  <version>0.30.0</version>
</dependency>

implementation 'org.aya-prover:pretty:0.30.0'

implementation("org.aya-prover:pretty:0.30.0")

libraryDependencies += "org.aya-prover" % "pretty" % "0.30.0"

@Grapes(
  @Grab(group='org.aya-prover', module='pretty', version='0.30.0')
)

<dependency org="org.aya-prover" name="pretty" rev="0.30.0" />

[org.aya-prover/pretty "0.30.0"]

'org.aya-prover:pretty:jar:0.30.0'