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 23 2025 at 01:39 UTC