<dependency>
<groupId>org.aya-prover.upstream</groupId>
<artifactId>build-util-jflex</artifactId>
<version>0.0.23</version>
</dependency>
@Grapes(
@Grab(group='org.aya-prover.upstream', module='build-util-jflex', version='0.0.23')
)
runtime