managed to drop a space in cabal-install version

[geekosaur]

I swear I tested the previous fix before pushing…

cabal-install version 3.17.0.0(commit 37e110e on HEAD, Fri Dec 26 02:50:57 2025 +0000)
compiled using version 3.17.0.0 of the Cabal library 

Space re-added. (Still need to figure out why the Cabal git information is missing.)

---

Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

• Patches conform to the coding conventions.
• Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

[geekosaur]

Next push I'll remove the debugging stuff and put it back in the debugging PR, since I've proved I didn't make things (half-)work with all the hackery in the debug PR's validate.yml.

[geekosaur]

I'll finish debugging on the debug PR. I do note that the last build seems to have suggested that somehow Cabal is being built without -DGIT_REV even though my local builds get it, which may mean I missed something in either Cabal.cabal or cabal.validate.project.

[geekosaur]

Also, that's two network-related failures so far on the latest build. GitHub's evidently having a good day….

[geekosaur]

Got it, testing on test PR, will add that change here and re-label afterward.

That still leaves #11340: if our CI actually is including it, what if anything is being done differently there? /cc: @AndreasPK

[geekosaur]

Someone might want to re-review given the flags fix.

[mergify]

Merge Queue Status

✅ The pull request has been merged at ddf7a65

This pull request spent 10 minutes 48 seconds in the queue, with no time running CI.
The checks were run in-place.

Required conditions to merge

• #approved-reviews-by >= 2 [🛡 GitHub branch protection]
  • managed to drop a space in cabal-install version #11372
• #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • managed to drop a space in cabal-install version #11372
• #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • managed to drop a space in cabal-install version #11372
• any of [🛡 GitHub branch protection]:
  • check-success = Doctest Cabal
  • check-neutral = Doctest Cabal
  • check-skipped = Doctest Cabal
• any of [🛡 GitHub branch protection]:
  • check-success = Meta checks
  • check-neutral = Meta checks
  • check-skipped = Meta checks
• any of [🛡 GitHub branch protection]:
  • check-success = docs/readthedocs.org:cabal
  • check-neutral = docs/readthedocs.org:cabal
  • check-skipped = docs/readthedocs.org:cabal
• any of [🛡 GitHub branch protection]:
  • check-success = Validate post job
  • check-neutral = Validate post job
  • check-skipped = Validate post job
• any of [🛡 GitHub branch protection]:
  • check-success = fourmolu
  • check-neutral = fourmolu
  • check-skipped = fourmolu
• any of [🛡 GitHub branch protection]:
  • check-success = hlint
  • check-neutral = hlint
  • check-skipped = hlint
• any of [🛡 GitHub branch protection]:
  • check-success = Bootstrap post job
  • check-neutral = Bootstrap post job
  • check-skipped = Bootstrap post job
• any of [🛡 GitHub branch protection]:
  • check-success = whitespace
  • check-neutral = whitespace
  • check-skipped = whitespace
• any of [🛡 GitHub branch protection]:
  • check-success = Check sdist post job
  • check-neutral = Check sdist post job
  • check-skipped = Check sdist post job
• any of [🛡 GitHub branch protection]:
  • check-success = Changelogs
  • check-neutral = Changelogs
  • check-skipped = Changelogs