Saved package config file is outdated

[gilligan]

$ CODEX_DISABLE_WORKSPACE=1 /tmp/codex update
codex: Saved package config file is outdated:
• the Cabal version changed from Cabal-2.4.1.0 to Cabal-2.4.0.1
Re-run the 'configure' command.
codex: *warning* falling back on dependency resolution using hackage

I'm afraid I don't quite understand the issue and re-running configure does not fix this. I also dropped ~/.cabal completely but that doesn't make a difference either. What version change is the message referring to here?

---

• codex built from master
• NixOS
• oldstyle cabal build