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: Sep 16 2025 at 12:42 UTC