<dependency> <groupId>org.aya-prover</groupId> <artifactId>tools-repl</artifactId> <version>0.30.0</version> </dependency>
implementation 'org.aya-prover:tools-repl:0.30.0'
implementation("org.aya-prover:tools-repl:0.30.0")
libraryDependencies += "org.aya-prover" % "tools-repl" % "0.30.0"
@Grapes( @Grab(group='org.aya-prover', module='tools-repl', version='0.30.0') )
<dependency org="org.aya-prover" name="tools-repl" rev="0.30.0" />
[org.aya-prover/tools-repl "0.30.0"]
'org.aya-prover:tools-repl:jar:0.30.0'
compile
|-- org.aya-prover:tools:0.30.0
|-- org.jline:jline-reader:3.25.0
|-- org.jline:jline-terminal:3.25.0