Jan van Brügge (Dec 13 2023 at 11:30): Jan van Brügge (Dec 13 2023 at 11:30):After sitting for months, my pull request to update Isabelle to 2023 in nixpkgs finally has been merged and is in the nixos-unstable channel now
Last updated: Dec 21 2024 at 12:33 UTC