search

GaloisInc / what4

Symbolic formula representation and solver interaction library
155 stars 13 forks source link

Please support versions >= 6.0.1 #240

Closed swt2c closed 1 year ago

swt2c commented 1 year ago

Debian is updating to GHC 9.4 and LTS 21.9. This brings in versions == 6.0.1, which isn't compatible with what4. Could you add support for versions >= 6.0.1?

swt2c commented 1 year ago

Thanks for the quick fix!

RyanGlScott commented 1 year ago

No problem. Let me know if you need a Hackage release with these changes. Otherwise, I will wait until the next scheduled what4 release before doing so.

swt2c commented 1 year ago

No problem. Let me know if you need a Hackage release with these changes. Otherwise, I will wait until the next scheduled what4 release before doing so.

If the next scheduled release is a ways off (and it's not too much work on your part to make a release), a Hackage release would be appreciated.

RyanGlScott commented 1 year ago

I think I'll wait just a bit longer before making a new what4 release, since a fix to https://github.com/fosskers/versions/issues/68 is imminent and will require a further update on what4's end.

fosskers commented 1 year ago

versions updated and released as 6.0.2.

RyanGlScott commented 1 year ago

Thanks, @fosskers! I've submitted #242 to use versions >= 6.0.2 in what4 so that we no longer have to define orphan instances.

RyanGlScott commented 1 year ago

I've uploaded what4-1.5.1 to Hackage with these changes.