Yesterday my pull request for Isabelle2022 was finally merged into the nixpkgs master, so in the next few days it should hit unstable :)
Everything is in unstable now :)
Last updated: Oct 08 2025 at 20:22 UTC