<dependency>
  <groupId>org.dafny</groupId>
  <artifactId>DafnyRuntime</artifactId>
  <version>4.6.0</version>
</dependency>

implementation 'org.dafny:DafnyRuntime:4.6.0'

implementation("org.dafny:DafnyRuntime:4.6.0")

libraryDependencies += "org.dafny" % "DafnyRuntime" % "4.6.0"

@Grapes(
  @Grab(group='org.dafny', module='DafnyRuntime', version='4.6.0')
)

<dependency org="org.dafny" name="DafnyRuntime" rev="4.6.0" />

[org.dafny/DafnyRuntime "4.6.0"]

'org.dafny:DafnyRuntime:jar:4.6.0'