Minor updates

[erikd]

Context

Minior updates:

• Update index-states
• Remove allow-newers
• Update Nix

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff
• Changelog fragment added in .changes/

[Copilot]

Pull request overview

Updates project dependency pinning to newer Nix inputs and Cabal index-states, while adjusting build constraints/overrides for current compiler compatibility.

Changes:

• Bumped Nix flake inputs (CHaP and hackage.nix) in flake.lock.
• Updated index-state pins and reduced the allow-newer set for GHC ≥ 9.14 in cabal.project.
• Added a new top-level Cabal constraint (validation < 1.2) in cabal.project.

Reviewed changes

Copilot reviewed 1 out of 2 changed files in this pull request and generated 2 comments.

File	Description
flake.lock	Updates locked revisions/hashes for Nix inputs (CHaP, hackage.nix).
cabal.project	Updates index-states and adjusts constraints/allow-newer overrides for builds.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[carbolymer]

Is this still needed? o-c has revision with this constraint:

• Revision ouroboros-consensus 3.0.1.0 for validation <1.2 cardano-haskell-packages#1378
• https://chap.intersectmbo.org/package/ouroboros-consensus-3.0.1.0/

[erikd]

But this tree is still using ouroboros-consensus-3.0.0.0 so that constraint is needed. Unless you would prefer I do a revision of ouroboros-consensus-3.0.0.0

[carbolymer]

That's strange why. We have only ^>= 3.0 constraint so it should pull 3.0.1 with newer chap I think.

If that is not the case, we can merge your PR as it is.

[erikd]

I made a revision to ouroboros-consensus-3.0.0.0 to force validation < 1.2 and I removed the constraint as well.

[carbolymer]

Removed from queue, could you double check that validation constraint, @erikd ? Otherwise LGTM.