GaloisInc/what4

Please support versions >= 6.0.1

swt2c opened this issue · 7 comments

swt2c commented

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

Thanks for the quick fix!

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

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.

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

versions updated and released as 6.0.2.

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

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