It took a bit, but Isabelle 2025 is now in nixos-unstable and will be in the upcoming stable 25.05
nixos-unstable
25.05
Last updated: Aug 23 2025 at 01:39 UTC
Jan van Brügge (May 02 2025 at 15:44): Jan van Brügge (May 02 2025 at 15:44):