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: Apr 26 2025 at 12:36 UTC