Stream: General

Topic: Isabelle2024 in nixpkgs

Jan van Brügge (Jul 07 2024 at 13:08):

Again, it took a while, but my PR for Isabelle2024 was just merged and should be in nixos-unstable within the next few days. I had to disable the darwin build as it threw I/O errors on the HOL build and I have no way to debug this. So only x86_64-linux and aarch64-linux for now

Last updated: Dec 21 2024 at 12:33 UTC