scala-smtlib

scala-smtlib copied to clipboard

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?

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 GitHubhttps://github.com/regb/scala-smtlib/issues/46#issuecomment-1010387319, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABZFY45FF7J7D4FIZ767L5LUVSQI7ANCNFSM5E3L55LQ. Triage notifications on the go with GitHub Mobile for iOShttps://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Androidhttps://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: @.***>