scala-smtlib
scala-smtlib copied to clipboard
Publish most recent version to Maven central
According to mvnrepository, the last published artifact of this library has been 0.2.2-12-g91e7214
.
Most notably, support for Scala 2.13 is not yet published on Maven central, while it is supported by the version hosted in this repository.
Are there any plans to publish the latest version?