b

build-util-jflex

Upstream dependencies with JPMS support
https://www.aya-prover.org
Apache-2.0
Tesla (Yinsen) Zhang Kiva Oyama
Files download
File Operation
build-util-jflex-0.0.23.jar download
build-util-jflex-0.0.23.pom download
build-util-jflex-0.0.23-sources.jar download
Apache Maven
<dependency>
  <groupId>org.aya-prover.upstream</groupId>
  <artifactId>build-util-jflex</artifactId>
  <version>0.0.23</version>
</dependency>
Gradle Groovy
implementation 'org.aya-prover.upstream:build-util-jflex:0.0.23'
Gradle Kotlin
implementation("org.aya-prover.upstream:build-util-jflex:0.0.23")
Scala SBT
libraryDependencies += "org.aya-prover.upstream" % "build-util-jflex" % "0.0.23"
Groovy Grape
@Grapes(
  @Grab(group='org.aya-prover.upstream', module='build-util-jflex', version='0.0.23')
)
Apache Ivy
<dependency org="org.aya-prover.upstream" name="build-util-jflex" rev="0.0.23" />
Leiningen
[org.aya-prover.upstream/build-util-jflex "0.0.23"]
Apache Buildr
'org.aya-prover.upstream:build-util-jflex:jar:0.0.23'
Dependencies