Stream: General

Topic: Isabelle2023 in nixpkgs

view this post on Zulip Jan van Brügge (Dec 13 2023 at 11:30):

After sitting for months, my pull request to update Isabelle to 2023 in nixpkgs finally has been merged and is in the nixos-unstable channel now

Last updated: Jun 12 2026 at 11:44 UTC