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: Dec 07 2023 at 08:19 UTC