Yesterday, my PR to update isabelle in nixpkgs was merged, so in the next few days it will appear in nixos-unstable
nixos-unstable
Last updated: Jun 12 2026 at 11:44 UTC
Jan van Brügge (Jan 14 2026 at 16:35): Jan van Brügge (Jan 14 2026 at 16:35):