Stream: General

Topic: Isabelle2025 in nixpkgs


view this post on Zulip Jan van Brügge (May 02 2025 at 15:44):

It took a bit, but Isabelle 2025 is now in nixos-unstable and will be in the upcoming stable 25.05


Last updated: Jun 30 2025 at 01:55 UTC