[isabelle-dev] Isabelle component csdp-6.x is 32-Bit [macOS]

[Lawrence Paulson]

I have no idea how components are managed or updated, but I can see that they aren’t stored in the repository. I hope that somebody else (after first perhaps testing that my emailed binary works on their machine) could do this.

Larry

> On 28 Nov 2019, at 15:39, Makarius <makarius at sketis.net> wrote:
> 
> When you update the csdp component, please make sure that all platforms work
> uniformly. We can then use that regularly for isabelle-dev.