Stream: General

Topic: Isabelle2022-RC2 for nixos

view this post on Zulip Jan van Brügge (Sep 19 2022 at 20:46):

In preparation for the release of Isabelle2022, I've created a draft PR for Isabelle2022-RC2 on nixpkgs and verified that it is working as expected: https://github.com/NixOS/nixpkgs/pull/191966
If you want to test yourself, you can import it from there

Last updated: Feb 28 2025 at 08:24 UTC