haskell-github-trust / smt2-parser Goto Github PK

Hi,

We are planning on using your tool in our system, however, the Hackage version of it unfortunately misses your commit 5abbc3e, i.e. "remove package constraints" This means that we can't add it as a dependency, as then we have issues with dependencies that cannot be met.

Maybe you have forgotten to upload the new version to Hackage? Or is there a reason why the new version is not on Hackage? I'd love to use your tool directly from Hackage. Would it be possible to push the new version, without the package constraints, to Hackage?

Thanks a lot in advance,

Mate