Stream: General

Topic: Isabelle2022-RC2 for nixos

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 21 2024 at 16:20 UTC