Jan van Brügge (Dec 03 2022 at 18:54): Jan van Brügge (Dec 03 2022 at 18:54):Yesterday my pull request for Isabelle2022 was finally merged into the nixpkgs master, so in the next few days it should hit unstable :)
Jan van Brügge (Dec 10 2022 at 11:00):Everything is in unstable now :)
Last updated: Apr 09 2026 at 09:11 UTC