Stream: General

Topic: Isabelle2022 in nixpkgs

view this post on Zulip 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 :)

view this post on Zulip Jan van Brügge (Dec 10 2022 at 11:00):

Everything is in unstable now :)

Last updated: Aug 26 2026 at 08:45 UTC