-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Publish most recent version to Maven central #46
Comments
Hi, I was also hoping to use this library in Scala 2.13. Any chance it could be published. Thanks for your work. |
Hello, sorry for the delay, I have published the latest commit to Sonatype: https://mvnrepository.com/artifact/com.regblanc/scala-smtlib_2.13/0.2.1-42-gc68dbaa Will that be enough for you? I'm not very active on this project anymore so I did not make a formal version update, but if you want to propose a pull request with a new version I can also publish this. |
This also works : https://jitpack.io/#regb/scala-smtlib |
Thanks! I’m getting back to this project in a bit and I’ll be able to try it out!
From: doofin ***@***.***>
Date: Tuesday, January 11, 2022 at 3:45 PM
To: regb/scala-smtlib ***@***.***>
Cc: LORIS D'ANTONI ***@***.***>, Comment ***@***.***>
Subject: Re: [regb/scala-smtlib] Publish most recent version to Maven central (#46)
This also works : https://jitpack.io/#regb/scala-smtlib
—
Reply to this email directly, view it on GitHub<#46 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/ABZFY45FF7J7D4FIZ767L5LUVSQI7ANCNFSM5E3L55LQ>.
Triage notifications on the go with GitHub Mobile for iOS<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android<https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>.
You are receiving this because you commented.Message ID: ***@***.***>
|
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?
The text was updated successfully, but these errors were encountered: