Ogma's dependency on Copilot

[ivanperez-keera]

Following up on this comment:

#377 (comment)

@juhp I don't know what you mean by regressed.

What happened in this case was an oversight on my part: I forgot to bump this before the release (I remember thinking about it and I honestly thought I already had as part of #357, but obviously I was wrong).

I'll work on the fix to this in the repo asap.

[juhp]

(I editted my comment to clarify: I meant the bounds regression)

Sure it is good to fix in the repo for 1.14, but it would be helpful to do Hackage revisions for the 1.13 releases.

[ivanperez-keera]

@juhp I've pushed that change. I don't want to revise the package on Hackage (for reasons), but you may be able to apply that patch locally on Fedora. Otherwise we can just wait a couple of months to upgrade to the next version, which will be released on May 21st.

[juhp]

Thank you, sure it is fine - I know you have regular releases - I think Stackage can just wait for the May release then.